Cardiff University | Prifysgol Caerdydd ORCA
Online Research @ Cardiff 
WelshClear Cookie - decide language by browser settings

Browse by All Cardiff Authors

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Number of items: 20.

Booth, Richard and Chandler, Jake 2020. On strengthening the logic of iterated belief revision: proper ordinal interval operators. Artificial Intelligence 285 , 103289. 10.1016/j.artint.2020.103289
Item availability restricted.
file

Chandler, Jake and Booth, Richard 2020. Revision by conditionals: from hook to arrow. Presented at: 17th International Conference on Principles of Knowledge Representation and Reasoning (KR 2020), Rhodes, Greece, 12-18 September 2020.
file

Singleton, Joseph and Booth, Richard 2020. An axiomatic approach to truth discovery. Presented at: Nineteenth International Conference on Autonomous Agents and Multi-Agent Systems, Auckland, New Zealand, 9-13 Mar 2020. -.
file

Booth, Richard, Casini, Giovanni, Meyer, Thomas and Varzinczak, Ivan 2019. On rational entailment for propositional typicality logic. Artificial Intelligence 277 , 103178. 10.1016/j.artint.2019.103178
Item availability restricted.
file

Booth, Richard and Chandler, Jake 2019. From iterated revision to iterated contraction: Extending the Harper Identity. Artificial Intelligence 277 , 103171. 10.1016/j.artint.2019.103171
Item availability restricted.
file

Chandler, Jake and Booth, Richard 2019. Elementary iterated revision and the Levi Identity. Presented at: International Conference on Logic, Rationality and Interaction (LORI), Chongqing, China, October 18-21, 2019. -.
file

Booth, Richard and Chandler, Jake 2018. On strengthening the logic of iterated belief revision: Proper ordinal interval operators. Presented at: 16th International Conference on Principles of Knowledge Representation and Reasoning, Tempe, AZ, USA, 27 October - 2 November 2018.
file

Booth, Richard and Hunter, Aaron 2018. Trust as a precursor to belief revision. Journal of Artificial Intelligence Research 61 , pp. 699-722. 10.1613/jair.5521
file

Booth, Richard and Jake, Chandler 2017. The irreducibility of iterated to single revision. Journal of Philosophical Logic 46 , pp. 405-418. 10.1007/s10992-016-9404-z
file

Awad, Edmond, Booth, Richard, Tohmé, Fernando and Rahwan, Iyad 2017. Judgement aggregation in multi-agent argumentation. Journal of Logic and Computation 27 (1) , pp. 227-259. 10.1093/logcom/exv055

Booth, Richard and Chandler, Jake 2016. Extending the Harper identity to iterated belief change. Presented at: 25th International Joint Conference on Artificial Intelligence, New York, USA, 9-15 July 2016. Published in: Brewka, Gerard ed. IJCAI'16: Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence. Association for Computing Machinery, pp. 987-993.
file

Caminada, Martin and Booth, Richard 2016. A dialectical approach for argument-based judgment aggregation. Presented at: 6th International Conference on Computational Models of Argument (COMMA 2016), Potsdam, Germany, 13-16 September 2016. Published in: Baroni, Pietro, Gordon, Thomas F., Scheffler, Tatjana and Stede, Manfred eds. Computational Models of Argument. Frontiers in Artificial Intelligence and Applications IOS Press, pp. 179-190. 10.3233/978-1-61499-686-6-179
file

Hunter, Aaron and Booth, Richard 2015. Trust-sensitive belief revision. Presented at: 24th International Joint Conference on Artificial Intelligence, Buenos Aires, Argentina, 25-31 July 2015. Published in: Yang, Quiang and Wooldridge, Michael eds. IJCAI'15: Proceedings of the 24th International Conference on Artificial Intelligence. ACM, pp. 3062-3068.
file

Booth, Richard, Casini, Giovanni, Meyer, Thomas and Varzinczak, Ivan 2015. On the entailment problem for a logic of typicality. Presented at: 24th International Joint Conference on Artificial Intelligence, Buenos Aires, Argentina, 25-31 July 2015.
file

Booth, Richard 2015. Judgment aggregation in abstract dialectical frameworks. In: Thomas, Eiter, Hannes, Strass, Miroslaw, Truszczynski and Stefan, Woltran eds. Advance in Knowledge Representation, Logic Programming and Abstract Argumentation, Lecture Notes in Artificial Intelligence, Springer, pp. 296-308. (10.1007/978-3-319-14726-0)
file

Booth, Richard, Caminada, Martin, Paul, Dunne, Mikolaj, Podlaszewski and Iyad, Rahwan 2014. Complexity properties of critical sets of arguments. Presented at: 6th International Conference on Computational Models of Argument, Pitlochry, UK, 9-12 September 2014.
file

Booth, Richard, Gabbay, Dov, Kaci, S., Rienstra, Tjitze and Van der Torre, Leon 2014. Abduction and dialogical proof in argumentation and logic programming. Presented at: 21st European Conference on Artificial Intelligence, Prague, Czech Republic, 18-22 August 2014. Proceedings of the 15th International Workshop on Non-Monotonic Reasoning (NMR 2014). pp. 117-122.
file

Booth, Richard, Ferme, Eduardo, Konieczny, Sebastien and Pino Perez, Ramon 2014. Credibility-limited improvement operators. Presented at: 21st European Conference on Artificial Intelligence, Prague, Czech Republic, 18-22 August 2014. Frontiers in Artificial Intelligence and Applications: Volume 263: ECAI 2014. IOS Press, pp. 123-128. 10.3233/978-1-61499-419-0-123
file

Booth, Richard, Awad, Edmond and Rahwan, Iyad 2014. Interval methods for judgment aggregation in argumentation. Presented at: 14th International Conference on Principles of Knowledge Representation and Reasoning, Vienna, Austria, 20-24 July 2014.
file

Booth, Richard and Mikolaj, Podlaszewski 2014. Using distances for aggregation in abstract argumentation. Presented at: 26th Benelux Conference on Artificial Intelligence, Nijmegen, Netherlands, 6-7 November 2014.
file

This list was generated on Mon Jul 6 06:28:33 2020 BST.