Finding maximally satisfiable terminologies for the description logic ALC T Meyer, K Lee, R Booth, JZ Pan PROCEEDINGS OF THE NATIONAL CONFERENCE ON ARTIFICIAL INTELLIGENCE 21 (1), 269, 2006 | 137 | 2006 |
Knowledge integration for description logics T Meyer, K Lee, R Booth PROCEEDINGS OF THE NATIONAL CONFERENCE ON ARTIFICIAL INTELLIGENCE 20 (2), 645, 2005 | 126 | 2005 |
Admissible and restrained revision R Booth, T Meyer Journal of Artificial Intelligence Research 26 (1), 127-151, 2006 | 124 | 2006 |
Learning conditionally lexicographic preference relations R Booth, Y Chevaleyre, J Lang, J Mengin, C Sombattheera Proceeding of the 2010 conference on ECAI 2010: 19th European Conference on …, 2010 | 109 | 2010 |
A logical theory about dynamics in abstract argumentation R Booth, S Kaci, T Rienstra, L van Der Torre Scalable Uncertainty Management: 7th International Conference, SUM 2013 …, 2013 | 73 | 2013 |
A note on the rational closure of knowledge bases with both positive and negative knowledge R Booth, JB Paris Journal of Logic, Language and Information 7 (2), 165-190, 1998 | 69 | 1998 |
A negotiation-style framework for non-prioritised revision R Booth Proceedings of the 8th conference on Theoretical aspects of rationality and …, 2001 | 63 | 2001 |
Social contraction and belief negotiation R Booth Information Fusion 7 (1), 19-34, 2006 | 55 | 2006 |
Next steps in propositional Horn contraction R Booth, T Meyer, IJ Varzinczak Proc. IJCAI, 702-707, 2009 | 54 | 2009 |
Judgement aggregation in multi-agent argumentation E Awad, R Booth, F Tohmé, I Rahwan Journal of Logic and Computation 27 (1), 227-259, 2017 | 48 | 2017 |
On the entailment problem for a logic of typicality R Booth, G Casini, T Meyer, I Varzinczak Proceedings of the TwentyFourth International Joint Conference on Artificial …, 2015 | 47 | 2015 |
PTL: A propositional typicality logic R Booth, T Meyer, I Varzinczak Logics in Artificial Intelligence, 107-119, 2012 | 46 | 2012 |
Social contraction and belief negotiation R Booth PRINCIPLES OF KNOWLEDGE REPRESENTATION AND REASONING-INTERNATIONAL …, 2002 | 44 | 2002 |
Quantifying Disagreement in Argument-based Reasoning R Booth, M Caminada, M Podlaszewski, I Rahwan | 41 | 2012 |
On the link between partial meet, kernel, and infra contraction and its application to Horn logic R Booth, T Meyer, I Varzinczak, R Wassermann Journal of Artificial Intelligence Research 42 (1), 31-53, 2011 | 41 | 2011 |
A propositional typicality logic for extending rational consequence R Booth, T Meyer, I Varzinczak Trends in Belief Revision and Argumentation Dynamics 48, 123-154, 2013 | 36 | 2013 |
Credibility-Limited Revision Operators in Propositional Logic R Booth, E Fermé, S Konieczny, RP Pérez Thirteenth International Conference on the Principles of Knowledge …, 2012 | 34 | 2012 |
Trust as a Precursor to Belief Revision R Booth, A Hunter Journal of Artificial Intelligence Research 61, 699-722, 2018 | 28 | 2018 |
Abduction and dialogical proof in argumentation and logic programming R Booth, D Gabbay, S Kaci, T Rienstra, L Torre Proceedings of the Twenty-first European Conference on Artificial …, 2014 | 28 | 2014 |
How to revise a total preorder R Booth, T Meyer Journal of Philosophical Logic, 1-46, 2011 | 27 | 2011 |