The Knowledge Representation and Reasoning research group (KRR) at Cardiff University aims to develop novel methods for capturing, modelling and reasoning about knowledge encoded in symbolic or sub-symbolic forms. We also have a particular interest in research that crosses the boundaries of various AI fields, including Neuro-Symbolic reasoning, commonsense reasoning, and representation learning.
We offer expertise in: Ontology-enhanced Systems, Knowledge Graphs, Temporal and Probabilistic Reasoning, Neuro-symbolic Reasoning, Non-monotonic Reasoning, Belief change, Controlled Natural Language, Computational Social Choice.
News
-
02/08/2022:
Together with colleagues from University of Warsaw, our members Victor Gutierrez and Yazmin Ibanez got the Marco Cardoli Distinguished Student Prize at the KR 2022 and the FLoC2022🏆🏆
-
24/07/2022:
A Framework for Categorising AI Evaluation Instruments (joint with University of Leeds and Universitat Politècnica de València) has been presented to IJCAI2022 Workshop on AI Evaluation Beyond Metrics (EBeM’22)!!
-
10/05/2022:
Finite Entailment of UCRPQs over ALC Ontologies (joint with University of Warsaw) has been accepted to the 19th International Conference on Principles of Knowledge Representation and Reasoning, KR 2022!!
-
04/05/2022:
Who’s the Expert? On Multi-source Belief Change has been accepted to the 19th International Conference on Principles of Knowledge Representation and Reasoning, KR 2022!!
-
03/05/2022:
Type-aware Embeddings for Multi-Hop Reasoning over Knowledge Graphs(joint work with Shanxi University and the University of Edinburgh) has been accepted to IJCAI-ECAI 2022!!
-
28/03/2022:
LACE: A Logical Approach to Collective Entity Resolution(joint work with LaBRI, Université de Bordeaux) has been accepted to PODS 2022!!
-
22/02/2022:
Inferring prototypes for multi-label few-shot image classification with word vector guided attention. will be presented at the 36th AAAI Conference on Artificial Intelligence!!
Academic Staff
PhD Student
Aric Fowler
PhD Student (2022- )
