Division of Artificial Intelligence
School of Computing
University of Leeds
Leeds , LS2 9JT, UK.
Phone: +44 (0)113-343 1070
(home) +44 (0)113 274 6920
Fax: +44 (0)113-343 5468
I am a Research Fellow at the School of Computing at the University of
Leeds and a member of the Qualitative Spatial Reasoning group. Most
of my research is on logical languages for representing and reasoning
about the physical world. I am particularly interested in spatial and
spatio-temporal information, handling of conceptual vagueness and the
construction of concept ontologies for information systems.
Applications of this work include Geographical Information Systems,
specification of the behaviour of intelligent artificial agents and
Virtual World simulation.
Automated theorem proving and decision procedures
Constraint satisfaction problems
Modal and temporal logics
Reasoning about actions, change and physical processes
Ontology of material objects
Geographical information systems (GIS)
Logical languages for high-level control of robots or virtual agents
Reasoning with vague and uncertain information
I teach a final year undergraduate course in Knowledge
Representation and Inference.
I am on the organising committe of the Automated
Reasoning Worshop series.
Jointly with the Ordnance Survey I recently organised a workshop on Geo-Ontology
I was co-chair of the SVUG
2001 symposium on Spatial Vagueness Uncertainty and Granularity.
Groups, Projects and other Research Pages
The Leeds Qualitative Spatial Reasoning Group
Managing Vagueness, Uncertainty and Granularity in Spatial Information
Logical Theories and Decision Procedures for Reasoning about Physical Systems
European Qualitative Spatial Reasoning Network (Spacenet)
The Region Connection Calculus page
The first Leeds Spatial
Reasoning Workshop (held 13-14.07.99)
My publications are listed here.
Postscript of most of the papers is also available from this page.
My PhD thesis is entitled
Representations for Automated Reasoning about Spatial Relationships.
Publications of all members of the Leeds QSR group can be found here.
During the RAPS project (see above) prototype software for spatial reasoning
and was developed. This is written in SICStus Prolog using the Tcl/Tk interface.
Click here for more
for an interactive demo of topological reasoning with the RCC
relations. (This is implemented by encoding them into intuitionisitc logic
and then using an intuitionistic sequent calculus theorem prover.)
I maintain a large BibTeX bibiography file covering literature on many
areas of logic and AI (including all my own papers). You can download this
Notes on Topological Logics that formed the basis of my ESSLLI-2000
course are available here.