Richard Booth 0001
42 publications
12 venues
H Index 17
Affiliation
Cardiff University, Computer Science & Informatics, UKUniversity of Luxembourg, Interdisciplinary Centre for Security, Reliability and Trust, Luxembourg
University of Leipzig, Department of Computer Science, Germany
Links
| Name | Venue | Year | citations |
|---|---|---|---|
An Analysis of the Role of Syntax in Inductive Inference.
|
KR | 2025 | 0 |
| Parallel Belief Revision via Order Aggregation.
|
IJCAI | 2025 | 1 |
| Parallel Belief Contraction via Order Aggregation.
|
IJCAI | 2025 | 1 |
| On the disjunctive rational closure of a conditional knowledge base.
|
Artificial Intelligence | 2025 | 0 |
| Truth-tracking with Non-expert Information Sources.
|
JAIR | 2024 | 2 |
| Balancing Open-Mindedness and Conservativeness in Quantitative Bipolar Argumentation (and How to Prove Semantical from Functional Properties).
|
KR | 2024 | 3 |
| Who's the Expert? On Multi-source Belief Change.
|
KR | 2022 | 6 |
| Towards an axiomatic approach to truth discovery.
|
Autonomous Agents and Multi-Agent Systems | 2022 | 8 |
| Rankings for Bipartite Tournaments via Chain Editing.
|
AAMAS | 2021 | 3 |
| Conditional Inference under Disjunctive Rationality.
|
AAAI | 2021 | 8 |
| Revision by Conditionals: From Hook to Arrow.
|
KR | 2020 | 7 |
| An Axiomatic Approach to Truth Discovery.
|
AAMAS | 2020 | 9 |
| On strengthening the logic of iterated belief revision: Proper ordinal interval operators.
|
Artificial Intelligence | 2020 | 0 |
| From iterated revision to iterated contraction: Extending the Harper Identity.
|
Artificial Intelligence | 2019 | 14 |
| On rational entailment for Propositional Typicality Logic.
|
Artificial Intelligence | 2019 | 0 |
| On Strengthening the Logic of Iterated Belief Revision: Proper Ordinal Interval Operators.
|
KR | 2018 | 14 |
| Trust as a Precursor to Belief Revision.
|
JAIR | 2018 | 25 |
| Extending the Harper Identity to Iterated Belief Change.
|
IJCAI | 2016 | 13 |
| On the Entailment Problem for a Logic of Typicality.
|
IJCAI | 2015 | 30 |
| Trust-Sensitive Belief Revision.
|
IJCAI | 2015 | 12 |
| Interval Methods for Judgment Aggregation in Argumentation.
|
KR | 2014 | 23 |
| Abduction and Dialogical Proof in Argumentation and Logic Programming.
|
ECAI | 2014 | 25 |
| Credibility-Limited Improvement Operators.
|
ECAI | 2014 | 17 |
| Property-Based Preferences in Abstract Argumentation.
|
ADT | 2013 | 6 |
| Quantifying disagreement in argument-based reasoning.
|
AAMAS | 2012 | 32 |
| Credibility-Limited Revision Operators in Propositional Logic.
|
KR | 2012 | 31 |
| PTL: A Propositional Typicality Logic.
|
JELIA | 2012 | 35 |
| On the Link between Partial Meet, Kernel, and Infra Contraction and its Application to Horn Logic.
|
JAIR | 2011 | 38 |
| Horn Belief Change: A Contraction Core.
|
ECAI | 2010 | 8 |
| Learning conditionally lexicographic preference relations.
|
ECAI | 2010 | 85 |
| Double preference relations for generalised belief change.
|
Artificial Intelligence | 2010 | 6 |
| Next Steps in Propositional Horn Contraction.
|
IJCAI | 2009 | 103 |
| Equilibria in Social Belief Removal.
|
KR | 2008 | 8 |
| A Bad Day Surfing Is Better than a Good Day Working: How to Revise a Total Preorder.
|
KR | 2006 | 24 |
| Admissible and Restrained Revision.
|
JAIR | 2006 | 111 |
| Finding Maximally Satisfiable Terminologies for the Description Logic ALC.
|
AAAI | 2006 | 118 |
| Reconstructing an Agent's Epistemic State from Observations.
|
IJCAI | 2005 | 31 |
| Knowledge Integration for Description Logics.
|
AAAI | 2005 | 107 |
| A Unifying Semantics for Belief Change.
|
ECAI | 2004 | 12 |
| Belief liberation (and retraction).
|
TARK | 2003 | 20 |
| On revising fuzzy belief bases.
|
UAI | 2003 | 0 |
| Social Contraction and Belief Negotiation.
|
KR | 2002 | 75 |