Richard Booth

Publication Activity (10 Years)

Years Active: 2000-2024
Publications (10 Years): 36

Top Topics

Horn Contraction

Belief Revision

Propositional Logic

Top Venues

Publications

Nurul Fajrin Ariyani, Zied Bouraoui, Richard Booth, Steven Schockaert
Can Language Models Learn Embeddings of Propositional Logic Assertions? LREC/COLING (2024)
Jake Chandler, Richard Booth
Elementary Belief Revision Operators. J. Philos. Log. 52 (1) (2023)
Gregory Butterworth, Richard Booth
A Contribution to the Defense of Liquid Democracy. DG.O (2023)
Aaron Hunter, Richard Booth
Joint Trust for Belief Revision. Canadian AI (2023)
Joseph Singleton, Richard Booth
Truth-Tracking with Non-Expert Information Sources. NMR (2022)
Joseph Singleton, Richard Booth
Towards an axiomatic approach to truth discovery. Auton. Agents Multi Agent Syst. 36 (2) (2022)
Joseph Singleton, Richard Booth
Who's the Expert? On Multi-source Belief Change. KR (2022)
Gregory Butterworth, Richard Booth
A Contribution to the Defense of Liquid Democracy. CoRR (2022)
Joseph Singleton, Richard Booth
Who's the Expert? On Multi-source Belief Change. CoRR (2022)
Joseph Singleton, Richard Booth
Rankings for Bipartite Tournaments via Chain Editing. AAMAS (2021)
Joseph Singleton, Richard Booth
Rankings for Bipartite Tournaments via Chain Editing. CoRR (2021)
Richard Booth, Ivan Varzinczak
Conditional Inference under Disjunctive Rationality. AAAI (2021)
Richard Booth, Jake Chandler
On strengthening the logic of iterated belief revision: Proper ordinal interval operators. Artif. Intell. 285 (2020)
Jake Chandler, Richard Booth
Revision by Conditionals: From Hook to Arrow. KR (2020)
Jake Chandler, Richard Booth
Revision by Conditionals: From Hook to Arrow. CoRR (2020)
Joseph Singleton, Richard Booth
An Axiomatic Approach to Truth Discovery. AAMAS (2020)
Richard Booth, Federico Cerutti
Preface. Argument Comput. 10 (1) (2019)
Richard Booth, Giovanni Casini, Szymon Klarman, Gilles Richard, Ivan Varzinczak
Editorial: Defeasible and Ampliative Reasoning. Int. J. Approx. Reason. 112 (2019)
Richard Booth, Giovanni Casini, Thomas Meyer, Ivan Varzinczak
On rational entailment for Propositional Typicality Logic. Artif. Intell. 277 (2019)
Richard Booth, Jake Chandler
From iterated revision to iterated contraction: Extending the Harper Identity. Artif. Intell. 277 (2019)
Jake Chandler, Richard Booth
Elementary Iterated Revision and the Levi Identity. CoRR (2019)
Jake Chandler, Richard Booth
Elementary Iterated Revision and the Levi Identity. LORI (2019)
Richard Booth, Giovanni Casini, Thomas Andreas Meyer, Ivan Varzinczak
On Rational Entailment for Propositional Typicality Logic. CoRR (2018)
Richard Booth, Aaron Hunter
Trust as a Precursor to Belief Revision. J. Artif. Intell. Res. 61 (2018)
Richard Booth, Jake Chandler
On Strengthening the Logic of Iterated Belief Revision: Proper Ordinal Interval Operators. KR (2018)
Richard Booth, Martin Caminada, Braden Marshall
DISCO: A Web-Based Implementation of Discussion Games for Grounded and Preferred Semantics. COMMA (2018)
Richard Booth, Jake Chandler
On Strengthening the Logic of Iterated Belief Revision: Proper Ordinal Interval Operators. CoRR (2018)
Edmond Awad, Richard Booth, Fernando Tohmé, Iyad Rahwan
Judgement aggregation in multi-agent argumentation. J. Log. Comput. 27 (1) (2017)
Richard Booth, Jake Chandler
The Irreducibility of Iterated to Single Revision. J. Philos. Log. 46 (4) (2017)
Martin Caminada, Richard Booth
A Dialectical Approach for Argument-Based Judgment Aggregation. COMMA (2016)
Richard Booth, Jake Chandler
Extending the Harper Identity to Iterated Belief Change. IJCAI (2016)
Jake Chandler, Richard Booth
Extending the Harper Identity to Iterated Belief Change. CoRR (2016)
Richard Booth, Giovanni Casini, Thomas Meyer, Ivan José Varzinczak
What Does Entailment for PTL Mean? AAAI Spring Symposia (2015)
Aaron Hunter, Richard Booth
Trust-Sensitive Belief Revision. IJCAI (2015)
Richard Booth, Giovanni Casini, Thomas Andreas Meyer, Ivan José Varzinczak
On the Entailment Problem for a Logic of Typicality. IJCAI (2015)
Richard Booth
Judgment Aggregation in Abstract Dialectical Frameworks. Advances in Knowledge Representation, Logic Programming, and Abstract Argumentation (2015)
Richard Booth, Edmond Awad, Iyad Rahwan
Interval Methods for Judgment Aggregation in Argumentation. KR (2014)
Richard Booth, Dov M. Gabbay, Souhila Kaci, Tjitze Rienstra, Leendert W. N. van der Torre
Abduction and Dialogical Proof in Argumentation and Logic Programming. CoRR (2014)
Edmond Awad, Richard Booth, Fernando Tohmé, Iyad Rahwan
Judgment Aggregation in Multi-Agent Argumentation. CoRR (2014)
Richard Booth, Eduardo L. Fermé, Sébastien Konieczny, Ramón Pino Pérez
Credibility-Limited Improvement Operators. ECAI (2014)
Richard Booth, Dov M. Gabbay, Souhila Kaci, Tjitze Rienstra, Leendert W. N. van der Torre
Abduction and Dialogical Proof in Argumentation and Logic Programming. ECAI (2014)
Richard Booth, Thomas Meyer, Ivan José Varzinczak, Renata Wassermann
On the Link between Partial Meet, Kernel, and Infra Contraction and its Application to Horn Logic. CoRR (2014)
Richard Booth, Martin Caminada, Paul E. Dunne, Mikolaj Podlaszewski, Iyad Rahwan
Complexity Properties of Critical Sets of Arguments. COMMA (2014)
Richard Booth, Souhila Kaci, Tjitze Rienstra, Leendert W. N. van der Torre
Monotonic and Nonmonotonic Inference for Abstract Argumentation. FLAIRS Conference (2013)
Richard Booth, Souhila Kaci, Tjitze Rienstra, Leendert W. N. van der Torre
A Logical Theory about Dynamics in Abstract Argumentation. SUM (2013)
Richard Booth, Souhila Kaci, Tjitze Rienstra
Property-Based Preferences in Abstract Argumentation. ADT (2013)
Richard Booth, Eduardo Fermé, Sébastien Konieczny, Ramón Pino Pérez
Credibility-Limited Revision Operators in Propositional Logic. KR (2012)
Richard Booth, Thomas Meyer, Ivan José Varzinczak
PTL: A Propositional Typicality Logic. JELIA (2012)
Richard Booth, Eva Richter
On revising fuzzy belief bases CoRR (2012)
Richard Booth, Souhila Kaci, Tjitze Rienstra, Leendert W. N. van der Torre
Conditional Acceptance Functions. COMMA (2012)
Richard Booth, Martin Caminada, Mikolaj Podlaszewski, Iyad Rahwan
Quantifying disagreement in argument-based reasoning. AAMAS (2012)
Richard Booth, Thomas Meyer, Chattrakul Sombattheera
A General Family of Preferential Belief Removal Operators. J. Philos. Log. 41 (4) (2012)
Richard Booth, Thomas Andreas Meyer
How to Revise a Total Preorder. J. Philos. Log. 40 (2) (2011)
Richard Booth, Thomas Andreas Meyer
Admissible and Restrained Revision CoRR (2011)
Richard Booth, Thomas Andreas Meyer, Ivan José Varzinczak, Renata Wassermann
On the Link between Partial Meet, Kernel, and Infra Contraction and its Application to Horn Logic. J. Artif. Intell. Res. 42 (2011)
Richard Booth, Yann Chevaleyre, Jérôme Lang, Jérôme Mengin, Chattrakul Sombattheera
Learning conditionally lexicographic preference relations. ECAI (2010)
Richard Booth, Thomas Andreas Meyer
Equilibria in social belief removal. Synth. 177 (Supplement-1) (2010)
Richard Booth, Thomas Andreas Meyer, Ivan José Varzinczak, Renata Wassermann
Horn Belief Change: A Contraction Core. ECAI (2010)
Richard Booth, Samir Chopra, Thomas Andreas Meyer, Aditya Ghose
Double preference relations for generalised belief change. Artif. Intell. 174 (16-17) (2010)
Richard Booth, Thomas Andreas Meyer, Ivan José Varzinczak
Next Steps in Propositional Horn Contraction. IJCAI (2009)
Richard Booth, Thomas Andreas Meyer, Chattrakul Sombattheera
A General Family of Preferential Belief Removal Operators. LORI (2009)
Richard Booth, Alexander Nittka
Reconstructing an Agent's Epistemic State from Observations about its Beliefs and Non-beliefs. J. Log. Comput. 18 (5) (2008)
Richard Booth, Thomas Andreas Meyer
Equilibria in Social Belief Removal. KR (2008)
Alexander Nittka, Richard Booth
A Method for Reasoning about other Agents' Beliefs from Observations. Formal Models of Belief Change in Rational Agents (2007)
Richard Booth, Thomas Andreas Meyer
On the Dynamics of Total Preorders: Revising Abstract Interval Orders. ECSQARU (2007)
Thomas Andreas Meyer, Kevin Lee, Richard Booth, Jeff Z. Pan
Finding Maximally Satisfiable Terminologies for the Description Logic ALC. AAAI (2006)
Richard Booth, Thomas Andreas Meyer
Admissible and Restrained Revision. J. Artif. Intell. Res. 26 (2006)
Richard Booth
Social contraction and belief negotiation. Inf. Fusion 7 (1) (2006)
Richard Booth, Thomas Andreas Meyer, Ka-Shu Wong
A Bad Day Surfing Is Better than a Good Day Working: How to Revise a Total Preorder. KR (2006)
Kevin Lee, Thomas Andreas Meyer, Jeff Z. Pan, Richard Booth
with Cyclic Definitions. Description Logics (2006)
Thomas Andreas Meyer, Kevin Lee, Richard Booth
Knowledge Integration for Description Logics. AAAI (2005)
Richard Booth, Eva Richter
On Revising Fuzzy Belief Bases. Stud Logica 80 (1) (2005)
Richard Booth, Alexander Nittka
Reconstructing an Agent's Epistemic State from Observations. IJCAI (2005)
Richard Booth, Samir Chopra, Aditya Ghose, Thomas Andreas Meyer
Belief Liberation (and Retraction). Stud Logica 79 (1) (2005)
Richard Booth, Alexander Nittka
Beyond the Rational Explanation. Belief Change in Rational Agents (2005)
Richard Booth, Samir Chopra, Thomas Andreas Meyer, Aditya Ghose
A unifying semantics for belief change. NMR (2004)
Richard Booth, Samir Chopra, Thomas Andreas Meyer, Aditya Ghose
A Unifying Semantics for Belief Change. ECAI (2004)
Richard Booth, Samir Chopra, Aditya Ghose, Thomas Andreas Meyer
Belief liberation (and retraction). TARK (2003)
Richard Booth, Eva Richter
On revising fuzzy belief bases. UAI (2003)
Richard Booth
Social Contraction and Belief Negotiation. KR (2002)
Richard Booth
On the Logic of Iterated Non-prioritised Revision. WCII (2002)
Richard Booth
The lexicographic closure as a revision process. J. Appl. Non Class. Logics 11 (1-2) (2001)
Richard Booth
The lexicographic closure as a revision process CoRR (2000)