Papers

Home    Biography    Research Interests    Papers

 

Journal papers

 

  1. 1.Richard Booth, Thomas Meyer and Chattrakul Sombattheera, “A general family of preferential belief removal operators”, Journal of Philosophical Logic, Vol. 41(4), pp 711-733, 2012 (extended version of [23] below).

  2. 2.Richard Booth, Thomas Meyer, Ivan José Varzinczak and Renata Wassermann, “On the link between partial meet, kernel, and infra contraction and its application to Horn logic”, Journal of Artificial Intelligence Research, Vol. 42, pp 31-53, 2011 (combined and extended version of [24,38,39]).

  3. 3.Richard Booth and Thomas Meyer, “How to revise a total preorder”, Journal of Philosophical Logic, Vol. 40(2), pp 193-238, 2011 (combined and extended version of  [26,28]).

  4. 4.Richard Booth and Thomas Meyer, “Belief change”, Journal of Indian Council of Philosophical Research, Vol. XXVII (1), pp 379-412, 2010 (for a slightly extended version see [46] ).

  5. 5.Richard Booth and Thomas Meyer, “Equilibria in social belief removal”, Synthese, Vol. 177, pp 97-123, 2010 (extended version of [25].)

  6. 6.Richard Booth, Samir Chopra, Thomas Meyer and Aditya Ghose, “Double preference relations for generalised belief change”, Artificial Intelligence, Vol. 174(16-17), pp 1339-1368, 2010 (extended version of [31].)

  7. 7.Richard Booth and Alexander Nittka, “Reconstructing an agent’s epistemic state from obervations about its beliefs and non-beliefs”, Journal of Logic and Computation, Vol. 18(5), pp 755-782, 2008 (extended version of [29] below.)

  8. 8.Richard Booth and Thomas Meyer, “Admissible and restrained revision”, Journal of Artificial Intelligence Research, Vol. 26, pp 127-151, 2006 (extended version of [44].)

  9. 9.Richard Booth, “Social contraction and belief negotiation”, Information Fusion, Vol. 7(1), pp 19-34, 2006. (extended version of [34].)

  10. 10.Richard Booth and Eva Richter, “On revising fuzzy belief bases”, Studia Logica, Vol. 80(1), pp 29-61, 2005 (extended version of [32].)

  11. 11.Richard Booth, Samir Chopra, Aditya Ghose and Thomas Meyer, “Belief liberation (and retraction)”, Studia Logica, Vol. 79(1), pp 47-72, 2005 (extended version of  [33].)

  12. 12.Richard Booth, “The lexicographic closure as a revision process”, Journal of Applied Non-Classical Logics, Vol. 11(1), pp 35-58, 2001 (extended version of a paper  presented at the 8th International Workshop on Non-monotonic Reasoning, (NMR 2000), 2000).

  13. 13.Richard Booth and Jeff Paris, “A note on the rational closure of knowledge bases with both positive and negative knowledge”, Journal of Logic, Language and Information, Vol. 7(2), pp 165-190, 1998.



International Conference papers

 

  1. 14.Richard Booth, Edmond Awad and Iyad Rahwan, “Interval methods for judgment aggregation in argumentation”, in Proceedings of the 14th International Conference on Principles of Knowledge Representation and Reasoning (KR 2014) (short paper), 2014

  2. 15.Richard Booth, Souhila Kaci and Tjitze Rienstra, “Property-based preferences in abstract argumentation”, in Proceedings of the 3rd International Conference on Algorithmic Decision Theory (ADT 2013), pp 86-100, 2013.

  3. 16.Richard Booth, Souhila Kaci, Tjitze Rienstra and Leon van der Torre, “A logical theory about dynamics in abstract argumentation”, in Proceedings of the 7th International Conference on Scalable Uncertainty Management (SUM 2013), pp 148-161, 2013 (also presented at the 2nd International Workshop on Theory and Applications of Formal Argumentation (TAFA 2013) and the 25th Benelux Conference on Artificial Intelligence (BNAIC 2013)).

  4. 17.Richard Booth, Souhila Kaci, Tjitze Rienstra and Leon van der Torre, “Monotonic and non-monotonic inference for abstract argumentation”, in Proceedings of the 26th International Florida Artificial Intelligence Research Society Conference (FLAIRS 2013), pp 597-603, 2013.

  5. 18.Richard Booth, Thomas Meyer and Ivan José Varzinczak, “PTL: A propositional typicality logic”, in Proceedings of the 13th European Conference on Logics in Artificial Intelligence (JELIA 2012), pp 107-119, 2012.

  6. 19.Richard Booth, Souhila Kaci, Tjitze Rienstra and Leon van der Torre, “Conditional acceptance functions”, in Proceedings of the 4th International Conference on Computational Models of Argument (COMMA 2012), pp 470-477, 2012.

  7. 20.Richard Booth, Eduardo Fermé, Sébastien Konieczny and Ramon Pino Pérez, “Credibility-limited revision operators in propositional logic”, in Proceedings of the 13th International Conference on Principles of Knowledge Representation and Reasoning (KR 2012), pp 116-125, 2012 (also presented at the 24th Benelux Conference on Artificial Intelligence (BNAIC 2012), 2012).

  8. 21.Richard Booth, Martin Caminada, Mikolaj Podlaszewski and Iyad Rahwan, “Quantifying disagreement in argument-based reasoning”, in Proceedings of the 11th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2012), pp 493-500, 2012 (updated version of a paper presented at the 1st International Workshop on the Theory and Applications of Formal Argumentation (TAFA 2011), 2011).

  9. 22.Richard Booth, Yann Chevaleyre, Jérôme Lang, Jérôme Mengin and Chattrakul Sombattheera, “Learning conditionally lexicographic preferences”, in Proceedings of the 19th European Conference on Artificial Intelligence (ECAI 2010), pp 269-274, 2010 (also presented at the 23rd Benelux Conference on Artificial Intelligence (BNAIC 2011), 2011).

  10. 23.Richard Booth, Thomas Meyer and Chattrakul Sombattheera, "A general family of preferential belief removal operators", in Proceedings of the 2nd International Workshop on Logic, Rationality and Interaction (LORI 2009), pp 42-54, 2009 (also presented at the 8th Workshop on Nonmonotonic Reasoning, Action and Change (NRAC 2009), 2009).

  11. 24.Richard Booth, Thomas Meyer and Ivan José Varzinczak, "Next steps in propositional Horn contraction", in Proceedings of the 21st International  Joint Conference on Artificial Intelligence (IJCAI 2009), pp 702-707, 2009 (also presented at the 9th International Symposium on Logical Formalizations  of Commonsense Reasoning (Commonsense 2009), 2009).

  12. 25.Richard Booth and Thomas Meyer, “Equilibria in social belief removal”, in Proceedings of the 11th International Conference on Principles of Knowledge Representation and Reasoning (KR 2008), pp 145-155, 2008 (also presented at the 2nd International Workshop on Computational Social Choice (COMSOC 2008), 2008).

  13. 26.Richard Booth and Thomas Meyer, “On the dynamics of total preorders: Revising abstract interval orders”, in Proceedings of the 9th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty (ECSQARU 2007), pp 42-53, 2007 (slightly updated version of a paper “On iterated revision.of total preorders – Preliminary results” presented at the 7th Workshop on Nonmonotonic Reasoning, Action and Change (NRAC 2007))

  14. 27.Thomas Meyer, Kevin Lee, Richard Booth and Jeff Pan, “Finding maximally satisfiable terminologies for the description logic ALC ”, in Proceedings of the 21st National Conference on Artificial Intelligence (AAAI 2006), pp 269-274, 2006.

  15. 28.Richard Booth, Thomas Meyer and Ka-Shu Wong, “A bad day surfing is better than a good day working: How to revise a total preorder”, in Proceedings of the 10th International Conference on Principles of Knowledge Representation and Reasoning (KR 2006), pp 230-238, 2006.

  16. 29.Richard Booth and Alexander Nittka, “Reconstructing an agent’s epistemic state from observations”, in Proceedings of the 19th International Joint Conference on Artificial Intelligence (IJCAI 2005), pp 394-399, 2005.

  17. 30.Thomas Meyer, Kevin Lee and Richard Booth, “Knowledge integration for description logics”, in Proceedings of the 20th National Conference on Artificial Intelligence (AAAI 2005), pp 645-650, 2005 (also presented at the 7th International Symposium on Logical Formalizations of Commonsense Reasoning, 2005).

  18. 31.Richard Booth, Samir Chopra, Thomas Meyer and Aditya Ghose, “A unifying semantics for belief change”, in Proceedings of the 16th European Conference on Artificial Intelligence (ECAI 2004), pp 793-797, 2004. (Also presented at the 10th International Workshop on Non-monotonic Reasoning (NMR 2004), 2004).

  19. 32.Richard Booth and Eva Richter, “On revising fuzzy belief bases”, in Proceedings of the 19th Conference on Uncertainty in Artificial Intelligence (UAI 2003), pp 81-88 2003.

  20. 33.Richard Booth, Samir Chopra, Aditya Ghose and Thomas Meyer, “Belief liberation (and retraction)”, in Proceedings of the 9th Conference on Theoretical Aspects of Rationality and Knowledge (TARK 2003), pp 159-172, 2003 (also presented at the 5th Workshop on Nonmonotonic Reasoning, Action and Change (NRAC 2003), 2003).

  21. 34.Richard Booth, “Social contraction and belief negotiation”, in Proceedings of the 8th Conference on Principles of Knowledge Representation and Reasoning (KR 2002), pp 375-384, 2002 (also presented at the Australian Knowledge Representation Conventicle, Sydney, Jan. 2002).

  22. 35.Richard Booth, “A negotiation-style framework for non-prioritised revision”, in Proceedings of the 8th Conference on Theoretical Aspects of Rationality and Knowledge (TARK 2001), pp 137-150, 2001 (also presented at the 5th Dutch-German Workshop on Nonmonotonic Reasoning, 2001, and at the 5th International Symposium on Logical Formalizations of Commonsense Reasoning,  2001).

 

 

Thai National Conference Papers

 

  1. 36.Richard Booth and Wijittra Noisanguan, “An axiomatic approach to firewall rule update”, in Proceedings of the 6th International Joint Conference on Computer Science and Software Engineering (JCSSE 2009), pp 70-75, 2009.

  2. 37.Nawaphol Labutsri, Rapeeporn Chamchong, Richard Booth and Annupan Rodtook, “English syntactic reordering for English-Thai phrase-based statistical machine translation ”, in Proceedings of the 6th International Joint Conference on Computer Science and Software Engineering (JCSSE 2009), pp 360-366, 2009.

 

 

International Conference Poster Papers


  1. 38. Richard Booth, Thomas Meyer, Ivan José Varzinczak and Renata Wassermann, “A contraction core for Horn belief change: Preliminary report”, in Proceedings of the 19th European Conference on Artificial Intelligence (ECAI 2010), pp 1065-1066, 2010.



Workshop papers

 

  1. 39.Richard Booth, Thomas Meyer, Ivan José Varzinczak and Renata Wassermann, “Horn contraction: A contraction core”, in Proceedings of the 13th International Workshop on Non-monotonic Reasoning (NMR 2010), 2010.

  2. 40.Richard Booth, Yann Chevaleyre, Jérôme Lang, Jérôme Mengin and Chattrakul Sombattheera, "Learning various classes of models of lexicographic orderings", in Proceedings of the ECML/PKDD-09 Workshop on Preference Learning (PL 2009), 2009.

  3. 41.Richard Booth, Thomas Meyer and Ivan José Varzinczak, "First steps in EL contraction", in Proceedings of the Workshop on Automated Reasoning about Context and Ontology Evolution (ARCOE 2009), 2009.

  4. 42.Kevin Lee, Thomas Meyer, Jeff Pan and Richard Booth, “Computing maximally satisfiable terminologies for the description logic ALC with GCIs”, in Proceedings of the International Workshop on Description Logics (DL 2006), CEUR online proceedings Vol. 189, 2006.

  5. 43.Richard Booth, Souhila Kaci and Leon van der Torre, “Merging rules - Preliminary version”, in Proceedings of the 11th International Workshop on Non-Monotonic Reasoning (NMR 2006), 2006.

  6. 44.Richard Booth, Samir Chopra and Thomas Meyer, “Restrained revision”, in Proceedings of the 6th Workshop on Nonmonotonic Reasoning, Action and Change (NRAC 2005), 2005.

 

 

Collection papers

 

  1. 45.Richard Booth, Thomas Meyer and Ivan Varzinczak, “A propositional typicality logic for extending rational consequence”, in Trends in Belief Revision and Argumentation Dynamics, Studies in Logic, Vol. 48, College Publications, pp 123-150, 2013. (Extended version of [18] above.)

  2. 46.Richard Booth and Thomas Meyer, “Belief change”, in Logic and Philosophy Today, Vol. 1, Studies in Logic, Vol. 29, College Publications, pp 385-422, 2011. (Slightly extended version of [4] above.)

  3. 47.Alexander Nittka and Richard Booth, “A method for reasoning about other agents’ beliefs from observations”, in Logic and the Foundations of Game and Decision Theory (LOFT 7), Texts in Logic and Games, Vol. 3, Amsterdam University Press,  pp 153-182, 2008.

  4. 48.Richard Booth, “On the logic of iterated non-prioritised revision”, in Conditionals, Information and Inference – Selected Papers from the Workshop on Conditionals, Information and Inference, 2002, Lecture Notes in Artificial Intelligence Vol. 3301, pp 86-107, 2005.

 

 

Thesis

 

  1. 49.Richard Booth, “Pre-ents, ents and generalised rational consequence”, Phd Thesis, Dept. of Mathematics, Manchester University, 1998.



Unpublished


  1. 50.Richard Booth and Alexander Nittka, “Mind-reading for machines: Inferring and predicting a user’s beliefs”, paper accompanying an invited talk at the Mahasarakham University Research Conference, Thailand, 2006. (A less technical presentation of ideas contained in [7] above for a general computer science audience.)