default search action
Richard Booth 0001
Person information
- affiliation: Cardiff University, Computer Science & Informatics, UK
- affiliation (former): University of Luxembourg, Interdisciplinary Centre for Security, Reliability and Trust, Luxembourg
- affiliation (former): University of Leipzig, Department of Computer Science, Germany
Other persons with the same name
- Richard Booth
- Richard Booth 0002 — Eridan Communications, Santa Clara, CA, USA
- Richard Booth 0003 — Lehigh University, Bethlehem, PA, USA
- Richard Booth 0004 — Cisco Systems, Allentown, PA, USA
- Richard Booth 0005 — Western University, London, ON, Canada
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
- [j22]Joseph Singleton, Richard Booth:
Truth-tracking with Non-expert Information Sources. J. Artif. Intell. Res. 81: 619-641 (2024) - [c49]Nurul Fajrin Ariyani, Zied Bouraoui, Richard Booth, Steven Schockaert:
Can Language Models Learn Embeddings of Propositional Logic Assertions? LREC/COLING 2024: 2766-2776 - [c48]Nico Potyka, Richard Booth:
An Empirical Study of Quantitative Bipolar Argumentation Frameworks for Truth Discovery. COMMA 2024: 205-216 - [c47]Richard Booth:
Interval Orders and Biorders: Under-explored Playgrounds for NMR and Belief Revision (Invited Talk, Abstract). NMR 2024: 1 - [c46]Jesse Heyninck, Richard Booth, Thomas Andreas Meyer:
The Role of Syntax in Inductive Inference: A Property-based Study. NMR 2024: 142-151 - 2023
- [j21]Jake Chandler, Richard Booth:
Elementary Belief Revision Operators. J. Philos. Log. 52(1): 267-311 (2023) - [c45]Aaron Hunter, Richard Booth:
Joint Trust for Belief Revision. Canadian AI 2023 - [c44]Gregory Butterworth, Richard Booth:
A Contribution to the Defense of Liquid Democracy. DG.O 2023: 244-250 - 2022
- [j20]Joseph Singleton, Richard Booth:
Towards an axiomatic approach to truth discovery. Auton. Agents Multi Agent Syst. 36(2): 42 (2022) - [c43]Joseph Singleton, Richard Booth:
Who's the Expert? On Multi-source Belief Change. KR 2022 - [c42]Joseph Singleton, Richard Booth:
Truth-Tracking with Non-Expert Information Sources. NMR 2022: 80-91 - [e6]Francesca Toni, Sylwia Polberg, Richard Booth, Martin Caminada, Hiroyuki Kido:
Computational Models of Argument - Proceedings of COMMA 2022, Cardiff, Wales, UK, 14-16 September 2022. Frontiers in Artificial Intelligence and Applications 353, IOS Press 2022, ISBN 978-1-64368-306-5 [contents] - [i16]Joseph Singleton, Richard Booth:
Who's the Expert? On Multi-source Belief Change. CoRR abs/2205.00077 (2022) - [i15]Gregory Butterworth, Richard Booth:
A Contribution to the Defense of Liquid Democracy. CoRR abs/2206.13904 (2022) - 2021
- [c41]Richard Booth, Ivan Varzinczak:
Conditional Inference under Disjunctive Rationality. AAAI 2021: 6227-6234 - [c40]Joseph Singleton, Richard Booth:
Rankings for Bipartite Tournaments via Chain Editing. AAMAS 2021: 1236-1244 - [i14]Joseph Singleton, Richard Booth:
Rankings for Bipartite Tournaments via Chain Editing. CoRR abs/2101.02476 (2021) - 2020
- [j19]Richard Booth, Jake Chandler:
On strengthening the logic of iterated belief revision: Proper ordinal interval operators. Artif. Intell. 285: 103289 (2020) - [c39]Joseph Singleton, Richard Booth:
An Axiomatic Approach to Truth Discovery. AAMAS 2020: 2011-2013 - [c38]Jake Chandler, Richard Booth:
Revision by Conditionals: From Hook to Arrow. KR 2020: 233-242 - [i13]Jake Chandler, Richard Booth:
Revision by Conditionals: From Hook to Arrow. CoRR abs/2006.15811 (2020)
2010 – 2019
- 2019
- [j18]Richard Booth, Jake Chandler:
From iterated revision to iterated contraction: Extending the Harper Identity. Artif. Intell. 277 (2019) - [j17]Richard Booth, Giovanni Casini, Thomas Meyer, Ivan Varzinczak:
On rational entailment for Propositional Typicality Logic. Artif. Intell. 277 (2019) - [j16]Richard Booth, Federico Cerutti:
Preface. Argument Comput. 10(1): 1-3 (2019) - [j15]Richard Booth, Giovanni Casini, Szymon Klarman, Gilles Richard, Ivan Varzinczak:
Editorial: Defeasible and Ampliative Reasoning. Int. J. Approx. Reason. 112: 1-3 (2019) - [c37]Jake Chandler, Richard Booth:
Elementary Iterated Revision and the Levi Identity. LORI 2019: 15-28 - [i12]Jake Chandler, Richard Booth:
Elementary Iterated Revision and the Levi Identity. CoRR abs/1907.01224 (2019) - 2018
- [j14]Richard Booth, Aaron Hunter:
Trust as a Precursor to Belief Revision. J. Artif. Intell. Res. 61: 699-722 (2018) - [c36]Richard Booth, Martin Caminada, Braden Marshall:
DISCO: A Web-Based Implementation of Discussion Games for Grounded and Preferred Semantics. COMMA 2018: 453-454 - [c35]Richard Booth, Jake Chandler:
On Strengthening the Logic of Iterated Belief Revision: Proper Ordinal Interval Operators. KR 2018: 210-219 - [i11]Richard Booth, Jake Chandler:
On Strengthening the Logic of Iterated Belief Revision: Proper Ordinal Interval Operators. CoRR abs/1807.09942 (2018) - [i10]Richard Booth, Giovanni Casini, Thomas Andreas Meyer, Ivan Varzinczak:
On Rational Entailment for Propositional Typicality Logic. CoRR abs/1809.10946 (2018) - 2017
- [j13]Richard Booth, Jake Chandler:
The Irreducibility of Iterated to Single Revision. J. Philos. Log. 46(4): 405-418 (2017) - [j12]Edmond Awad, Richard Booth, Fernando Tohmé, Iyad Rahwan:
Judgement aggregation in multi-agent argumentation. J. Log. Comput. 27(1): 227-259 (2017) - [e5]Richard Booth, Giovanni Casini, Ivan Varzinczak:
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. CEUR Workshop Proceedings 1872, CEUR-WS.org 2017 [contents] - 2016
- [c34]Martin Caminada, Richard Booth:
A Dialectical Approach for Argument-Based Judgment Aggregation. COMMA 2016: 179-190 - [c33]Richard Booth, Jake Chandler:
Extending the Harper Identity to Iterated Belief Change. IJCAI 2016: 987-993 - [e4]Richard Booth, Giovanni Casini, Szymon Klarman, Gilles Richard, Ivan Varzinczak:
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. CEUR Workshop Proceedings 1626, CEUR-WS.org 2016 [contents] - [e3]Richard Booth, Min-Ling Zhang:
PRICAI 2016: Trends in Artificial Intelligence - 14th Pacific Rim International Conference on Artificial Intelligence, Phuket, Thailand, August 22-26, 2016, Proceedings. Lecture Notes in Computer Science 9810, Springer 2016, ISBN 978-3-319-42910-6 [contents] - [i9]Jake Chandler, Richard Booth:
Extending the Harper Identity to Iterated Belief Change. CoRR abs/1604.05419 (2016) - 2015
- [c32]Richard Booth, Giovanni Casini, Thomas Meyer, Ivan Varzinczak:
What Does Entailment for PTL Mean? AAAI Spring Symposia 2015 - [c31]Richard Booth:
Judgment Aggregation in Abstract Dialectical Frameworks. Advances in Knowledge Representation, Logic Programming, and Abstract Argumentation 2015: 296-308 - [c30]Richard Booth, Giovanni Casini, Thomas Andreas Meyer, Ivan Varzinczak:
On the Entailment Problem for a Logic of Typicality. IJCAI 2015: 2805-2811 - [c29]Aaron Hunter, Richard Booth:
Trust-Sensitive Belief Revision. IJCAI 2015: 3062-3068 - [e2]Richard Booth, Giovanni Casini, Szymon Klarman, Gilles Richard, Ivan Varzinczak:
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. CEUR Workshop Proceedings 1423, CEUR-WS.org 2015 [contents] - 2014
- [c28]Richard Booth, Martin Caminada, Paul E. Dunne, Mikolaj Podlaszewski, Iyad Rahwan:
Complexity Properties of Critical Sets of Arguments. COMMA 2014: 173-184 - [c27]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: 117-122 - [c26]Richard Booth, Eduardo L. Fermé, Sébastien Konieczny, Ramón Pino Pérez:
Credibility-Limited Improvement Operators. ECAI 2014: 123-128 - [c25]Richard Booth, Edmond Awad, Iyad Rahwan:
Interval Methods for Judgment Aggregation in Argumentation. KR 2014 - [e1]Richard Booth, Giovanni Casini, Szymon Klarman, Gilles Richard, Ivan Varzinczak:
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. CEUR Workshop Proceedings 1212, CEUR-WS.org 2014 [contents] - [i8]Richard Booth, Thomas Meyer, Ivan Varzinczak, Renata Wassermann:
On the Link between Partial Meet, Kernel, and Infra Contraction and its Application to Horn Logic. CoRR abs/1401.3902 (2014) - [i7]Edmond Awad, Richard Booth, Fernando Tohmé, Iyad Rahwan:
Judgment Aggregation in Multi-Agent Argumentation. CoRR abs/1405.6509 (2014) - [i6]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 abs/1407.3896 (2014) - 2013
- [c24]Richard Booth, Souhila Kaci, Tjitze Rienstra:
Property-Based Preferences in Abstract Argumentation. ADT 2013: 86-100 - [c23]Richard Booth, Souhila Kaci, Tjitze Rienstra, Leendert W. N. van der Torre:
Monotonic and Nonmonotonic Inference for Abstract Argumentation. FLAIRS 2013 - [c22]Richard Booth, Souhila Kaci, Tjitze Rienstra, Leendert W. N. van der Torre:
A Logical Theory about Dynamics in Abstract Argumentation. SUM 2013: 148-161 - 2012
- [j11]Richard Booth, Thomas Meyer, Chattrakul Sombattheera:
A General Family of Preferential Belief Removal Operators. J. Philos. Log. 41(4): 711-733 (2012) - [c21]Richard Booth, Martin Caminada, Mikolaj Podlaszewski, Iyad Rahwan:
Quantifying disagreement in argument-based reasoning. AAMAS 2012: 493-500 - [c20]Richard Booth, Souhila Kaci, Tjitze Rienstra, Leendert W. N. van der Torre:
Conditional Acceptance Functions. COMMA 2012: 470-477 - [c19]Richard Booth, Thomas Meyer, Ivan Varzinczak:
PTL: A Propositional Typicality Logic. JELIA 2012: 107-119 - [c18]Richard Booth, Eduardo Fermé, Sébastien Konieczny, Ramón Pino Pérez:
Credibility-Limited Revision Operators in Propositional Logic. KR 2012 - [i5]Richard Booth, Eva Richter:
On revising fuzzy belief bases. CoRR abs/1212.2444 (2012) - 2011
- [j10]Richard Booth, Thomas Andreas Meyer, Ivan Varzinczak, Renata Wassermann:
On the Link between Partial Meet, Kernel, and Infra Contraction and its Application to Horn Logic. J. Artif. Intell. Res. 42: 31-53 (2011) - [j9]Richard Booth, Thomas Andreas Meyer:
How to Revise a Total Preorder. J. Philos. Log. 40(2): 193-238 (2011) - [i4]Richard Booth, Thomas Andreas Meyer:
Admissible and Restrained Revision. CoRR abs/1109.6344 (2011) - 2010
- [j8]Richard Booth, Samir Chopra, Thomas Andreas Meyer, Aditya Ghose:
Double preference relations for generalised belief change. Artif. Intell. 174(16-17): 1339-1368 (2010) - [j7]Richard Booth, Thomas Andreas Meyer:
Equilibria in social belief removal. Synth. 177(Supplement-1): 97-123 (2010) - [c17]Richard Booth, Yann Chevaleyre, Jérôme Lang, Jérôme Mengin, Chattrakul Sombattheera:
Learning conditionally lexicographic preference relations. ECAI 2010: 269-274 - [c16]Richard Booth, Thomas Andreas Meyer, Ivan Varzinczak, Renata Wassermann:
Horn Belief Change: A Contraction Core. ECAI 2010: 1065-1066
2000 – 2009
- 2009
- [c15]Richard Booth, Thomas Andreas Meyer, Ivan José Varzinczak:
Next Steps in Propositional Horn Contraction. IJCAI 2009: 702-707 - [c14]Richard Booth, Thomas Andreas Meyer, Chattrakul Sombattheera:
A General Family of Preferential Belief Removal Operators. LORI 2009: 42-54 - 2008
- [j6]Richard Booth, Alexander Nittka:
Reconstructing an Agent's Epistemic State from Observations about its Beliefs and Non-beliefs. J. Log. Comput. 18(5): 755-782 (2008) - [c13]Richard Booth, Thomas Andreas Meyer:
Equilibria in Social Belief Removal. KR 2008: 145-155 - 2007
- [c12]Richard Booth, Thomas Andreas Meyer:
On the Dynamics of Total Preorders: Revising Abstract Interval Orders. ECSQARU 2007: 42-53 - [i3]Alexander Nittka, Richard Booth:
A Method for Reasoning about other Agents' Beliefs from Observations. Formal Models of Belief Change in Rational Agents 2007 - 2006
- [j5]Richard Booth:
Social contraction and belief negotiation. Inf. Fusion 7(1): 19-34 (2006) - [j4]Richard Booth, Thomas Andreas Meyer:
Admissible and Restrained Revision. J. Artif. Intell. Res. 26: 127-151 (2006) - [c11]Thomas Andreas Meyer, Kevin Lee, Richard Booth, Jeff Z. Pan:
Finding Maximally Satisfiable Terminologies for the Description Logic ALC. AAAI 2006: 269-274 - [c10]Kevin Lee, Thomas Andreas Meyer, Jeff Z. Pan, Richard Booth:
Computing Maximally Satisfiable Terminologies for the Description Logic ALC with Cyclic Definitions. Description Logics 2006 - [c9]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: 230-238 - 2005
- [j3]Richard Booth, Samir Chopra, Aditya Ghose, Thomas Andreas Meyer:
Belief Liberation (and Retraction). Stud Logica 79(1): 47-72 (2005) - [j2]Richard Booth, Eva Richter:
On Revising Fuzzy Belief Bases. Stud Logica 80(1): 29-61 (2005) - [c8]Thomas Andreas Meyer, Kevin Lee, Richard Booth:
Knowledge Integration for Description Logics. AAAI 2005: 645-650 - [c7]Richard Booth, Alexander Nittka:
Reconstructing an Agent's Epistemic State from Observations. IJCAI 2005: 394-399 - [i2]Richard Booth, Alexander Nittka:
Beyond the Rational Explanation. Belief Change in Rational Agents 2005 - 2004
- [c6]Richard Booth, Samir Chopra, Thomas Andreas Meyer, Aditya Ghose:
A Unifying Semantics for Belief Change. ECAI 2004: 793-797 - [c5]Richard Booth, Samir Chopra, Thomas Andreas Meyer, Aditya Ghose:
A unifying semantics for belief change. NMR 2004: 72-78 - 2003
- [c4]Richard Booth, Samir Chopra, Aditya Ghose, Thomas Andreas Meyer:
Belief liberation (and retraction). TARK 2003: 159-172 - [c3]Richard Booth, Eva Richter:
On revising fuzzy belief bases. UAI 2003: 81-88 - 2002
- [c2]Richard Booth:
Social Contraction and Belief Negotiation. KR 2002: 375-386 - [c1]Richard Booth:
On the Logic of Iterated Non-prioritised Revision. WCII 2002: 86-107 - 2001
- [j1]Richard Booth:
The lexicographic closure as a revision process. J. Appl. Non Class. Logics 11(1-2): 35-58 (2001) - 2000
- [i1]Richard Booth:
The lexicographic closure as a revision process. CoRR cs.AI/0003017 (2000)
Coauthor Index
aka: Ivan José Varzinczak
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from , , and to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-12-11 20:43 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint