Knowledge representation and reasoning
The field of knowledge representation and reasoning is concerned with systems for automated reasoning in the context of artificial intelligence.
Our focus in particular is on:
- defeasible and inductive reasoning
- qualitative spatial reasoning
- epistemic reasoning
- knowledge acquisition.
Priority area leader
|Plausible reasoning with ontologies||Dr S Schockaert||European Commission/Welsh Government||159.42|
|Informing better migration and refugee policy-making in the presence of rumours and unsubstantiated claims||Dr F Cerutti, Prof A Preece, Prof M Innes, Miss D Dobreva||EPSRC||21.36|
|Formal lexically informed logics for searching the web - FLEXILOG||Dr S Schockaert||European Commission (Horizon 2020)||1117.63|
|Approximating markov logic theories in possibilistic logic||Dr S. Schockaert||The Leverhulme Trust||118.26|
|Enriching repairing and merging taxonomies by inducing qualitative spatial representations from the web||Dr S. Schockaert||EPSRC||123.7|
|Investigating Gene Ontology - based microarray data analysis||Professor WA Gray||Fonds National de la Luxembourg||30.98|
|CONOISE - Task and Quality Ontologies for Service Description||Professor WA Gray, Professor NJ Fiddian & Dr J Shao||BT||55.4|
|Developing a taxonomy of quality||Professor WA Gray & Professor NJ Fiddian||BT||13.2|