Dr Richard Booth
Senior Lecturer
School of Computer Science and Informatics
- Available for postgraduate supervision
Overview
I am Senior Lecturer in the Cardiff School of Computer Science and Informatics Before that I was lecturer at Mahasarakham University, Thailand. I have previously been a post-doc in Germany, Australia and, most recently, Luxembourg.
Publication
2024
- Fowler, A. and Booth, R. 2024. The score reveal problem: How do we maximise entertainment?. Presented at: 25th International Conference on Principles and Practice of Multi-Agent Systems (PRIMA 2024), Kyoto, Japan, 18-24 November 2024 Presented at Arisaka, R. et al. eds.Principles and Practice of Multi-Agent Systems, Vol. 15395. Springer, (10.1007/978-3-031-77367-9_33)
- Potyka, N. and Booth, R. 2024. Balancing open-mindedness and conservativeness in quantitative bipolar argumentation (and how to prove semantical from functional properties). Presented at: 21st International Conference on Principles of Knowledge Representation and Reasoning (KR 2024), Hanoi, Vietnam, 2-8 November 2024 Presented at Marquis, P., Ortiz, M. and Pagnucco, M. eds.Proceedings of the 21st International Conference on Principles of Knowledge Representation and Reasoning — Main Track. International Joint Conferences on Artificial Intelligence Organization pp. 597-607., (10.24963/kr.2024/56)
- Singleton, J. and Booth, R. 2024. Truth-tracking with non-expert information sources. Journal of Artificial Intelligence Research
- Potyka, N. and Booth, R. 2024. An empirical study of quantitative bipolar argumentation frameworks for truth discovery. Presented at: 10th International Conference on Computational Models of Argument (COMMA 2024), Hagen, Germany, 18-20 September 2024.
- Ariyani, N., Bouraoui, Z., Booth, R. and Schockaert, S. 2024. Can language models learn embeddings of propositional logic assertions?. Presented at: The 2024 Joint International Conference on Computational Linguistics, Language Resources and Evaluation (LREC-COLING), Turin, Italy, 20-25 May 2024.
2023
- Butterworth, G. and Booth, R. 2023. A contribution to the defense of liquid democracy. Presented at: 24th Annual International Conference on Digital Government Research (dg.o 2023), Gdansk, Poland, 11-14 July 2023Proceedings of 24th Annual International Conference on Digital Government Research. New York, NY, USA: ACM pp. 244-250., (10.1145/3598469.3598496)
- Hunter, A. and Booth, R. 2023. Joint trust for belief revision. Presented at: 36th Canadian Conference on Artificial Intelligence, 5-9 June 2023The 36th Canadian Conference on Artificial Intelligence Proceedings. , (10.21428/594757db.dfdfc644)
- Singleton, J. and Booth, R. 2023. Expertise and information: an epistemic logic perspective. Synthese 201, article number: 64. (10.1007/s11229-023-04064-y)
2022
- Chandler, J. and Booth, R. 2022. Elementary belief revision operators. Journal of Philosophical Logic (10.1007/s10992-022-09672-6)
- Baroni, P., Cerutti, F. and Giacomin, M. 2022. A generalized notion of consistency with applications to formal argumentation. In: Toni, . et al. eds. Computational Models of Argument., Vol. 353. Frontiers in Artificial Intelligence and Applications IOS Press, pp. 56-67., (10.3233/FAIA220141)
- Singleton, J. and Booth, R. 2022. Towards an axiomatic approach to truth discovery. Autonomous Agents and Multi-Agent Systems 36, article number: 42. (10.1007/s10458-022-09569-3)
- Singleton, J. and Booth, R. 2022. Who’s the expert? On multi-source belief change. Presented at: 19th International Conference on Principles of Knowledge Representation and Reasoning (KR 2022), Haifa, Israel, 31 July - 05 August 2022.
2021
- Singleton, J. and Booth, R. 2021. Rankings for bipartite tournaments via chain editing. Presented at: 20th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2021), Virtual, 3-7 May 2021AAMAS '21: Proceedings of the 20th International Conference on Autonomous Agents and MultiAgent Systems. IFAAMAS pp. 1236-1244.
- Booth, R. and Varzinczak, I. 2021. Conditional Inference under disjunctive rationality. Presented at: 35th AAAI Conference on Artificial Intelligence, Virtual, 2-9 February, 2021.
2020
- Booth, R. and Chandler, J. 2020. On strengthening the logic of iterated belief revision: proper ordinal interval operators. Artificial Intelligence 285, article number: 103289. (10.1016/j.artint.2020.103289)
- Singleton, J. and Booth, R. 2020. An axiomatic approach to truth discovery. Presented at: Nineteenth International Conference on Autonomous Agents and Multi-Agent Systems, Auckland, New Zealand, 9-13 Mar 2020. pp. -., (10.5555/3398761.3399058)
- Chandler, J. and Booth, R. 2020. Revision by conditionals: from hook to arrow. Presented at: 17th International Conference on Principles of Knowledge Representation and Reasoning (KR 2020), Rhodes, Greece, 12-18 September 2020.
2019
- Booth, R., Casini, G., Meyer, T. and Varzinczak, I. 2019. On rational entailment for Propositional Typicality Logic. Artificial Intelligence 277, article number: 103178. (10.1016/j.artint.2019.103178)
- Booth, R. and Chandler, J. 2019. From iterated revision to iterated contraction: extending the Harper Identity. Artificial Intelligence 277, article number: 103171. (10.1016/j.artint.2019.103171)
- Chandler, J. and Booth, R. 2019. Elementary iterated revision and the Levi Identity. Presented at: International Conference on Logic, Rationality and Interaction (LORI), Chongqing, China, October 18-21, 2019. pp. -.
2018
- Booth, R. and Cerutti, F. 2018. Preface. Argument and Computation 10(1), pp. 1-3. (10.3233/aac-181001)
- Booth, R. and Chandler, J. 2018. On strengthening the logic of iterated belief revision: Proper ordinal interval operators. Presented at: 16th International Conference on Principles of Knowledge Representation and Reasoning, Tempe, AZ, USA, 27 October - 2 November 2018.
- Booth, R. and Hunter, A. 2018. Trust as a precursor to belief revision. Journal of Artificial Intelligence Research 61, pp. 699-722. (10.1613/jair.5521)
2017
- Booth, R. and Jake, C. 2017. The irreducibility of iterated to single revision. Journal of Philosophical Logic 46, pp. 405-418. (10.1007/s10992-016-9404-z)
- Awad, E., Booth, R., Tohmé, F. and Rahwan, I. 2017. Judgement aggregation in multi-agent argumentation. Journal of Logic and Computation 27(1), pp. 227-259. (10.1093/logcom/exv055)
2016
- Booth, R. and Chandler, J. 2016. Extending the Harper identity to iterated belief change. Presented at: 25th International Joint Conference on Artificial Intelligence, New York, USA, 9-15 July 2016 Presented at Brewka, G. ed.IJCAI'16: Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence. Association for Computing Machinery pp. 987-993.
- Caminada, M. and Booth, R. 2016. A dialectical approach for argument-based judgment aggregation. Presented at: 6th International Conference on Computational Models of Argument (COMMA 2016), Potsdam, Germany, 13-16 September 2016 Presented at Baroni, P. et al. eds.Computational Models of Argument, Vol. 287. Frontiers in Artificial Intelligence and Applications IOS Press pp. 179-190., (10.3233/978-1-61499-686-6-179)
2015
- Hunter, A. and Booth, R. 2015. Trust-sensitive belief revision. Presented at: 24th International Joint Conference on Artificial Intelligence, Buenos Aires, Argentina, 25-31 July 2015 Presented at Yang, Q. and Wooldridge, M. eds.IJCAI'15: Proceedings of the 24th International Conference on Artificial Intelligence. ACM pp. 3062-3068.
- Booth, R. 2015. Judgment aggregation in abstract dialectical frameworks. In: Thomas, E. et al. eds. Advance in Knowledge Representation, Logic Programming and Abstract Argumentation. Lecture Notes in Artificial Intelligence Springer, pp. 296-308., (10.1007/978-3-319-14726-0)
- Booth, R., Casini, G., Meyer, T. and Varzinczak, I. 2015. On the entailment problem for a logic of typicality. Presented at: 24th International Joint Conference on Artificial Intelligence, Buenos Aires, Argentina, 25-31 July 2015.
2014
- Booth, R., Caminada, M., Paul, D., Mikolaj, P. and Iyad, R. 2014. Complexity properties of critical sets of arguments. Presented at: 6th International Conference on Computational Models of Argument, Pitlochry, UK, 9-12 September 2014.
- Booth, R., Awad, E. and Rahwan, I. 2014. Interval methods for judgment aggregation in argumentation. Presented at: 14th International Conference on Principles of Knowledge Representation and Reasoning, Vienna, Austria, 20-24 July 2014.
- Booth, R., Ferme, E., Konieczny, S. and Pino Perez, R. 2014. Credibility-limited improvement operators. Presented at: 21st European Conference on Artificial Intelligence, Prague, Czech Republic, 18-22 August 2014Frontiers in Artificial Intelligence and Applications: Volume 263: ECAI 2014. IOS Press pp. 123-128., (10.3233/978-1-61499-419-0-123)
- Booth, R., Gabbay, D., Kaci, S., Rienstra, T. and Van der Torre, L. 2014. Abduction and dialogical proof in argumentation and logic programming. Presented at: 21st European Conference on Artificial Intelligence, Prague, Czech Republic, 18-22 August 2014Proceedings of the 15th International Workshop on Non-Monotonic Reasoning (NMR 2014). pp. 117-122.
- Booth, R. and Mikolaj, P. 2014. Using distances for aggregation in abstract argumentation. Presented at: 26th Benelux Conference on Artificial Intelligence, Nijmegen, Netherlands, 6-7 November 2014.
Adrannau llyfrau
- Baroni, P., Cerutti, F. and Giacomin, M. 2022. A generalized notion of consistency with applications to formal argumentation. In: Toni, . et al. eds. Computational Models of Argument., Vol. 353. Frontiers in Artificial Intelligence and Applications IOS Press, pp. 56-67., (10.3233/FAIA220141)
- Booth, R. 2015. Judgment aggregation in abstract dialectical frameworks. In: Thomas, E. et al. eds. Advance in Knowledge Representation, Logic Programming and Abstract Argumentation. Lecture Notes in Artificial Intelligence Springer, pp. 296-308., (10.1007/978-3-319-14726-0)
Cynadleddau
- Fowler, A. and Booth, R. 2024. The score reveal problem: How do we maximise entertainment?. Presented at: 25th International Conference on Principles and Practice of Multi-Agent Systems (PRIMA 2024), Kyoto, Japan, 18-24 November 2024 Presented at Arisaka, R. et al. eds.Principles and Practice of Multi-Agent Systems, Vol. 15395. Springer, (10.1007/978-3-031-77367-9_33)
- Potyka, N. and Booth, R. 2024. Balancing open-mindedness and conservativeness in quantitative bipolar argumentation (and how to prove semantical from functional properties). Presented at: 21st International Conference on Principles of Knowledge Representation and Reasoning (KR 2024), Hanoi, Vietnam, 2-8 November 2024 Presented at Marquis, P., Ortiz, M. and Pagnucco, M. eds.Proceedings of the 21st International Conference on Principles of Knowledge Representation and Reasoning — Main Track. International Joint Conferences on Artificial Intelligence Organization pp. 597-607., (10.24963/kr.2024/56)
- Potyka, N. and Booth, R. 2024. An empirical study of quantitative bipolar argumentation frameworks for truth discovery. Presented at: 10th International Conference on Computational Models of Argument (COMMA 2024), Hagen, Germany, 18-20 September 2024.
- Ariyani, N., Bouraoui, Z., Booth, R. and Schockaert, S. 2024. Can language models learn embeddings of propositional logic assertions?. Presented at: The 2024 Joint International Conference on Computational Linguistics, Language Resources and Evaluation (LREC-COLING), Turin, Italy, 20-25 May 2024.
- Butterworth, G. and Booth, R. 2023. A contribution to the defense of liquid democracy. Presented at: 24th Annual International Conference on Digital Government Research (dg.o 2023), Gdansk, Poland, 11-14 July 2023Proceedings of 24th Annual International Conference on Digital Government Research. New York, NY, USA: ACM pp. 244-250., (10.1145/3598469.3598496)
- Hunter, A. and Booth, R. 2023. Joint trust for belief revision. Presented at: 36th Canadian Conference on Artificial Intelligence, 5-9 June 2023The 36th Canadian Conference on Artificial Intelligence Proceedings. , (10.21428/594757db.dfdfc644)
- Singleton, J. and Booth, R. 2022. Who’s the expert? On multi-source belief change. Presented at: 19th International Conference on Principles of Knowledge Representation and Reasoning (KR 2022), Haifa, Israel, 31 July - 05 August 2022.
- Singleton, J. and Booth, R. 2021. Rankings for bipartite tournaments via chain editing. Presented at: 20th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2021), Virtual, 3-7 May 2021AAMAS '21: Proceedings of the 20th International Conference on Autonomous Agents and MultiAgent Systems. IFAAMAS pp. 1236-1244.
- Booth, R. and Varzinczak, I. 2021. Conditional Inference under disjunctive rationality. Presented at: 35th AAAI Conference on Artificial Intelligence, Virtual, 2-9 February, 2021.
- Singleton, J. and Booth, R. 2020. An axiomatic approach to truth discovery. Presented at: Nineteenth International Conference on Autonomous Agents and Multi-Agent Systems, Auckland, New Zealand, 9-13 Mar 2020. pp. -., (10.5555/3398761.3399058)
- Chandler, J. and Booth, R. 2020. Revision by conditionals: from hook to arrow. Presented at: 17th International Conference on Principles of Knowledge Representation and Reasoning (KR 2020), Rhodes, Greece, 12-18 September 2020.
- Chandler, J. and Booth, R. 2019. Elementary iterated revision and the Levi Identity. Presented at: International Conference on Logic, Rationality and Interaction (LORI), Chongqing, China, October 18-21, 2019. pp. -.
- Booth, R. and Chandler, J. 2018. On strengthening the logic of iterated belief revision: Proper ordinal interval operators. Presented at: 16th International Conference on Principles of Knowledge Representation and Reasoning, Tempe, AZ, USA, 27 October - 2 November 2018.
- Booth, R. and Chandler, J. 2016. Extending the Harper identity to iterated belief change. Presented at: 25th International Joint Conference on Artificial Intelligence, New York, USA, 9-15 July 2016 Presented at Brewka, G. ed.IJCAI'16: Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence. Association for Computing Machinery pp. 987-993.
- Caminada, M. and Booth, R. 2016. A dialectical approach for argument-based judgment aggregation. Presented at: 6th International Conference on Computational Models of Argument (COMMA 2016), Potsdam, Germany, 13-16 September 2016 Presented at Baroni, P. et al. eds.Computational Models of Argument, Vol. 287. Frontiers in Artificial Intelligence and Applications IOS Press pp. 179-190., (10.3233/978-1-61499-686-6-179)
- Hunter, A. and Booth, R. 2015. Trust-sensitive belief revision. Presented at: 24th International Joint Conference on Artificial Intelligence, Buenos Aires, Argentina, 25-31 July 2015 Presented at Yang, Q. and Wooldridge, M. eds.IJCAI'15: Proceedings of the 24th International Conference on Artificial Intelligence. ACM pp. 3062-3068.
- Booth, R., Casini, G., Meyer, T. and Varzinczak, I. 2015. On the entailment problem for a logic of typicality. Presented at: 24th International Joint Conference on Artificial Intelligence, Buenos Aires, Argentina, 25-31 July 2015.
- Booth, R., Caminada, M., Paul, D., Mikolaj, P. and Iyad, R. 2014. Complexity properties of critical sets of arguments. Presented at: 6th International Conference on Computational Models of Argument, Pitlochry, UK, 9-12 September 2014.
- Booth, R., Awad, E. and Rahwan, I. 2014. Interval methods for judgment aggregation in argumentation. Presented at: 14th International Conference on Principles of Knowledge Representation and Reasoning, Vienna, Austria, 20-24 July 2014.
- Booth, R., Ferme, E., Konieczny, S. and Pino Perez, R. 2014. Credibility-limited improvement operators. Presented at: 21st European Conference on Artificial Intelligence, Prague, Czech Republic, 18-22 August 2014Frontiers in Artificial Intelligence and Applications: Volume 263: ECAI 2014. IOS Press pp. 123-128., (10.3233/978-1-61499-419-0-123)
- Booth, R., Gabbay, D., Kaci, S., Rienstra, T. and Van der Torre, L. 2014. Abduction and dialogical proof in argumentation and logic programming. Presented at: 21st European Conference on Artificial Intelligence, Prague, Czech Republic, 18-22 August 2014Proceedings of the 15th International Workshop on Non-Monotonic Reasoning (NMR 2014). pp. 117-122.
- Booth, R. and Mikolaj, P. 2014. Using distances for aggregation in abstract argumentation. Presented at: 26th Benelux Conference on Artificial Intelligence, Nijmegen, Netherlands, 6-7 November 2014.
Erthyglau
- Singleton, J. and Booth, R. 2024. Truth-tracking with non-expert information sources. Journal of Artificial Intelligence Research
- Singleton, J. and Booth, R. 2023. Expertise and information: an epistemic logic perspective. Synthese 201, article number: 64. (10.1007/s11229-023-04064-y)
- Chandler, J. and Booth, R. 2022. Elementary belief revision operators. Journal of Philosophical Logic (10.1007/s10992-022-09672-6)
- Singleton, J. and Booth, R. 2022. Towards an axiomatic approach to truth discovery. Autonomous Agents and Multi-Agent Systems 36, article number: 42. (10.1007/s10458-022-09569-3)
- Booth, R. and Chandler, J. 2020. On strengthening the logic of iterated belief revision: proper ordinal interval operators. Artificial Intelligence 285, article number: 103289. (10.1016/j.artint.2020.103289)
- Booth, R., Casini, G., Meyer, T. and Varzinczak, I. 2019. On rational entailment for Propositional Typicality Logic. Artificial Intelligence 277, article number: 103178. (10.1016/j.artint.2019.103178)
- Booth, R. and Chandler, J. 2019. From iterated revision to iterated contraction: extending the Harper Identity. Artificial Intelligence 277, article number: 103171. (10.1016/j.artint.2019.103171)
- Booth, R. and Cerutti, F. 2018. Preface. Argument and Computation 10(1), pp. 1-3. (10.3233/aac-181001)
- Booth, R. and Hunter, A. 2018. Trust as a precursor to belief revision. Journal of Artificial Intelligence Research 61, pp. 699-722. (10.1613/jair.5521)
- Booth, R. and Jake, C. 2017. The irreducibility of iterated to single revision. Journal of Philosophical Logic 46, pp. 405-418. (10.1007/s10992-016-9404-z)
- Awad, E., Booth, R., Tohmé, F. and Rahwan, I. 2017. Judgement aggregation in multi-agent argumentation. Journal of Logic and Computation 27(1), pp. 227-259. (10.1093/logcom/exv055)
Research
Research interests: logical approaches to artificial intelligence and knowledge representation, specifically belief revision/merging, argumentation theory and computational social choice.
Teaching
- Introduction to the Theory of Computation (2nd year undergrad)
- Combinatorial Optimisation (3rd year undergrad)
- Knowledge Representation (Masters)
Biography
- October 2015 - present: (Senior) Lecturer at Cardiff University
- July-Sept. 2015: Lecturer at Mahasarakham University, Thailand
- 2009-2014: Postdoc at University of Luxembourg
- 2006-2009: Lecturer at Mahasarakham University, Thailand
- 2005: Postdoc at Macquarie University, Sydney, Australia
- 2004-2005: Postdoc at University of Wollongong, Australia
- 2000-2004: Postdoc at University of Leipzig, Germany
- 1999: Postdoc at Max Planck Institute for Computer Science, Saarbrücken, Germany
- 1995-1998: PhD student, Dept. of Mathematics (supervisor: Jeff Paris), University of Manchester, UK
Supervisions
I am interested in supervising PhD students in the areas of:
- Artificial intelligence
- Knowledge representation
- Computational social choice theory
- Reasoning about preferences
See here for a couple of more specific ideas for PhD topics.
Current supervision
Aric Fowler
Teaching Associate and PhD student
Past projects
- Joseph Singleton (2019-2022), Trustworthiness and Expertise: Social Choice and Logic-based Perspectives
Contact Details
BoothR2@cardiff.ac.uk
+44 29208 74749
Abacws, Room Abacws/5.58, Senghennydd Road, Cathays, Cardiff, CF24 4AG
+44 29208 74749
Abacws, Room Abacws/5.58, Senghennydd Road, Cathays, Cardiff, CF24 4AG
Research themes
Specialisms
- Artificial intelligence
- Knowledge representation and reasoning