Dr Richard Booth

2025

• Heyninck, J., Booth, R., Meyer, T. and Spiegel, L. 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 Presented at 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)
• Booth, R. and Varzinczak, I. 2025. On the disjunctive rational closure of a conditional knowledge base. Artificial Intelligence 348, article number: 104418. (10.1016/j.artint.2025.104418)
• 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 Presented at 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 Presented at Kwok, J. ed.Proceedings of the Thirty-Fourth International Joint Conference on Artificial Intelligence. IJCAI pp. 4419-4426., (10.24963/ijcai.2025/492)
• 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 Presented at 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)
• Ariyani, N., Bouraoui, Z., Booth, R. and Schockaert, S. 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.

2024

• Singleton, J. and Booth, R. 2024. Truth-tracking with non-expert information sources. Journal of Artificial Intelligence Research 81, pp. 619-641., article number: 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 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)
• 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 Presented at Calzolari, N. et al. eds.Proceedings of Joint International Conference on Computational Linguistics, Language Resources and Evaluation. European Language Resources Association pp. 2766-2776.

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, Montreal, Canada, 5-9 June 2023The 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, 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

• Booth, R. and Varzinczak, I. 2021. Conditional Inference under disjunctive rationality. Presented at: 35th AAAI Conference on Artificial Intelligence, Virtual, 2-9 February, 2021Proceedings 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 2021Proceedings 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, article number: 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 Presented at 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.
• 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., 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 Presented at Blackburn, P., Lorini, E. and Guo, M. eds.Logic, Rationality, and Interaction. Lecture Notes in Computer Science Berlin: Springer pp. 15–28., (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., 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. 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.
• 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.