Proposal to participate at NCGIA I21,
Formal Models of Common-Sense Geographic Worlds

A brief curriculum vitae with up to five selected publications most relevant to the topic.

Anthony Cohn is Professor of Automated Reasoning in the Division of AI, School of Computer Studies at the University of Leeds. He holds BSc and PhD degrees from the University of Essex where he studied under Pat Hayes. He spent 10 years at the University of Warwick before moving to Leeds in 1990. He now leads a research group working on Automated Reasoning with a particular focus on qualitative spatial reasoning and is co-ordinator of SPACENET, the European qualitative spatial reasoning network. He holds a number of grants in the area, and has published widely. He has been Chairman of the UK AI Society AISB and also of the European Coordinating Committee on AI; he was Programme Chair of the European AI Conference ECAI94 and Workshop Chair of IJCAI95. Some of his publications concerning spatial reasoning can be found here. Recent and forthcoming invited talks include a tutorial on spatial reasoning at FAPR96, a lecture series at the 1995 Spring School on spatial reasoning at Bolzano, and invited talks at TSM95 (Toulouse), AISMC96 (Steyr) and KI 97 (Freiburg). He has been on many programme committees for workshops and conferences, regularly referees for various journals and is on the editorial board of DAKE. He is also director of the Centre for Theoretical Computer Science at the University of Leeds.

Contact details:

Division of Artificial Intelligence
School of Computer Studies
University of Leeds
Leeds LS2 9JT, ENGLAND.

Email: agc@comp.leeds.ac.uk

Phone: +44 (0)113 2335482
Fax: +44 (0)113 2335468

Five Recent Publications

A complete list of publications from the Leeds spatial reasoning group is also available.

  1. Calculi for Qualitative Spatial Reasoning A G Cohn, to appear in Proc. AISMC-3, LNCS, Springer Verlag, 1996.
  2. A Connection Based Approach to Commonsense Topological Description and Reasoning , N M Gotts, J M Gooday and A G Cohn, The Monist, Vol 79(1), pp 51-75, 1996.
  3. The `Egg-Yolk' Representation of Regions with Indeterminate Boundaries, A G Cohn and N M Gotts, Proceedings, GISDATA Specialist Meeting on Spatial Objects with Undetermined Boundaries, P Burrough and A M Frank (eds), pp 171-187,Francis Taylor, 1996.
  4. Taxonomies of Logically Defined Qualitative Spatial Relations A G Cohn, D A Randell and Z Cui, International Journal of Human-Computer Studies, special issue on Formal Ontology in Conceptual Analysis and Knowledge Representation, vol 43, Issue 5-6, pp 831-846, 1995.
  5. A Hierarchical Representation of Qualitative Shape based on Connection and Convexity, A G Cohn, Proceedings of COSIT95, ed A Frank, Springer Verlag, LNCS, pp 311-326, 1995.
Back to proposal index.

Maintained by: Tony Cohn <agc@comp.leeds.ac.uk>
Last modified: Fri Jul 5 16:27:15 1996 #