Dr Richard Booth
- Available for postgraduate supervision
Teams and roles for Richard Booth
Senior Lecturer
Overview
I am Senior Lecturer in the Cardiff School of Computer Science and Informatics Before that I was lecturer at Mahasarakham University, Thailand. I have previously been a post-doc in Germany, Australia and, most recently, Luxembourg.
Publication
2025
- Ariyani, N. et al. 2025. There’s no such thing as simple reasoning for LLMs. Presented at: The 63rd Annual Meeting of the Association for Computational Linguistics Vienna, Austria 27 July - 1 August 2025.
- Booth, R. and Varzinczak, I. 2025. On the disjunctive rational closure of a conditional knowledge base. Artificial Intelligence 348 104418. (10.1016/j.artint.2025.104418)
- Chandler, J. and Booth, R. 2025. Parallel belief contraction via order aggregation. Presented at: 34th International Joint Conference on Artificial Intelligence (IJCAI 2025) Montreal, Canada 16-22 August 2025. Published in: Kwok, J. ed. Proceedings of the Thirty-Fourth International Joint Conference on Artificial Intelligence. IJCAI. , pp.4427-4435. (10.24963/ijcai.2025/493)
- Chandler, J. and Booth, R. 2025. Parallel belief revision via order aggregation. Presented at: 34th International Joint Conference on Artificial Intelligence (IJCAI 2025) Montreal, Canada 16 - 22 August 2025. Published in: Kwok, J. ed. Proceedings of the Thirty-Fourth International Joint Conference on Artificial Intelligence. IJCAI. , pp.4419-4426. (10.24963/ijcai.2025/492)
- Heyninck, J. et al., 2025. An analysis of the role of syntax in inductive inference. Presented at: 22nd International Conference on Principles of Knowledge Representation and Reasoning Melbourne, Australia 11-17 November 2025. Published in: Ortiz, M. , Wassermann, R. and Schaub, T. eds. Proceedings of the 22nd International Conference on Principles of Knowledge Representation and Reasoning. International Joint Conferences on Artificial Intelligence Organization. , pp.396-406. (10.24963/kr.2025/39)
- Potyka, N. and Booth, R. 2025. An empirical study of quantitative bipolar argumentation frameworks for truth discovery. Presented at: 10th International Conference on Computational Models of Argument (COMMA 2024) Hagen, Germany 18-20 September 2024. Published in: Reed, C. , Thimm, M. and Rienstra, T. eds. Proceedings of COMMA 2024. Volume 388: Computational Models of Argument. Frontiers in Artificial Intelligence and Applications IOS Press. , pp.205-216. (10.3233/FAIA240322)
2024
- Ariyani, N. et al. 2024. Can language models learn embeddings of propositional logic assertions?. Presented at: The 2024 Joint International Conference on Computational Linguistics, Language Resources and Evaluation (LREC-COLING) Turin, Italy 20-25 May 2024. Published in: Calzolari, N. et al., Proceedings of Joint International Conference on Computational Linguistics, Language Resources and Evaluation. European Language Resources Association. , pp.2766-2776.
- Fowler, A. and Booth, R. 2024. The score reveal problem: How do we maximise entertainment?. Presented at: 25th International Conference on Principles and Practice of Multi-Agent Systems (PRIMA 2024) Kyoto, Japan 18-24 November 2024. Published in: Arisaka, R. et al., Principles and Practice of Multi-Agent Systems. Vol. 15395.Springer(10.1007/978-3-031-77367-9_33)
- Potyka, N. and Booth, R. 2024. Balancing open-mindedness and conservativeness in quantitative bipolar argumentation (and how to prove semantical from functional properties). Presented at: 21st International Conference on Principles of Knowledge Representation and Reasoning (KR 2024) Hanoi, Vietnam 2-8 November 2024. Published in: Marquis, P. , Ortiz, M. and Pagnucco, M. eds. Proceedings of the 21st International Conference on Principles of Knowledge Representation and Reasoning — Main Track. International Joint Conferences on Artificial Intelligence Organization. , pp.597-607. (10.24963/kr.2024/56)
- Singleton, J. and Booth, R. 2024. Truth-tracking with non-expert information sources. Journal of Artificial Intelligence Research 81 , pp.619-641. 10.1613/jair.1.15273. (10.1613/jair.1.15273)
2023
- Butterworth, G. and Booth, R. 2023. A contribution to the defense of liquid democracy. Presented at: 24th Annual International Conference on Digital Government Research (dg.o 2023) Gdansk, Poland 11-14 July 2023. Proceedings of 24th Annual International Conference on Digital Government Research. New York, NY, USA: ACM. , pp.244-250. (10.1145/3598469.3598496)
- Hunter, A. and Booth, R. 2023. Joint trust for belief revision. Presented at: 36th Canadian Conference on Artificial Intelligence Montreal, Canada 5-9 June 2023. The 36th Canadian Conference on Artificial Intelligence Proceedings. Canadian Artificial Intelligence Association. , pp.2023S1-2023S1. (10.21428/594757db.dfdfc644)
- Singleton, J. and Booth, R. 2023. Expertise and information: an epistemic logic perspective. Synthese 201 64. (10.1007/s11229-023-04064-y)
2022
- Chandler, J. and Booth, R. 2022. Elementary belief revision operators. Journal of Philosophical Logic (10.1007/s10992-022-09672-6)
- Singleton, J. and Booth, R. 2022. Towards an axiomatic approach to truth discovery. Autonomous Agents and Multi-Agent Systems 36 42. (10.1007/s10458-022-09569-3)
- Singleton, J. and Booth, R. 2022. Who’s the expert? On multi-source belief change. Presented at: 19th International Conference on Principles of Knowledge Representation and Reasoning (KR 2022) Haifa, Israel 31 July - 05 August 2022.
2021
- Booth, R. and Varzinczak, I. 2021. Conditional Inference under disjunctive rationality. Presented at: 35th AAAI Conference on Artificial Intelligence Virtual 2-9 February, 2021. Proceedings of the AAAI Conference on Artificial Intelligence. Vol. 35 (7).California, USA: AAAI Press. , pp.6227-6234. (10.1609/aaai.v35i7.16774)
- Singleton, J. and Booth, R. 2021. Rankings for bipartite tournaments via chain editing. Presented at: 20th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2021) Virtual 3-7 May 2021. Proceedings of the 20th International Conference on Autonomous Agents and MultiAgent Systems. International Foundation for Autonomous Agents and Multiagent Systems. , pp.1236-1244. (10.5555/3463952.3464095)
2020
- Booth, R. and Chandler, J. 2020. On strengthening the logic of iterated belief revision: proper ordinal interval operators. Artificial Intelligence 285 103289. (10.1016/j.artint.2020.103289)
- Chandler, J. and Booth, R. 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. Published in: Calvanese, D. , Erdem, E. and Theilscher, M. eds. Proceedings of the 17th International Conference on Principles of Knowledge Representation and Reasoning. IJCAI. , pp.232-241.
- Singleton, J. and Booth, R. 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. , pp.-. (10.5555/3398761.3399058)
2019
- Booth, R. et al. 2019. On rational entailment for Propositional Typicality Logic. Artificial Intelligence 277 103178. (10.1016/j.artint.2019.103178)
- Booth, R. and Chandler, J. 2019. From iterated revision to iterated contraction: extending the Harper Identity. Artificial Intelligence 277 103171. (10.1016/j.artint.2019.103171)
- Chandler, J. and Booth, R. 2019. Elementary iterated revision and the Levi Identity. Presented at: International Conference on Logic, Rationality and Interaction (LORI) Chongqing, China October 18-21, 2019. Published in: Blackburn, P. , Lorini, E. and Guo, M. eds. Logic, Rationality, and Interaction. Lecture Notes in Computer Science Berlin: Springer. , pp.15–28. (10.1007/978-3-662-60292-8_2)
2018
- Booth, R. and Cerutti, F. 2018. Preface. Argument and Computation 10 (1), pp.1-3. (10.3233/aac-181001)
- Booth, R. and Chandler, J. 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.
- Booth, R. and Hunter, A. 2018. Trust as a precursor to belief revision. Journal of Artificial Intelligence Research 61 , pp.699-722. (10.1613/jair.5521)
2017
- Awad, E. et al., 2017. Judgement aggregation in multi-agent argumentation. Journal of Logic and Computation 27 (1), pp.227-259. (10.1093/logcom/exv055)
- Booth, R. and Jake, C. 2017. The irreducibility of iterated to single revision. Journal of Philosophical Logic 46 , pp.405-418. (10.1007/s10992-016-9404-z)
2016
- Booth, R. and Chandler, J. 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, G. ed. IJCAI'16: Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence. Association for Computing Machinery. , pp.987-993.
- Caminada, M. and Booth, R. 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, P. et al., Computational Models of Argument. Vol. 287.Frontiers in Artificial Intelligence and Applications IOS Press. , pp.179-190. (10.3233/978-1-61499-686-6-179)
2015
- Booth, R. 2015. Judgment aggregation in abstract dialectical frameworks. In: Thomas, E. et al., 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)
- Booth, R. et al. 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.
- Hunter, A. and Booth, R. 2015. Trust-sensitive belief revision. Presented at: 24th International Joint Conference on Artificial Intelligence Buenos Aires, Argentina 25-31 July 2015. Published in: Yang, Q. and Wooldridge, M. eds. IJCAI'15: Proceedings of the 24th International Conference on Artificial Intelligence. ACM. , pp.3062-3068.
2014
- Booth, R. , Awad, E. and Rahwan, I. 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.
- Booth, R. et al. 2014. Complexity properties of critical sets of arguments. Presented at: 6th International Conference on Computational Models of Argument Pitlochry, UK 9-12 September 2014.
- Booth, R. et al. 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)
- Booth, R. et al. 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.
- Booth, R. and Mikolaj, P. 2014. Using distances for aggregation in abstract argumentation. Presented at: 26th Benelux Conference on Artificial Intelligence Nijmegen, Netherlands 6-7 November 2014.
Articles
- Awad, E. et al., 2017. Judgement aggregation in multi-agent argumentation. Journal of Logic and Computation 27 (1), pp.227-259. (10.1093/logcom/exv055)
- Booth, R. et al. 2019. On rational entailment for Propositional Typicality Logic. Artificial Intelligence 277 103178. (10.1016/j.artint.2019.103178)
- Booth, R. and Cerutti, F. 2018. Preface. Argument and Computation 10 (1), pp.1-3. (10.3233/aac-181001)
- Booth, R. and Chandler, J. 2019. From iterated revision to iterated contraction: extending the Harper Identity. Artificial Intelligence 277 103171. (10.1016/j.artint.2019.103171)
- Booth, R. and Chandler, J. 2020. On strengthening the logic of iterated belief revision: proper ordinal interval operators. Artificial Intelligence 285 103289. (10.1016/j.artint.2020.103289)
- Booth, R. and Hunter, A. 2018. Trust as a precursor to belief revision. Journal of Artificial Intelligence Research 61 , pp.699-722. (10.1613/jair.5521)
- Booth, R. and Jake, C. 2017. The irreducibility of iterated to single revision. Journal of Philosophical Logic 46 , pp.405-418. (10.1007/s10992-016-9404-z)
- Booth, R. and Varzinczak, I. 2025. On the disjunctive rational closure of a conditional knowledge base. Artificial Intelligence 348 104418. (10.1016/j.artint.2025.104418)
- Chandler, J. and Booth, R. 2022. Elementary belief revision operators. Journal of Philosophical Logic (10.1007/s10992-022-09672-6)
- Singleton, J. and Booth, R. 2023. Expertise and information: an epistemic logic perspective. Synthese 201 64. (10.1007/s11229-023-04064-y)
- Singleton, J. and Booth, R. 2022. Towards an axiomatic approach to truth discovery. Autonomous Agents and Multi-Agent Systems 36 42. (10.1007/s10458-022-09569-3)
- Singleton, J. and Booth, R. 2024. Truth-tracking with non-expert information sources. Journal of Artificial Intelligence Research 81 , pp.619-641. 10.1613/jair.1.15273. (10.1613/jair.1.15273)
Book sections
- Booth, R. 2015. Judgment aggregation in abstract dialectical frameworks. In: Thomas, E. et al., 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)
Conferences
- Ariyani, N. et al. 2024. Can language models learn embeddings of propositional logic assertions?. Presented at: The 2024 Joint International Conference on Computational Linguistics, Language Resources and Evaluation (LREC-COLING) Turin, Italy 20-25 May 2024. Published in: Calzolari, N. et al., Proceedings of Joint International Conference on Computational Linguistics, Language Resources and Evaluation. European Language Resources Association. , pp.2766-2776.
- Ariyani, N. et al. 2025. There’s no such thing as simple reasoning for LLMs. Presented at: The 63rd Annual Meeting of the Association for Computational Linguistics Vienna, Austria 27 July - 1 August 2025.
- Booth, R. , Awad, E. and Rahwan, I. 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.
- Booth, R. et al. 2014. Complexity properties of critical sets of arguments. Presented at: 6th International Conference on Computational Models of Argument Pitlochry, UK 9-12 September 2014.
- Booth, R. et al. 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.
- Booth, R. and Chandler, J. 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, G. ed. IJCAI'16: Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence. Association for Computing Machinery. , pp.987-993.
- Booth, R. and Chandler, J. 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.
- Booth, R. et al. 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)
- Booth, R. et al. 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.
- Booth, R. and Mikolaj, P. 2014. Using distances for aggregation in abstract argumentation. Presented at: 26th Benelux Conference on Artificial Intelligence Nijmegen, Netherlands 6-7 November 2014.
- Booth, R. and Varzinczak, I. 2021. Conditional Inference under disjunctive rationality. Presented at: 35th AAAI Conference on Artificial Intelligence Virtual 2-9 February, 2021. Proceedings of the AAAI Conference on Artificial Intelligence. Vol. 35 (7).California, USA: AAAI Press. , pp.6227-6234. (10.1609/aaai.v35i7.16774)
- Butterworth, G. and Booth, R. 2023. A contribution to the defense of liquid democracy. Presented at: 24th Annual International Conference on Digital Government Research (dg.o 2023) Gdansk, Poland 11-14 July 2023. Proceedings of 24th Annual International Conference on Digital Government Research. New York, NY, USA: ACM. , pp.244-250. (10.1145/3598469.3598496)
- Caminada, M. and Booth, R. 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, P. et al., Computational Models of Argument. Vol. 287.Frontiers in Artificial Intelligence and Applications IOS Press. , pp.179-190. (10.3233/978-1-61499-686-6-179)
- Chandler, J. and Booth, R. 2019. Elementary iterated revision and the Levi Identity. Presented at: International Conference on Logic, Rationality and Interaction (LORI) Chongqing, China October 18-21, 2019. Published in: Blackburn, P. , Lorini, E. and Guo, M. eds. Logic, Rationality, and Interaction. Lecture Notes in Computer Science Berlin: Springer. , pp.15–28. (10.1007/978-3-662-60292-8_2)
- Chandler, J. and Booth, R. 2025. Parallel belief contraction via order aggregation. Presented at: 34th International Joint Conference on Artificial Intelligence (IJCAI 2025) Montreal, Canada 16-22 August 2025. Published in: Kwok, J. ed. Proceedings of the Thirty-Fourth International Joint Conference on Artificial Intelligence. IJCAI. , pp.4427-4435. (10.24963/ijcai.2025/493)
- Chandler, J. and Booth, R. 2025. Parallel belief revision via order aggregation. Presented at: 34th International Joint Conference on Artificial Intelligence (IJCAI 2025) Montreal, Canada 16 - 22 August 2025. Published in: Kwok, J. ed. Proceedings of the Thirty-Fourth International Joint Conference on Artificial Intelligence. IJCAI. , pp.4419-4426. (10.24963/ijcai.2025/492)
- Chandler, J. and Booth, R. 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. Published in: Calvanese, D. , Erdem, E. and Theilscher, M. eds. Proceedings of the 17th International Conference on Principles of Knowledge Representation and Reasoning. IJCAI. , pp.232-241.
- Fowler, A. and Booth, R. 2024. The score reveal problem: How do we maximise entertainment?. Presented at: 25th International Conference on Principles and Practice of Multi-Agent Systems (PRIMA 2024) Kyoto, Japan 18-24 November 2024. Published in: Arisaka, R. et al., Principles and Practice of Multi-Agent Systems. Vol. 15395.Springer(10.1007/978-3-031-77367-9_33)
- Heyninck, J. et al., 2025. An analysis of the role of syntax in inductive inference. Presented at: 22nd International Conference on Principles of Knowledge Representation and Reasoning Melbourne, Australia 11-17 November 2025. Published in: Ortiz, M. , Wassermann, R. and Schaub, T. eds. Proceedings of the 22nd International Conference on Principles of Knowledge Representation and Reasoning. International Joint Conferences on Artificial Intelligence Organization. , pp.396-406. (10.24963/kr.2025/39)
- Hunter, A. and Booth, R. 2023. Joint trust for belief revision. Presented at: 36th Canadian Conference on Artificial Intelligence Montreal, Canada 5-9 June 2023. The 36th Canadian Conference on Artificial Intelligence Proceedings. Canadian Artificial Intelligence Association. , pp.2023S1-2023S1. (10.21428/594757db.dfdfc644)
- Hunter, A. and Booth, R. 2015. Trust-sensitive belief revision. Presented at: 24th International Joint Conference on Artificial Intelligence Buenos Aires, Argentina 25-31 July 2015. Published in: Yang, Q. and Wooldridge, M. eds. IJCAI'15: Proceedings of the 24th International Conference on Artificial Intelligence. ACM. , pp.3062-3068.
- Potyka, N. and Booth, R. 2025. An empirical study of quantitative bipolar argumentation frameworks for truth discovery. Presented at: 10th International Conference on Computational Models of Argument (COMMA 2024) Hagen, Germany 18-20 September 2024. Published in: Reed, C. , Thimm, M. and Rienstra, T. eds. Proceedings of COMMA 2024. Volume 388: Computational Models of Argument. Frontiers in Artificial Intelligence and Applications IOS Press. , pp.205-216. (10.3233/FAIA240322)
- Potyka, N. and Booth, R. 2024. Balancing open-mindedness and conservativeness in quantitative bipolar argumentation (and how to prove semantical from functional properties). Presented at: 21st International Conference on Principles of Knowledge Representation and Reasoning (KR 2024) Hanoi, Vietnam 2-8 November 2024. Published in: Marquis, P. , Ortiz, M. and Pagnucco, M. eds. Proceedings of the 21st International Conference on Principles of Knowledge Representation and Reasoning — Main Track. International Joint Conferences on Artificial Intelligence Organization. , pp.597-607. (10.24963/kr.2024/56)
- Singleton, J. and Booth, R. 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. , pp.-. (10.5555/3398761.3399058)
- Singleton, J. and Booth, R. 2021. Rankings for bipartite tournaments via chain editing. Presented at: 20th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2021) Virtual 3-7 May 2021. Proceedings of the 20th International Conference on Autonomous Agents and MultiAgent Systems. International Foundation for Autonomous Agents and Multiagent Systems. , pp.1236-1244. (10.5555/3463952.3464095)
- Singleton, J. and Booth, R. 2022. Who’s the expert? On multi-source belief change. Presented at: 19th International Conference on Principles of Knowledge Representation and Reasoning (KR 2022) Haifa, Israel 31 July - 05 August 2022.
Research
Research interests: logical approaches to artificial intelligence and knowledge representation, specifically belief revision/merging, argumentation theory and computational social choice.
Teaching
- Introduction to the Theory of Computation (2nd year undergrad)
- Combinatorial Optimisation (3rd year undergrad)
- Knowledge Representation (Masters)
Biography
- October 2015 - present: (Senior) Lecturer at Cardiff University
- July-Sept. 2015: Lecturer at Mahasarakham University, Thailand
- 2009-2014: Postdoc at University of Luxembourg
- 2006-2009: Lecturer at Mahasarakham University, Thailand
- 2005: Postdoc at Macquarie University, Sydney, Australia
- 2004-2005: Postdoc at University of Wollongong, Australia
- 2000-2004: Postdoc at University of Leipzig, Germany
- 1999: Postdoc at Max Planck Institute for Computer Science, Saarbrücken, Germany
- 1995-1998: PhD student, Dept. of Mathematics (supervisor: Jeff Paris), University of Manchester, UK
Supervisions
I am interested in supervising PhD students in the areas of:
- Artificial intelligence
- Knowledge representation
- Computational social choice theory
- Reasoning about preferences
See here for a couple of more specific ideas for PhD topics.
Current supervision
Past projects
- Joseph Singleton (2019-2022), Trustworthiness and Expertise: Social Choice and Logic-based Perspectives
Contact Details
[email protected]
+44 29208 74749
Abacws, Room Abacws/5.58, Senghennydd Road, Cathays, Cardiff, CF24 4AG
+44 29208 74749
Abacws, Room Abacws/5.58, Senghennydd Road, Cathays, Cardiff, CF24 4AG
Research themes
Specialisms
- Artificial intelligence
- Knowledge representation and reasoning