Booth, Richard ORCID: https://orcid.org/0000-0002-6647-6381 and Varzinczak, Ivan
2025.
On the disjunctive rational closure of a conditional knowledge base.
Artificial Intelligence
348
, 104418.
10.1016/j.artint.2025.104418
|
|
|
Chandler, Jake and Booth, Richard ORCID: https://orcid.org/0000-0002-6647-6381
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, James ed.
Proceedings of the Thirty-Fourth International Joint Conference on Artificial Intelligence.
IJCAI,
pp. 4419-4426.
10.24963/ijcai.2025/492
|
|
|
Chandler, Jake and Booth, Richard ORCID: https://orcid.org/0000-0002-6647-6381
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, James ed.
Proceedings of the Thirty-Fourth International Joint Conference on Artificial Intelligence.
IJCAI,
pp. 4427-4435.
10.24963/ijcai.2025/493
|
|
|
Ariyani, Nurul, Bouraoui, Zied, Booth, Richard ORCID: https://orcid.org/0000-0002-6647-6381 and Schockaert, Steven ORCID: https://orcid.org/0000-0002-9256-2881
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.
|
|
|
Potyka, Nico and Booth, Richard ORCID: https://orcid.org/0000-0002-6647-6381
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, Chris, Thimm, Matthias and Rienstra, Tjitze 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
|
|
|
Singleton, Joseph and Booth, Richard ORCID: https://orcid.org/0000-0002-6647-6381
2024.
Truth-tracking with non-expert information sources.
Journal of Artificial Intelligence Research
81
, pp. 619-641.
10.1613/jair.1.15273
|
|
|
Fowler, Aric and Booth, Richard ORCID: https://orcid.org/0000-0002-6647-6381
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., Sanchez-Anguix, V., Aydogan, R. and van der Torre, L. eds.
Principles and Practice of Multi-Agent Systems.
, vol.15395
Springer,
10.1007/978-3-031-77367-9_33
|
|
|
Potyka, Nico and Booth, Richard ORCID: https://orcid.org/0000-0002-6647-6381
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, Pierre, Ortiz, Magdalena and Pagnucco, Maurice 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, Nurul, Bouraoui, Zied, Booth, Richard ORCID: https://orcid.org/0000-0002-6647-6381 and Schockaert, Steven ORCID: https://orcid.org/0000-0002-9256-2881
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, Nicoletta, Kan, Min-Yen, Hoste, Veronique, Lenci, Alessandro, Sakti, Sakriani and Xue, Nianwen eds.
Proceedings of Joint International Conference on Computational Linguistics, Language Resources and Evaluation.
European Language Resources Association,
pp. 2766-2776.
|
|
|
Butterworth, Gregory and Booth, Richard ORCID: https://orcid.org/0000-0002-6647-6381
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, Aaron and Booth, Richard ORCID: https://orcid.org/0000-0002-6647-6381
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,
2023S1-2023S1.
10.21428/594757db.dfdfc644
|
|
|
Singleton, Joseph and Booth, Richard ORCID: https://orcid.org/0000-0002-6647-6381
2023.
Expertise and information: an epistemic logic perspective.
Synthese
201
, 64.
10.1007/s11229-023-04064-y
|
|
|
Chandler, Jake and Booth, Richard ORCID: https://orcid.org/0000-0002-6647-6381
2022.
Elementary belief revision operators.
Journal of Philosophical Logic
10.1007/s10992-022-09672-6
|
|
|
Baroni, Pietro, Cerutti, Federico ORCID: https://orcid.org/0000-0003-0755-0358 and Giacomin, Massimiliano
2022.
A generalized notion of consistency with applications to formal argumentation.
Toni, Polberg, Sylwia ORCID: https://orcid.org/0000-0002-0811-0226, Booth, Richard ORCID: https://orcid.org/0000-0002-6647-6381, Caminada, Martin ORCID: https://orcid.org/0000-0002-7498-0238 and Kido, Hiroyuki ORCID: https://orcid.org/0000-0002-7622-4428, eds.
Computational Models of Argument,
Vol. 353.
Frontiers in Artificial Intelligence and Applications,
IOS Press,
pp. 56-67.
(10.3233/FAIA220141)
|
|
|
Singleton, Joseph and Booth, Richard ORCID: https://orcid.org/0000-0002-6647-6381
2022.
Towards an axiomatic approach to truth discovery.
Autonomous Agents and Multi-Agent Systems
36
, 42.
10.1007/s10458-022-09569-3
|
|
|
Singleton, Joseph and Booth, Richard ORCID: https://orcid.org/0000-0002-6647-6381
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.
|
|
|
Booth, Richard ORCID: https://orcid.org/0000-0002-6647-6381 and Varzinczak, Ivan
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, Joseph and Booth, Richard ORCID: https://orcid.org/0000-0002-6647-6381
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
|
|
|
Booth, Richard ORCID: https://orcid.org/0000-0002-6647-6381 and Chandler, Jake
2020.
On strengthening the logic of iterated belief revision: proper ordinal interval operators.
Artificial Intelligence
285
, 103289.
10.1016/j.artint.2020.103289
|
|
|
Chandler, Jake and Booth, Richard ORCID: https://orcid.org/0000-0002-6647-6381
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.
|
|
|
Singleton, Joseph and Booth, Richard ORCID: https://orcid.org/0000-0002-6647-6381
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.
-.
10.5555/3398761.3399058
|
|
|
Booth, Richard ORCID: https://orcid.org/0000-0002-6647-6381, Casini, Giovanni, Meyer, Thomas and Varzinczak, Ivan
2019.
On rational entailment for Propositional Typicality Logic.
Artificial Intelligence
277
, 103178.
10.1016/j.artint.2019.103178
|
|
|
Booth, Richard ORCID: https://orcid.org/0000-0002-6647-6381 and Chandler, Jake
2019.
From iterated revision to iterated contraction: extending the Harper Identity.
Artificial Intelligence
277
, 103171.
10.1016/j.artint.2019.103171
|
|
|
Chandler, Jake and Booth, Richard ORCID: https://orcid.org/0000-0002-6647-6381
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, Patrick, Lorini, Emiliano and Guo, Meiyun eds.
Logic, Rationality, and Interaction.
Lecture Notes in Computer Science
Berlin:
Springer,
15–28.
10.1007/978-3-662-60292-8_2
|
|
|
Booth, Richard ORCID: https://orcid.org/0000-0002-6647-6381 and Cerutti, Federico ORCID: https://orcid.org/0000-0003-0755-0358
2018.
Preface.
Argument and Computation
10
(1)
, pp. 1-3.
10.3233/aac-181001
|
|
|
Booth, Richard ORCID: https://orcid.org/0000-0002-6647-6381 and Chandler, Jake
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, Richard ORCID: https://orcid.org/0000-0002-6647-6381 and Hunter, Aaron
2018.
Trust as a precursor to belief revision.
Journal of Artificial Intelligence Research
61
, pp. 699-722.
10.1613/jair.5521
|
|
|
Booth, Richard ORCID: https://orcid.org/0000-0002-6647-6381 and Jake, Chandler
2017.
The irreducibility of iterated to single revision.
Journal of Philosophical Logic
46
, pp. 405-418.
10.1007/s10992-016-9404-z
|
|
|
Awad, Edmond, Booth, Richard ORCID: https://orcid.org/0000-0002-6647-6381, Tohmé, Fernando and Rahwan, Iyad
2017.
Judgement aggregation in multi-agent argumentation.
Journal of Logic and Computation
27
(1)
, pp. 227-259.
10.1093/logcom/exv055
|
|
Booth, Richard ORCID: https://orcid.org/0000-0002-6647-6381 and Chandler, Jake
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, Gerard ed.
IJCAI'16: Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence.
Association for Computing Machinery,
pp. 987-993.
|
|
|
Caminada, Martin ORCID: https://orcid.org/0000-0002-7498-0238 and Booth, Richard ORCID: https://orcid.org/0000-0002-6647-6381
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, Pietro, Gordon, Thomas F., Scheffler, Tatjana and Stede, Manfred eds.
Computational Models of Argument.
Frontiers in Artificial Intelligence and Applications
, vol.287
IOS Press,
pp. 179-190.
10.3233/978-1-61499-686-6-179
|
|
|
Hunter, Aaron and Booth, Richard ORCID: https://orcid.org/0000-0002-6647-6381
2015.
Trust-sensitive belief revision.
Presented at: 24th International Joint Conference on Artificial Intelligence,
Buenos Aires, Argentina,
25-31 July 2015.
Published in: Yang, Quiang and Wooldridge, Michael eds.
IJCAI'15: Proceedings of the 24th International Conference on Artificial Intelligence.
ACM,
pp. 3062-3068.
|
|
|
Booth, Richard ORCID: https://orcid.org/0000-0002-6647-6381
2015.
Judgment aggregation in abstract dialectical frameworks.
Thomas, Eiter, Hannes, Strass, Miroslaw, Truszczynski and Stefan, Woltran, 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, Richard ORCID: https://orcid.org/0000-0002-6647-6381, Casini, Giovanni, Meyer, Thomas and Varzinczak, Ivan
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, Richard ORCID: https://orcid.org/0000-0002-6647-6381, Caminada, Martin ORCID: https://orcid.org/0000-0002-7498-0238, Paul, Dunne, Mikolaj, Podlaszewski and Iyad, Rahwan
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, Richard ORCID: https://orcid.org/0000-0002-6647-6381, Awad, Edmond and Rahwan, Iyad
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, Richard ORCID: https://orcid.org/0000-0002-6647-6381, Ferme, Eduardo, Konieczny, Sebastien and Pino Perez, Ramon
2014.
Credibility-limited improvement operators.
Presented at: 21st European Conference on Artificial Intelligence,
Prague, Czech Republic,
18-22 August 2014.
Frontiers in Artificial Intelligence and Applications: Volume 263: ECAI 2014.
IOS Press,
pp. 123-128.
10.3233/978-1-61499-419-0-123
|
|
|
Booth, Richard ORCID: https://orcid.org/0000-0002-6647-6381 and Mikolaj, Podlaszewski
2014.
Using distances for aggregation in abstract argumentation.
Presented at: 26th Benelux Conference on Artificial Intelligence,
Nijmegen, Netherlands,
6-7 November 2014.
|
|
|
Booth, Richard ORCID: https://orcid.org/0000-0002-6647-6381, Gabbay, Dov, Kaci, S., Rienstra, Tjitze and Van der Torre, Leon
2014.
Abduction and dialogical proof in argumentation and logic programming.
Presented at: 21st European Conference on Artificial Intelligence,
Prague, Czech Republic,
18-22 August 2014.
Proceedings of the 15th International Workshop on Non-Monotonic Reasoning (NMR 2014).
pp. 117-122.
|
|
|



Up a level