Knowledge Representation and Reasoning Research GroupKnowledge Representation and Reasoning Research Group
The group conducts both foundational and applied research in knowledge representation and reasoning, concentrating particularly on:
Staff: Brief details, and links to the personal pages of staff members of the research group are available here. Additionally, Barbara Smith is an associate member of the research group.
The group collaborates with several other groups in the School, particularly with the Computer Vision group in the area of Cognitive Vision, winning the BCS Machine Intelligence Prize in 2004.
The group runs a regular Distinguished Lecturer Series jointly with the Department of Computer Science at the University of York, and an internal seminar series.
The group receives research funding from the EPSRC, DTI the EU, a variety of industrial partners (particularly the Ordnance Survey) and regularly co-publishes with colleagues overseas. Group members sit on various of Editorial Boards, including the Applied Ontology Journal, the Journal of Applied Logic and Tony Cohn is Co-Editor-in-Chief of Artificial Intelligence and Spatial Cognition and Computation; he is also a past President of IJCAI and KR inc.
If you would like to join us as a PhD or MSc research student please also take a look at our School webpages for prospective research students.
Contact:
Knowledge Representation and Reasoning Group
Prof. A.G. Cohn
School of Computing
University of Leeds
Leeds, LS2 9JT, UK
tel: +44 (0) 113 343 5482
fax: +44 (0) 113 343 5468
Email: a.g.cohn@leeds.ac.uk