There's No Such Thing as Simple Reasoning for LLMs - Nurul Fajrin Ariyani; Zied Bouraoui; Richard Booth; Steven Schockaert (Findings of the Association for Computational Linguistics, ACL 2025, Vienna, Austria, July 27 - August 1, 2025, 2025)

Parallel Belief Contraction via Order Aggregation - Jake Chandler; Richard Booth (CoRR, 2025)

Parallel Belief Revision via Order Aggregation - Jake Chandler; Richard Booth (CoRR, 2025)

Truth-tracking with Non-expert Information Sources - Joseph Singleton; Richard Booth (J. Artif. Intell. Res., 2024)

Can Language Models Learn Embeddings of Propositional Logic Assertions? - Nurul Fajrin Ariyani; Zied Bouraoui; Richard Booth; Steven Schockaert (Proceedings of the 2024 Joint International Conference on Computational Linguistics, Language Resources and Evaluation, LREC/COLING 2024, 20-25 May, 2024, Torino, Italy, 2024)

An Empirical Study of Quantitative Bipolar Argumentation Frameworks for Truth Discovery - Nico Potyka; Richard Booth (Computational Models of Argument - Proceedings of COMMA 2024, Hagen, Germany, September 18-20, 2024, 2024)

Balancing Open-Mindedness and Conservativeness in Quantitative Bipolar Argumentation (and How to Prove Semantical from Functional Properties) - Nico Potyka; Richard Booth (Proceedings of the 21st International Conference on Principles of Knowledge Representation and Reasoning, KR 2024, Hanoi, Vietnam. November 2-8, 2024, 2024)

Interval Orders and Biorders: Under-explored Playgrounds for NMR and Belief Revision (Invited Talk, Abstract) - Richard Booth (Proceedings of the 22nd International Workshop on Nonmonotonic Reasoning (NMR 2024) co-located with 21st International Conference on Principles of Knowledge Representation and Reasoning (KR 2024), Hanoi, Vietnam, November 2-4, 2024, 2024)

The Role of Syntax in Inductive Inference: A Property-based Study - Jesse Heyninck; Richard Booth; Thomas Andreas Meyer (Proceedings of the 22nd International Workshop on Nonmonotonic Reasoning (NMR 2024) co-located with 21st International Conference on Principles of Knowledge Representation and Reasoning (KR 2024), Hanoi, Vietnam, November 2-4, 2024, 2024)

The Score Reveal Problem: How do We Maximise Entertainment? - Aric Fowler; Richard Booth (PRIMA 2024: Principles and Practice of Multi-Agent Systems - 25th International Conference, Kyoto, Japan, November 18-24, 2024, Proceedings, 2024)

Elementary Belief Revision Operators - Jake Chandler; Richard Booth (J. Philos. Log., 2023)

Joint Trust for Belief Revision - Aaron Hunter; Richard Booth (36th Canadian Conference on Artificial Intelligence, Canadian AI 2023, Montreal, Canada, June 5-9, 2023, Proceedings, 2023)

A Contribution to the Defense of Liquid Democracy - Gregory Butterworth; Richard Booth (Proceedings of the 24th Annual International Conference on Digital Government Research, DGO 2023, Gdańsk, Poland, July 11-14, 2023, 2023)

Towards an axiomatic approach to truth discovery - Joseph Singleton; Richard Booth (Auton. Agents Multi Agent Syst., 2022)

Who's the Expert? On Multi-source Belief Change - Joseph Singleton; Richard Booth (Proceedings of the 19th International Conference on Principles of Knowledge Representation and Reasoning, KR 2022, Haifa, Israel, July 31 - August 5, 2022, 2022)

Truth-Tracking with Non-Expert Information Sources - Joseph Singleton; Richard Booth (Proceedings of the 20th International Workshop on Non-Monotonic Reasoning, NMR 2022, Part of the Federated Logic Conference (FLoC 2022), Haifa, Israel, August 7-9, 2022, 2022)

Computational Models of Argument - Proceedings of COMMA 2022, Cardiff, Wales, UK, 14-16 September 2022 - Francesca Toni; Sylwia Polberg; Richard Booth; Martin Caminada; Hiroyuki Kido (IOS Press, 2022)

Who's the Expert? On Multi-source Belief Change - Joseph Singleton; Richard Booth (CoRR, 2022)

A Contribution to the Defense of Liquid Democracy - Gregory Butterworth; Richard Booth (CoRR, 2022)

Conditional Inference under Disjunctive Rationality - Richard Booth; Ivan Varzinczak (Thirty-Fifth AAAI Conference on Artificial Intelligence, AAAI 2021, Thirty-Third Conference on Innovative Applications of Artificial Intelligence, IAAI 2021, The Eleventh Symposium on Educational Advances in Artificial Intelligence, EAAI 2021, Virtual Event, February 2-9, 2021, 2021)

Rankings for Bipartite Tournaments via Chain Editing - Joseph Singleton; Richard Booth (AAMAS '21: 20th International Conference on Autonomous Agents and Multiagent Systems, Virtual Event, United Kingdom, May 3-7, 2021, 2021)

Rankings for Bipartite Tournaments via Chain Editing - Joseph Singleton; Richard Booth (CoRR, 2021)

On strengthening the logic of iterated belief revision: Proper ordinal interval operators - Richard Booth; Jake Chandler (Artif. Intell., 2020)

An Axiomatic Approach to Truth Discovery - Joseph Singleton; Richard Booth (Proceedings of the 19th International Conference on Autonomous Agents and Multiagent Systems, AAMAS '20, Auckland, New Zealand, May 9-13, 2020, 2020)

Revision by Conditionals: From Hook to Arrow - Jake Chandler; Richard Booth (Proceedings of the 17th International Conference on Principles of Knowledge Representation and Reasoning, KR 2020, Rhodes, Greece, September 12-18, 2020, 2020)

Revision by Conditionals: From Hook to Arrow - Jake Chandler; Richard Booth (CoRR, 2020)

From iterated revision to iterated contraction: Extending the Harper Identity - Richard Booth; Jake Chandler (Artif. Intell., 2019)

On rational entailment for Propositional Typicality Logic - Richard Booth; Giovanni Casini; Thomas Meyer; Ivan Varzinczak (Artif. Intell., 2019)

Preface - Richard Booth; Federico Cerutti (Argument Comput., 2019)

Editorial: Defeasible and Ampliative Reasoning - Richard Booth; Giovanni Casini; Szymon Klarman; Gilles Richard; Ivan Varzinczak (Int. J. Approx. Reason., 2019)

Elementary Iterated Revision and the Levi Identity - Jake Chandler; Richard Booth (Logic, Rationality, and Interaction - 7th International Workshop, LORI 2019, Chongqing, China, October 18-21, 2019, Proceedings, 2019)

Elementary Iterated Revision and the Levi Identity - Jake Chandler; Richard Booth (CoRR, 2019)

Trust as a Precursor to Belief Revision - Richard Booth; Aaron Hunter (J. Artif. Intell. Res., 2018)

DISCO: A Web-Based Implementation of Discussion Games for Grounded and Preferred Semantics - Richard Booth; Martin Caminada; Braden Marshall (Computational Models of Argument - Proceedings of COMMA 2018, Warsaw, Poland, 12-14 September 2018, 2018)

On Strengthening the Logic of Iterated Belief Revision: Proper Ordinal Interval Operators - Richard Booth; Jake Chandler (Principles of Knowledge Representation and Reasoning: Proceedings of the Sixteenth International Conference, KR 2018, Tempe, Arizona, 30 October - 2 November 2018, 2018)

On Strengthening the Logic of Iterated Belief Revision: Proper Ordinal Interval Operators - Richard Booth; Jake Chandler (CoRR, 2018)

On Rational Entailment for Propositional Typicality Logic - Richard Booth; Giovanni Casini; Thomas Andreas Meyer; Ivan Varzinczak (CoRR, 2018)

The Irreducibility of Iterated to Single Revision - Richard Booth; Jake Chandler (J. Philos. Log., 2017)

Judgement aggregation in multi-agent argumentation - Edmond Awad; Richard Booth; Fernando Tohmé; Iyad Rahwan (J. Log. Comput., 2017)

Proceedings of the 4th International Workshop on Defeasible and Ampliative Reasoning (DARe-17) co-located with the 14th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2017), Espoo, Finland, July 3, 2017 - Richard Booth; Giovanni Casini; Ivan Varzinczak (CEUR-WS.org, 2017)

A Dialectical Approach for Argument-Based Judgment Aggregation - Martin Caminada; Richard Booth (Computational Models of Argument - Proceedings of COMMA 2016, Potsdam, Germany, 12-16 September, 2016, 2016)

Extending the Harper Identity to Iterated Belief Change - Richard Booth; Jake Chandler (Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence, IJCAI 2016, New York, NY, USA, 9-15 July 2016, 2016)

Proceedings of the International Workshop on Defeasible and Ampliative Reasoning (DARe-16) co-located with the 22th European Conference on Artificial Intelligence (ECAI 2016), The Hague, The Netherlands, August 29, 2016 - Richard Booth; Giovanni Casini; Szymon Klarman; Gilles Richard; Ivan Varzinczak (CEUR-WS.org, 2016)

PRICAI 2016: Trends in Artificial Intelligence - 14th Pacific Rim International Conference on Artificial Intelligence, Phuket, Thailand, August 22-26, 2016, Proceedings - Richard Booth; Min-Ling Zhang (Springer, 2016)

Extending the Harper Identity to Iterated Belief Change - Jake Chandler; Richard Booth (CoRR, 2016)

What Does Entailment for PTL Mean? - Richard Booth; Giovanni Casini; Thomas Meyer; Ivan Varzinczak (2015 AAAI Spring Symposia, Stanford University, Palo Alto, California, USA, March 22-25, 2015, 2015)

Judgment Aggregation in Abstract Dialectical Frameworks - Richard Booth (Advances in Knowledge Representation, Logic Programming, and Abstract Argumentation - Essays Dedicated to Gerhard Brewka on the Occasion of His 60th Birthday, 2015)

On the Entailment Problem for a Logic of Typicality - Richard Booth; Giovanni Casini; Thomas Andreas Meyer; Ivan Varzinczak (Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, IJCAI 2015, Buenos Aires, Argentina, July 25-31, 2015, 2015)

Trust-Sensitive Belief Revision - Aaron Hunter; Richard Booth (Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, IJCAI 2015, Buenos Aires, Argentina, July 25-31, 2015, 2015)

Proceedings of the International Workshop on Defeasible and Ampliative Reasoning, DARe 2015, co-located with the 24th International Joint Conference on Artificial Intelligence (IJCAI 2015), Buenos Aires, Argentina, July 27, 2015 - Richard Booth; Giovanni Casini; Szymon Klarman; Gilles Richard; Ivan Varzinczak (CEUR-WS.org, 2015)

Complexity Properties of Critical Sets of Arguments - Richard Booth; Martin Caminada; Paul E. Dunne; Mikolaj Podlaszewski; Iyad Rahwan (Computational Models of Argument - Proceedings of COMMA 2014, Atholl Palace Hotel, Scottish Highlands, UK, September 9-12, 2014, 2014)

Abduction and Dialogical Proof in Argumentation and Logic Programming - Richard Booth; Dov M. Gabbay; Souhila Kaci; Tjitze Rienstra; Leendert W. N. van der Torre (ECAI 2014 - 21st European Conference on Artificial Intelligence, 18-22 August 2014, Prague, Czech Republic - Including Prestigious Applications of Intelligent Systems (PAIS 2014), 2014)

Credibility-Limited Improvement Operators - Richard Booth; Eduardo L. Fermé; Sébastien Konieczny; Ramón Pino Pérez (ECAI 2014 - 21st European Conference on Artificial Intelligence, 18-22 August 2014, Prague, Czech Republic - Including Prestigious Applications of Intelligent Systems (PAIS 2014), 2014)

Interval Methods for Judgment Aggregation in Argumentation - Richard Booth; Edmond Awad; Iyad Rahwan (Principles of Knowledge Representation and Reasoning: Proceedings of the Fourteenth International Conference, KR 2014, Vienna, Austria, July 20-24, 2014, 2014)

Proceedings of the International Workshop on Defeasible and Ampliative Reasoning, DARe@ECAI 2014, co-located with the 21st European Conference on Artificial Intelligence (ECAI 2014), Prague, Czech Republic, August 19, 2014 - Richard Booth; Giovanni Casini; Szymon Klarman; Gilles Richard; Ivan Varzinczak (CEUR-WS.org, 2014)

On the Link between Partial Meet, Kernel, and Infra Contraction and its Application to Horn Logic - Richard Booth; Thomas Meyer; Ivan Varzinczak; Renata Wassermann (CoRR, 2014)

Judgment Aggregation in Multi-Agent Argumentation - Edmond Awad; Richard Booth; Fernando Tohmé; Iyad Rahwan (CoRR, 2014)

Abduction and Dialogical Proof in Argumentation and Logic Programming - Richard Booth; Dov M. Gabbay; Souhila Kaci; Tjitze Rienstra; Leendert W. N. van der Torre (CoRR, 2014)

Property-Based Preferences in Abstract Argumentation - Richard Booth; Souhila Kaci; Tjitze Rienstra (Algorithmic Decision Theory - Third International Conference, ADT 2013, Bruxelles, Belgium, November 12-14, 2013, Proceedings, 2013)

Monotonic and Nonmonotonic Inference for Abstract Argumentation - Richard Booth; Souhila Kaci; Tjitze Rienstra; Leendert W. N. van der Torre (Proceedings of the Twenty-Sixth International Florida Artificial Intelligence Research Society Conference, FLAIRS 2013, St. Pete Beach, Florida, USA, May 22-24, 2013, 2013)

A Logical Theory about Dynamics in Abstract Argumentation - Richard Booth; Souhila Kaci; Tjitze Rienstra; Leendert W. N. van der Torre (Scalable Uncertainty Management - 7th International Conference, SUM 2013, Washington, DC, USA, September 16-18, 2013. Proceedings, 2013)

A General Family of Preferential Belief Removal Operators - Richard Booth; Thomas Meyer; Chattrakul Sombattheera (J. Philos. Log., 2012)

Quantifying disagreement in argument-based reasoning - Richard Booth; Martin Caminada; Mikolaj Podlaszewski; Iyad Rahwan (International Conference on Autonomous Agents and Multiagent Systems, AAMAS 2012, Valencia, Spain, June 4-8, 2012 (3 Volumes), 2012)

Conditional Acceptance Functions - Richard Booth; Souhila Kaci; Tjitze Rienstra; Leendert W. N. van der Torre (Computational Models of Argument - Proceedings of COMMA 2012, Vienna, Austria, September 10-12, 2012, 2012)

PTL: A Propositional Typicality Logic - Richard Booth; Thomas Meyer; Ivan Varzinczak (Logics in Artificial Intelligence - 13th European Conference, JELIA 2012, Toulouse, France, September 26-28, 2012. Proceedings, 2012)

Credibility-Limited Revision Operators in Propositional Logic - Richard Booth; Eduardo Fermé; Sébastien Konieczny; Ramón Pino Pérez (Principles of Knowledge Representation and Reasoning: Proceedings of the Thirteenth International Conference, KR 2012, Rome, Italy, June 10-14, 2012, 2012)

On revising fuzzy belief bases - Richard Booth; Eva Richter (CoRR, 2012)

On the Link between Partial Meet, Kernel, and Infra Contraction and its Application to Horn Logic - Richard Booth; Thomas Andreas Meyer; Ivan Varzinczak; Renata Wassermann (J. Artif. Intell. Res., 2011)

How to Revise a Total Preorder - Richard Booth; Thomas Andreas Meyer (J. Philos. Log., 2011)

Admissible and Restrained Revision - Richard Booth; Thomas Andreas Meyer (CoRR, 2011)

Double preference relations for generalised belief change - Richard Booth; Samir Chopra; Thomas Andreas Meyer; Aditya Ghose (Artif. Intell., 2010)

Equilibria in social belief removal - Richard Booth; Thomas Andreas Meyer (Synth., 2010)

Learning conditionally lexicographic preference relations - Richard Booth; Yann Chevaleyre; Jérôme Lang; Jérôme Mengin; Chattrakul Sombattheera (ECAI 2010 - 19th European Conference on Artificial Intelligence, Lisbon, Portugal, August 16-20, 2010, Proceedings, 2010)

Horn Belief Change: A Contraction Core - Richard Booth; Thomas Andreas Meyer; Ivan Varzinczak; Renata Wassermann (ECAI 2010 - 19th European Conference on Artificial Intelligence, Lisbon, Portugal, August 16-20, 2010, Proceedings, 2010)

Next Steps in Propositional Horn Contraction - Richard Booth; Thomas Andreas Meyer; Ivan José Varzinczak (IJCAI 2009, Proceedings of the 21st International Joint Conference on Artificial Intelligence, Pasadena, California, USA, July 11-17, 2009, 2009)

A General Family of Preferential Belief Removal Operators - Richard Booth; Thomas Andreas Meyer; Chattrakul Sombattheera (Logic, Rationality, and Interaction, Second International Workshop, LORI 2009, Chongqing, China, October 8-11, 2009. Proceedings, 2009)

Reconstructing an Agent's Epistemic State from Observations about its Beliefs and Non-beliefs - Richard Booth; Alexander Nittka (J. Log. Comput., 2008)

Equilibria in Social Belief Removal - Richard Booth; Thomas Andreas Meyer (Principles of Knowledge Representation and Reasoning: Proceedings of the Eleventh International Conference, KR 2008, Sydney, Australia, September 16-19, 2008, 2008)

On the Dynamics of Total Preorders: Revising Abstract Interval Orders - Richard Booth; Thomas Andreas Meyer (Symbolic and Quantitative Approaches to Reasoning with Uncertainty, 9th European Conference, ECSQARU 2007, Hammamet, Tunisia, October 31 - November 2, 2007, Proceedings, 2007)

A Method for Reasoning about other Agents' Beliefs from Observations - Alexander Nittka; Richard Booth (Formal Models of Belief Change in Rational Agents, 26.08. - 30.08.2007, 2007)

Social contraction and belief negotiation - Richard Booth (Inf. Fusion, 2006)

Admissible and Restrained Revision - Richard Booth; Thomas Andreas Meyer (J. Artif. Intell. Res., 2006)

Finding Maximally Satisfiable Terminologies for the Description Logic ALC - Thomas Andreas Meyer; Kevin Lee; Richard Booth; Jeff Z. Pan (Proceedings, The Twenty-First National Conference on Artificial Intelligence and the Eighteenth Innovative Applications of Artificial Intelligence Conference, July 16-20, 2006, Boston, Massachusetts, USA, 2006)

Computing Maximally Satisfiable Terminologies for the Description Logic ALC with Cyclic Definitions - Kevin Lee; Thomas Andreas Meyer; Jeff Z. Pan; Richard Booth (Proceedings of the 2006 International Workshop on Description Logics (DL2006), Windermere, Lake District, UK, May 30 - June 1, 2006, 2006)

A Bad Day Surfing Is Better than a Good Day Working: How to Revise a Total Preorder - Richard Booth; Thomas Andreas Meyer; Ka-Shu Wong (Proceedings, Tenth International Conference on Principles of Knowledge Representation and Reasoning, Lake District of the United Kingdom, June 2-5, 2006, 2006)

Belief Liberation (and Retraction) - Richard Booth; Samir Chopra; Aditya Ghose; Thomas Andreas Meyer (Stud Logica, 2005)

On Revising Fuzzy Belief Bases - Richard Booth; Eva Richter (Stud Logica, 2005)

Knowledge Integration for Description Logics - Thomas Andreas Meyer; Kevin Lee; Richard Booth (Proceedings, The Twentieth National Conference on Artificial Intelligence and the Seventeenth Innovative Applications of Artificial Intelligence Conference, July 9-13, 2005, Pittsburgh, Pennsylvania, USA, 2005)

Reconstructing an Agent's Epistemic State from Observations - Richard Booth; Alexander Nittka (IJCAI-05, Proceedings of the Nineteenth International Joint Conference on Artificial Intelligence, Edinburgh, Scotland, UK, July 30 - August 5, 2005, 2005)

Beyond the Rational Explanation - Richard Booth; Alexander Nittka (Belief Change in Rational Agents: Perspectives from Artificial Intelligence, Philosophy, and Economics, 7.-12. August 2005, 2005)

A Unifying Semantics for Belief Change - Richard Booth; Samir Chopra; Thomas Andreas Meyer; Aditya Ghose (Proceedings of the 16th Eureopean Conference on Artificial Intelligence, ECAI'2004, including Prestigious Applicants of Intelligent Systems, PAIS 2004, Valencia, Spain, August 22-27, 2004, 2004)

A unifying semantics for belief change - Richard Booth; Samir Chopra; Thomas Andreas Meyer; Aditya Ghose (10th International Workshop on Non-Monotonic Reasoning (NMR 2004), Whistler, Canada, June 6-8, 2004, Proceedings, 2004)

Belief liberation (and retraction) - Richard Booth; Samir Chopra; Aditya Ghose; Thomas Andreas Meyer (Proceedings of the 9th Conference on Theoretical Aspects of Rationality and Knowledge (TARK-2003), Bloomington, Indiana, USA, June 20-22, 2003, 2003)

On revising fuzzy belief bases - Richard Booth; Eva Richter (UAI '03, Proceedings of the 19th Conference in Uncertainty in Artificial Intelligence, Acapulco, Mexico, August 7-10 2003, 2003)

Social Contraction and Belief Negotiation - Richard Booth (Proceedings of the Eights International Conference on Principles and Knowledge Representation and Reasoning (KR-02), Toulouse, France, April 22-25, 2002, 2002)

On the Logic of Iterated Non-prioritised Revision - Richard Booth (Conditionals, Information, and Inference, International Workshop, WCII 2002, Hagen, Germany, May 13-15, 2002, Revised Selected Papers, 2002)

The lexicographic closure as a revision process - Richard Booth (J. Appl. Non Class. Logics, 2001)

The lexicographic closure as a revision process - Richard Booth (CoRR, 2000)