Dr Richard Booth

2026

• Fowler, A. and Booth, R. 2026. Maximising entertainment in the score reveal problem. Annals of Operations Research 363 , pp.1919-1957. (10.1007/s10479-026-07329-0)
• Booth, R. and Varzinczak, I. 2026. Interval orders, biorders and credibility-limited belief revision. Presented at: International Conference on Principles of Knowledge Representation and Reasoning Lisbon, Portugal 20-23 July 2026. Published in: Wassermann, R. , Mugnier, M. and Baader, F. eds. Proceedings of the 23rd International Conference on Principles of Knowledge Representation and Reasoning. International Joint Conferences on Artificial Intelligence Organization. , pp.211-221. (10.24963/kr.2026/20)

2025

• Booth, R. and Varzinczak, I. 2025. On the disjunctive rational closure of a conditional knowledge base. Artificial Intelligence 348 104418. (10.1016/j.artint.2025.104418)
• Heyninck, J. et al., 2025. An analysis of the role of syntax in inductive inference. Presented at: 22nd International Conference on Principles of Knowledge Representation and Reasoning Melbourne, Australia 11-17 November 2025. Published in: Ortiz, M. , Wassermann, R. and Schaub, T. eds. Proceedings of the 22nd International Conference on Principles of Knowledge Representation and Reasoning. International Joint Conferences on Artificial Intelligence Organization. , pp.396-406. (10.24963/kr.2025/39)
• Chandler, J. and Booth, R. 2025. Parallel belief contraction via order aggregation. Presented at: 34th International Joint Conference on Artificial Intelligence (IJCAI 2025) Montreal, Canada 16-22 August 2025. Published in: Kwok, J. ed. Proceedings of the Thirty-Fourth International Joint Conference on Artificial Intelligence. IJCAI. , pp.4427-4435. (10.24963/ijcai.2025/493)
• Chandler, J. and Booth, R. 2025. Parallel belief revision via order aggregation. Presented at: 34th International Joint Conference on Artificial Intelligence (IJCAI 2025) Montreal, Canada 16 - 22 August 2025. Published in: Kwok, J. ed. Proceedings of the Thirty-Fourth International Joint Conference on Artificial Intelligence. IJCAI. , pp.4419-4426. (10.24963/ijcai.2025/492)
• Ariyani, N. et al. 2025. There’s no such thing as simple reasoning for LLMs. Presented at: The 63rd Annual Meeting of the Association for Computational Linguistics Vienna, Austria 27 July - 1 August 2025. Published in: Waxiang, C. et al., Findings of the Association for Computational Linguistics: ACL 2025. Association for Computational Linguistics. , pp.4503-4514. (10.18653/v1/2025.findings-acl.232)
• Potyka, N. and Booth, R. 2025. 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. Published in: Reed, C. , Thimm, M. and Rienstra, T. eds. Proceedings of COMMA 2024. Volume 388: Computational Models of Argument. Frontiers in Artificial Intelligence and Applications IOS Press. , pp.205-216. (10.3233/FAIA240322)

2024

• Singleton, J. and Booth, R. 2024. Truth-tracking with non-expert information sources. Journal of Artificial Intelligence Research 81 , pp.619-641. 10.1613/jair.1.15273. (10.1613/jair.1.15273)
• 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. Published in: Arisaka, R. et al., Principles and Practice of Multi-Agent Systems. Vol. 15395.Springer(10.1007/978-3-031-77367-9_33)
• Ariyani, N. et al. 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. Published in: Calzolari, N. et al., Proceedings of Joint International Conference on Computational Linguistics, Language Resources and Evaluation. European Language Resources Association. , pp.2766-2776.
• 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. Published in: 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)

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 2023. Proceedings 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 Montreal, Canada 5-9 June 2023. The 36th Canadian Conference on Artificial Intelligence Proceedings. Canadian Artificial Intelligence Association. , pp.2023S1-2023S1. (10.21428/594757db.dfdfc644)
• Singleton, J. and Booth, R. 2023. Expertise and information: an epistemic logic perspective. Synthese 201 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., 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 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. Published in: Kern-Isberner, G. , Lakemeyer, G. and Meyer, T. eds. Proceedings of the 19th International Conference on Principles of Knowledge Representation and Reasoning. International Joint Conference on Artificial Intelligence (IJCAI). , pp.331-340.

2021

• Booth, R. and Varzinczak, I. 2021. Conditional Inference under disjunctive rationality. Presented at: 35th AAAI Conference on Artificial Intelligence Virtual 2-9 February 2021. Proceedings of the AAAI Conference on Artificial Intelligence. Vol. 35 (7).California, USA: AAAI Press. , pp.6227-6234. (10.1609/aaai.v35i7.16774)
• 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 2021. Proceedings of the 20th International Conference on Autonomous Agents and MultiAgent Systems. International Foundation for Autonomous Agents and Multiagent Systems. , pp.1236-1244. (10.5555/3463952.3464095)

2020

• Booth, R. and Chandler, J. 2020. On strengthening the logic of iterated belief revision: proper ordinal interval operators. Artificial Intelligence 285 103289. (10.1016/j.artint.2020.103289)
• 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. Published in: Calvanese, D. , Erdem, E. and Theilscher, M. eds. Proceedings of the 17th International Conference on Principles of Knowledge Representation and Reasoning. IJCAI. , pp.232-241. (10.24963/kr.2020/24)
• 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)

2019

• Booth, R. et al. 2019. On rational entailment for Propositional Typicality Logic. Artificial Intelligence 277 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 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. Published in: Blackburn, P. , Lorini, E. and Guo, M. eds. Logic, Rationality, and Interaction. Lecture Notes in Computer Science Vol. 11813. Berlin: Springer. (10.1007/978-3-662-60292-8_2)

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. et al., 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. Published in: 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. Published in: Baroni, P. et al., 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. Published in: 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., 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. et al. 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. et al. 2014. Credibility-limited improvement operators. Presented at: 21st European Conference on Artificial Intelligence Prague, Czech Republic 18-22 August 2014. Published in: Schaub, T. , Friedrich, G. and O'Sullivan, B. eds. Frontiers in Artificial Intelligence and Applications: Volume 263: ECAI 2014. IOS Press. , pp.123-128. (10.3233/978-1-61499-419-0-123)
• 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. KR'14: Proceedings of the Fourteenth International Conference on Principles of Knowledge Representation and Reasoning. Association for the Advancement of Artificial Intelligence. , pp.594-597.
• Booth, R. et al. 2014. Abduction in argumentation: dialogical proof procedures and instantiation. Presented at: 21st European Conference on Artificial Intelligence Prague, Czech Republic 18-22 August 2014. Published in: Konieczny, S. and Tompits, H. eds. Proceedings of the 15th International Workshop on Non-Monotonic Reasoning (NMR 2014). , pp.156-164.
• 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.