Richard Booth

Orcid: 0000-0002-6647-6381

Affiliations:
  • Cardiff University, Computer Science & Informatics, UK
  • University of Luxembourg, Interdisciplinary Centre for Security, Reliability and Trust, Luxembourg (former)
  • University of Leipzig, Department of Computer Science, Germany (former)


According to our database1, Richard Booth authored at least 62 papers between 2001 and 2023.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2023
Elementary Belief Revision Operators.
J. Philos. Log., February, 2023

A Contribution to the Defense of Liquid Democracy.
Proceedings of the 24th Annual International Conference on Digital Government Research, 2023

Joint Trust for Belief Revision.
Proceedings of the 36th Canadian Conference on Artificial Intelligence, 2023

2022
Towards an axiomatic approach to truth discovery.
Auton. Agents Multi Agent Syst., 2022

Truth-Tracking with Non-Expert Information Sources.
Proceedings of the 20th International Workshop on Non-Monotonic Reasoning, 2022

Who's the Expert? On Multi-source Belief Change.
Proceedings of the 19th International Conference on Principles of Knowledge Representation and Reasoning, 2022

2021
Rankings for Bipartite Tournaments via Chain Editing.
Proceedings of the AAMAS '21: 20th International Conference on Autonomous Agents and Multiagent Systems, 2021

Conditional Inference under Disjunctive Rationality.
Proceedings of the Thirty-Fifth AAAI Conference on Artificial Intelligence, 2021

2020
On strengthening the logic of iterated belief revision: Proper ordinal interval operators.
Artif. Intell., 2020

Revision by Conditionals: From Hook to Arrow.
Proceedings of the 17th International Conference on Principles of Knowledge Representation and Reasoning, 2020

An Axiomatic Approach to Truth Discovery.
Proceedings of the 19th International Conference on Autonomous Agents and Multiagent Systems, 2020

2019
Editorial: Defeasible and Ampliative Reasoning.
Int. J. Approx. Reason., 2019

Preface.
Argument Comput., 2019

On rational entailment for Propositional Typicality Logic.
Artif. Intell., 2019

From iterated revision to iterated contraction: Extending the Harper Identity.
Artif. Intell., 2019

Elementary Iterated Revision and the Levi Identity.
Proceedings of the Logic, Rationality, and Interaction - 7th International Workshop, 2019

2018
Trust as a Precursor to Belief Revision.
J. Artif. Intell. Res., 2018

DISCO: A Web-Based Implementation of Discussion Games for Grounded and Preferred Semantics.
Proceedings of the Computational Models of Argument, 2018

2017
Judgement aggregation in multi-agent argumentation.
J. Log. Comput., 2017

The Irreducibility of Iterated to Single Revision.
J. Philos. Log., 2017

2016
Extending the Harper Identity to Iterated Belief Change.
Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence, 2016

A Dialectical Approach for Argument-Based Judgment Aggregation.
Proceedings of the Computational Models of Argument, 2016

2015
Trust-Sensitive Belief Revision.
Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, 2015

On the Entailment Problem for a Logic of Typicality.
Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, 2015

Judgment Aggregation in Abstract Dialectical Frameworks.
Proceedings of the Advances in Knowledge Representation, Logic Programming, and Abstract Argumentation, 2015

What Does Entailment for PTL Mean?
Proceedings of the 2015 AAAI Spring Symposia, 2015

2014
Judgment Aggregation in Multi-Agent Argumentation.
CoRR, 2014

Interval Methods for Judgment Aggregation in Argumentation.
Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Fourteenth International Conference, 2014

Abduction and Dialogical Proof in Argumentation and Logic Programming.
Proceedings of the ECAI 2014 - 21st European Conference on Artificial Intelligence, 18-22 August 2014, Prague, Czech Republic, 2014

Credibility-Limited Improvement Operators.
Proceedings of the ECAI 2014 - 21st European Conference on Artificial Intelligence, 18-22 August 2014, Prague, Czech Republic, 2014

Complexity Properties of Critical Sets of Arguments.
Proceedings of the Computational Models of Argument, 2014

2013
A Logical Theory about Dynamics in Abstract Argumentation.
Proceedings of the Scalable Uncertainty Management - 7th International Conference, 2013

Monotonic and Nonmonotonic Inference for Abstract Argumentation.
Proceedings of the Twenty-Sixth International Florida Artificial Intelligence Research Society Conference, 2013

Property-Based Preferences in Abstract Argumentation.
Proceedings of the Algorithmic Decision Theory - Third International Conference, 2013

2012
A General Family of Preferential Belief Removal Operators.
J. Philos. Log., 2012

Credibility-Limited Revision Operators in Propositional Logic.
Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Thirteenth International Conference, 2012

PTL: A Propositional Typicality Logic.
Proceedings of the Logics in Artificial Intelligence - 13th European Conference, 2012

Conditional Acceptance Functions.
Proceedings of the Computational Models of Argument, 2012

Quantifying disagreement in argument-based reasoning.
Proceedings of the International Conference on Autonomous Agents and Multiagent Systems, 2012

2011
How to Revise a Total Preorder.
J. Philos. Log., 2011

On the Link between Partial Meet, Kernel, and Infra Contraction and its Application to Horn Logic.
J. Artif. Intell. Res., 2011

2010
Equilibria in social belief removal.
Synth., 2010

Double preference relations for generalised belief change.
Artif. Intell., 2010

Horn Belief Change: A Contraction Core.
Proceedings of the ECAI 2010, 2010

Learning conditionally lexicographic preference relations.
Proceedings of the ECAI 2010, 2010

2009
Next Steps in Propositional Horn Contraction.
Proceedings of the IJCAI 2009, 2009

2008
Reconstructing an Agent's Epistemic State from Observations about its Beliefs and Non-beliefs.
J. Log. Comput., 2008

2007
On the Dynamics of Total Preorders: Revising Abstract Interval Orders.
Proceedings of the Symbolic and Quantitative Approaches to Reasoning with Uncertainty, 2007

A Method for Reasoning about other Agents' Beliefs from Observations.
Proceedings of the Formal Models of Belief Change in Rational Agents, 26.08. - 30.08.2007, 2007

2006
Admissible and Restrained Revision.
J. Artif. Intell. Res., 2006

Social contraction and belief negotiation.
Inf. Fusion, 2006

A Bad Day Surfing Is Better than a Good Day Working: How to Revise a Total Preorder.
Proceedings of the Proceedings, 2006

Computing Maximally Satisfiable Terminologies for the Description Logic <i>ALC</i> with Cyclic Definitions.
Proceedings of the 2006 International Workshop on Description Logics (DL2006), Windermere, Lake District, UK, May 30, 2006

Finding Maximally Satisfiable Terminologies for the Description Logic ALC.
Proceedings of the Proceedings, 2006

2005
On Revising Fuzzy Belief Bases.
Stud Logica, 2005

Belief Liberation (and Retraction).
Stud Logica, 2005

Reconstructing an Agent's Epistemic State from Observations.
Proceedings of the IJCAI-05, Proceedings of the Nineteenth International Joint Conference on Artificial Intelligence, Edinburgh, Scotland, UK, July 30, 2005

Beyond the Rational Explanation.
Proceedings of the Belief Change in Rational Agents: Perspectives from Artificial Intelligence, 2005

Knowledge Integration for Description Logics.
Proceedings of the Proceedings, 2005

2004
A unifying semantics for belief change.
Proceedings of the 10th International Workshop on Non-Monotonic Reasoning (NMR 2004), 2004

2002
On the Logic of Iterated Non-prioritised Revision.
Proceedings of the Conditionals, Information, and Inference, International Workshop, 2002

2001
The lexicographic closure as a revision process.
J. Appl. Non Class. Logics, 2001


  Loading...