KNOWLEDGE REPRESENTATION
AND REASONING GROUP (KRR)
An interest group at University of Manchester, Department of Computer Science.
Our current research interests include Knowledge Representation and Reasoning in Artificial Intelligence, Description Logics, Computational Logics, Temporal Logics, Natural Language Formal Semantics, Formal Ontology, Knowledge Representation for Databases, in particular Conceptual Modeling and Flexible Access to Information.
Interested people
|
|||
| Relevant publications. | The Department of Computer Science. | ||
| European ESPRIT project DWQ (Foundations of Data Warehouse Quality). | CRACK on-line, a knowledge representation system based on description logics. | ||
| Pages on Description Logics, Knowledge Representation, Formal Ontology, Artificial Intelligence resources. | Our directory of useful resources for researchers. | ||
Please note: We are in the phase of moving the WWW server from IRST to the University of Manchester. Currently, some information may be out of date, and it is possible to find inconsistencies.