Publications of the
Qualitative Spatial Reasoning Group

Most of the papers can be downloaded in either PDF or PostScript format. This material is presented to ensure timely dissemination of scholarly and technical work. Copyright and all rights therein are retained by authors or by other copyright holders.

All persons copying this information is expected to adhere to the terms and constraints invoked by each author's copyright. In most cases, these works may not be reposted without the explicit permission of the copyright holder.

Publications arising out of the EPSRC funded "Mapping the Underworld" project and the DTI-BERR funded VISTA project can be found here,.

You may also wish to search the Leeds School of Computing publications database.

  • 2008 Publications
  • 2007 Publications
  • 2006 Publications
  • 2005 Publications
  • 2004 Publications
  • 2003 Publications
  • 2002 Publications
  • 2001 Publications
  • 2000 Publications
  • 1999 Publications
  • 1998 Publications
  • 1997 Publications
  • 1996 Publications
  • 1995 Publications
  • 1994 Publications
  • 1993 Publications
  • 1992 Publications
  • 1989 Publications

    • 2008 Publications

    1. Enhanced Tracking and Recognition of Moving Objects by Reasoning about Spatio-Temporal Continuity
      B. Bennett, D. R. Magee, A. G. Cohn and D. C. Hogg
      Image and Vision Computing, 26 (1), pp 67-81, Elsevier, (January 2008).
      [BibTeX] [PDF] [DOI]

    2007 Publications

    1. Knowledge-based recognition of utility map sub-diagrams
      A.G. Cohn and S. J. Hickinbotham
      Proc. Ninth International Conference on Document Analysis and Recognition (ICDAR 2007), pp 213-217, {IEEE CPS}, (2007).
      [BibTeX] [PDF]
      'Copyright IEEE CPS, (2007). This is the author`s version of the work. It is posted here by permission of IEEE for your personal use. Not for redistribution. The definitive version was published in ISBN 0-7695-2822-8'

    2. Axioms, Algebras and Topology
      B. Bennett and I. Düntsch
      Handbook of Spatial Logics, edited by I. Pratt-Hartmann, M. Aiello and J. van Benthem, Kluwer, (2007).
      [BibTeX]

    3. Semantic Categories Underlying the Meaning of `Place'
      B. Bennett and P. Agarwal
      Spatial Information Theory: proceedings of the 8th international conference (COSIT-07), Lecture Notes in Computer Science, 4736 , Springer, (2007).
      [BibTeX] [PDF] [DOI]

    4. Qualitative Spatial Reasoning
      A. G. Cohn and J. Renz
      Handbook of Knowledge Representation, edited by F. Harmelen, V. Lifschitz and B. Porter, Elsevier, (2007).
      [BibTeX] [PDF]

    5. Topological Maps from Signals
      Y. Dabaghian, A. G. Cohn and L. Frank
      Proc ACMGIS'07, pp 392-395, ACM Press, New York, (2007).
      [BibTeX] [PDF]
      'Copyright ACM, (2007). This is the author`s version of the work. It is posted here by permission of ACM for your personal use. Not for redistribution. The definitive version was published in (ACMGIS .07, November 7-9, 2007, Seattle, WA) ISBN 978-1-59593-914-2/07/11. The paper was selected for the runnerup best poster award.

    6. Applying Spatial Reasoning to Topographical Data with a Grounded Ontology
      D. Mallenby and B. Bennett
      GeoSpatial Semantics, proceedings of the second international conference, edited by F. Fonseca, M. A. Rodrígues and S. Levashkin, Lecture Notes in Computer Science, pp 210-227, Springer, Mexico City, (November 2007).
      [BibTeX] [PDF]

    7. Grounding a Geographic Ontology on Geographic Data
      D. Mallenby
      Proceedings of the 8th International Symposium on Logical Formalizations of Commonsense Reasoning (Commonsense-07), edited by E. Amir, V. Lifschitz and R. Miller, (2007).
      [BibTeX] [PDF]

    2006 Publications

    1. A Theory of Vague Adjectives Grounded in Relevant Observables
      B. Bennett
      Proceedings of the Tenth International Conference on Principles of Knowledge Representation and Reasoning, edited by P. Doherty, J. Mylopoulos and C. A. Welty, pp 36-45, AAAI Press, (2006).
      [BibTeX] [PDF]

    2. The Qualitative Trajectory Calculus on Networks
      P. Bogaert, N. Van de Weghe, A. G. Cohn, F. Witlox and P. De Maeyer
      Proc. of the Int. Conf. on Spatial Cognition, Springer, (2006).
      [BibTeX] [PDF]

    3. Efficient Storage of Interactions Between Multiple Moving Point Objects
      N. Van de Weghe, F. Witlox, A. G. Cohn, T. Neutens and P. De Maeyer
      Int. Workshop on Semantic-Based Geographical Information Systems (SeBGIS), Springer, (2006).
      [BibTeX] [PDF]

    4. A Qualitative Trajectory Calculus as a Basis for Representing Moving Objects in Geographical Information Systems
      N. Van de Weghe, A. G. Cohn, G. De Tre and P. De Maeyer
      Control and Cybernetics, 35 (1), pp 97-119, (2006).
      [BibTeX] [PDF]

    2005 Publications

    1. A Research Roadmap of Cognitive Vision
      -
      P Auer et al, ECVISION, www.ecvision.org, (2005).
      [BibTeX]
      [PDF]

    2. Modes of Concept Definition and Varieties of Vagueness
      B. Bennett
      Applied Ontology, 1 (1), pp 17-26, (2005).
      [BibTeX] [PDF]

    3. Protocols from Perceptual Observations
      C. Needham, P. Santos, D. R. Magee, V. Devin, D. C. Hogg and A. G. Cohn
      Artificial Intelligence, 167 , pp 103-136, (2005).
      [BibTeX] [PDF]
      [ DOI (link to official publication)]

    4. Supervaluation Semantics for an Inland Water Feature Ontology
      P. Santos, B. Bennett and G. Sakellariou
      Proceedings of the 19th International Joint Conference on Artificial Intelligence (IJCAI-05), edited by L. P. Kaelbling and A. Saffiotti, pp 564-569, Professional Book Center, Edinburgh, (2005).
      [BibTeX] [PDF]

    5. Representing Moving Objects in Computer-Based Expert Systems: The Overtake Event Example
      N. Van de Weghe, A. G. Cohn, P. De Maeyer and F. Witlox
      Expert Systems with Applications, 29 (4), pp 977-983, (November 2005).
      [BibTeX] [PDF]
      [ DOI (link to official publication)]

    6. Spatial Information Theory International Conference, COSIT 2005
      edited by A. G. Cohn and D. M. Mark, Lecture Notes in Computer Science , 3693 , Springer, (2005).
      [BibTeX]
      [DOI (link to official publication)]

    2004 Publications

    1. A Unifying Semantics for Time and Events
      B. Bennett and A. P. Galton
      Artificial Intelligence, 153 , pp 13-48, (2004).
      [BibTeX] [PDF]
      [DOI]

    2. Relative Definability in Formal Ontologies
      B. Bennett
      Proceedings of the 3rd International Conference on Formal Ontology in Information Systems (FOIS-04), edited by A. Varzi and L. Vieu, IOS Press, (2004).
      [BibTeX] [PDF]

    3. Using Spatio-Temporal Continuity Constraints to Enhance Visual Tracking of Moving Objects
      B. Bennett, D. R. Magee, A. G. Cohn and D. C. Hogg
      Proceedings of the 16th European Conference on Artificial Intelligence (ECAI-04), edited by L. Saitta, IOS Press, (2004).
      [BibTeX] [PDF]

    4. Autonomous learning for a cognitive agent using continuous models and inductive logic programming from audio-visual input
      D. Magee, C. J. Needham, P. Santos, A. G. Cohn and D. C. Hogg
      Proceedings of the AAAI Workshop on Anchoring Symbols to Sensor Data, (2004).
      [BibTeX] [PDF]

    5. Combining Multiple Answers for Learning Mathematical Structures from Visual Observation
      P. Santos, D. Magee, A. Cohn and D. Hogg
      Proc. of the $16^th$ European Conference on Artificial Intelligence (ECAI-04), (2004).
      [BibTeX] [PDF]

    6. Looking for Logic in Vision,
      P. Santos, D. Magee and A. Cohn
      Proc. Eleventh Workshop on Automated Reasoning, pp 61-62, Leeds, (2004).
      [BibTeX] [PDF]

    7. Part and Complement: Fundamental Concepts in Spatial Relations
      J. G. Stell
      Annals of Artificial Intelligence and Mathematics, 41 , pp 1-18, (2004).
      [BibTeX] [PDF]

    8. Representation of moving objects along a road network
      N. Van de Weghe, A. G. Cohn, P. Bogaert and P. De Maeyer
      Proc. 12th Int. Conf. on Geoinformatics - Geospatial Information Research: Bridging the Pacific and Atlantic, , pp 187-194, University of G\"avle, Sweden, (7-9 June 2004).
      [BibTeX] [PDF]

    2003 Publications

    1. A Logic of Branching Histories with a Shared Linear Time Series
      B. Bennett
      Foundations and Applications of Spatio-Temporal Reasoning (FASTR), AAAI Spring Symposium, Palo Alto, (2003).
      [BibTeX]

    2. The Role of Definitions in Construction and Analysis of Formal Ontologies
      B. Bennett
      Sixth Symposium on Logical Formalizations of Commonsense Reasoning, AAAI Spring Symposium, Palo Alto, (2003).
      [BibTeX] [PostScript] [gzipped PostScript]

    3. Stratified Rough Sets and Vagueness
      T. Bittner and J. G. Stell
      Spatial Information Theory. COSIT'03 Proceedings, edited by W. Kuhn, M. F. Worboys and S. Timpf, Lecture Notes in Computer Science, 2825 , pp 286-303, (2003).
      [BibTeX] [PDF]

    4. Mereotopological Connection
      A. G. Cohn and A. Varzi
      Journal of Philosophical Logic, 32 , pp 357-390, (2003).
      [BibTeX] [PDF]
      DOI (link to official publication)

    5. Towards an Architecture for Cognitive Vision using Qualitative Spatio-Temporal Representations and Abduction
      A. G. Cohn, D. Magee, A. Galata, D. Hogg and S. Hazarika
      Spatial Cognition III, edited by C. Freksa, C. Habel and K. F. Wender, Lecture Notes in Computer Science, pp 232-248, Springer, (2003).
      [BibTeX] [PDF]

    6. Convexity in Discrete Space
      A. Roy and J. G. Stell
      Spatial Information Theory. COSIT'03 Proceedings, edited by W. Kuhn, M. F. Worboys and S. Timpf, Lecture Notes in Computer Science, 2825 , pp 268-285, (2003).
      [BibTeX] [PDF]

    7. Granularity in change over time
      J. G. Stell
      Foundations of Geographic Information Science, edited by M. Duckham, M. Goodchild and M. Worboys, pp 95-115, Taylor and Francis, (2003).
      [BibTeX] [PDF]

    8. Qualitative Extents for Spatio-Temporal Granularity
      J. G. Stell
      Spatial Cognition and Computation, 3 , pp 119-136, (2003).
      [BibTeX] [PDF]

    9. Spatial Cognition and Computation: special issue on spatial vagueness, uncertainty and granularity
      edited by B. Bennett and M. Cristani, 3 (2\&3), pp 93-255, Lawrence Erlbaum Associates, (2003).
      [BibTeX]

    2002 Publications

    1. Combinations of Modal Logics
      B. Bennett, C. Dixon, M. Fisher, E. Franconi, I. Horrocks, U. Hustadt and M. de Rijke
      AI Review, 17 (1), pp 1-20, (March 2002).
      [BibTeX] [PostScript] [gzipped PostScript]

    2. Multi-Dimensional Modal Logic as a Framework for Spatio-Temporal Reasoning
      B. Bennett, A. G. Cohn, F. Wolter and M. Zakharyaschev
      Applied Intelligence, 17 (3), pp 239-251, (2002).
      [BibTeX] [PostScript] [gzipped PostScript]
      [ DOI (link to official publication)]

    3. Physical Objects, Identity and Vagueness
      B. Bennett
      Principles of Knowledge Representation and Reasoning: Proceedings of the Eighth International Conference (KR2002), edited by D. Fensel, D. McGuinness and M. A. Williams, Morgan Kaufmann, San Francisco, CA, (2002).
      [BibTeX] [PostScript] [gzipped PostScript]

    4. Vagueness and Rough Location
      T. Bittner and J. G. Stell
      {G}eo{I}nformatica, 6 , pp 99-121, (2002).
      [BibTeX] [PDF]

    5. SpaceML: A Mark-up Language for Spatial Knowledge
      M. Cristani and A. G. Cohn
      Journal of Visual Languages and Computing, 13 (1), pp 97-116, (2002).
      [BibTeX] [PDF] [DOI]

    6. Learning Temporal and Qualitative Spatial Components of an Interaction Model
      A. Galata, A. G. Cohn, M. D. and D. Hogg
      Proc. ECCV Workshop on Vision and Modelling of Dynamic Scenes (VAMODS), (2002).
      [BibTeX]

    7. Modeling Interaction Using Learnt Qualitative Spatio-Temporal Relations and Variable Length Markov Models
      A. Galata, A. G. Cohn, M. D. and D. Hogg
      Proc. European Conference on Artificial Intelligence (ECAI'02), edited by F. Harmelen, pp 741-745, (2002).
      [BibTeX] [PDF]

    8. Abducing Qualitative Spatio-Temporal histories from Partial Observations
      S. M. Hazarika and A. G. Cohn
      Proceedings of the Eight Conference on Principles of Knowledge Representation and Reasoning (KR 2002), edited by D. Fensel, F. Guinchiglia, D. McGuinness and M. A. Williams, pp 14-25, Morgan Kaufmann, (2002).
      [BibTeX] [PDF]

    9. A Qualitative Account of Discrete Space
      A. J. O. Roy and J. G. Stell
      Proceedings of GIScience 2002, edited by M. J. Egenhofer and D. M. Mark, Lecture Notes in Computer Science, 2478 , pp 276-290, (2002).
      [BibTeX] [PDF]

    10. A Framework for Order-Sorted Algebra
      J. G. Stell
      9th International Conference on Algebraic Methodology And Software Technology AMAST 2002, edited by H. Kirchner and C. Ringeissen, Lecture Notes in Computer Science, 2422 , pp 396-410, (2002).
      [BibTeX] [PDF]

    11. Mereotopology in 2nd-order and modal extensions of intuitionistic logic
      P. Torrini, J. G. Stell and B. Bennett
      Journal of Applied Non-Classical Logics, 12 , (2002).
      [BibTeX] [PostScript] [gzipped PostScript]

    12. A proximity approach to some region-based theories of space
      D. Vakarelov, G. Dimov, I. Düntsch and B. Bennett
      Journal of Applied Non-Classical Logics, 12 , (2002).
      [BibTeX] [PostScript] [gzipped PostScript]

    13. Enhanced presence in driving simulators using autonomous traffic with virtual personalities
      S. Wright, N. J. Ward and A. G. Cohn
      Presence: Teleoperators and Virtual Environments, 11 , pp 578-590, (2002).
      [BibTeX] [PDF]
      [DOI (link to official publication)]

    2001 Publications

    1. A Categorical Axiomatisation of Region-Based Geometry
      B. Bennett
      Fundamenta Informaticae, 46 , pp 145-158, (2001).
      [BibTeX] [PostScript] [gzipped PostScript]

    2. A Versatile Representation for Time and Events
      B. Bennett and A. P. Galton
      Fifth Symposium on Logical Formalizations of Commonsense Reasoning (Commonsense 2001), pp 43-52, (2001).
      [BibTeX] [PostScript] [gzipped PostScript]

    3. Application of Supervaluation Semantics to Vaguely Defined Spatial Concepts
      B. Bennett
      Spatial Information Theory: Foundations of Geographic Information Science; Proceedings of COSIT'01, edited by D. R. Montello, LNCS, 2205 , pp 108-123, Springer, Morro Bay, (2001).
      [BibTeX] [PostScript] [gzipped PostScript]

    4. Space, Time, Matter and Things
      B. Bennett
      Proceedings of the 2nd international conference on Formal Ontology in Information Systems (FOIS'01), edited by C. Welty and B. Smith, pp 105-116, ACM, Ogunquit, (2001).
      [BibTeX] [PostScript] [gzipped PostScript]

    5. What is a Forest? on the vagueness of certain geographic concepts
      B. Bennett
      Topoi, 20 (2), pp 189-201, (2001).
      [BibTeX] [PostScript] [gzipped PostScript]

    6. Rough Sets in Qualitative Spatial Reasoning
      T. Bittner and J. G. Stell
      Rough Sets and Current Trends in Computing, Banff, October 2000, Proceedings, Lecture Notes in Computer Science, 2005 , pp 445-453, Springer, (2001).
      [BibTeX] [PostScript]

    7. Formalising Bio-Spatial Knowledge
      A. G. Cohn
      Proc. 2nd International Conference on Formal Ontology in Information Systems (FOIS'01), edited by C. Welty and B. Smith, pp 198-209, ACM, (2001).
      [BibTeX] [PDF]
      DOI (link to official publication)

    8. Qualitative Spatial Representation and Reasoning: An Overview
      A. G. Cohn and S. M. Hazarika
      Fundamenta Informaticae, 46 (1-2), pp 1-29, (2001).
      [BibTeX] [PostScript] [gzipped PostScript]

    9. Continuous Transitions in Mereotopology
      A. G. Cohn and S. M. Hazarika
      Commonsense-2001: 5th Symposium on Logical Formalizations of Commonsense Reasoning, (2001).
      [BibTeX] [PDF]

    10. Spatio-Temporal Continuity in Geographic Space
      A. G. Cohn and S. M. Hazarika
      Meeting on Fundamental Questions in Geographical Information Science, (2001).
      [BibTeX] [PostScript] [gzipped PostScript]

    11. A Formal Approach to Imperfection in Geographic Information
      M. Duckham, K. Mason, J. G. Stell and M. F. Worboys
      Computers, Environment and Urban Systems, 25 , pp 89-103, (2001).
      [BibTeX]

    12. Tripod: A Comprehensive System for the Management of Spatial and Aspatial Historical Objects
      T. Griffths, A. A. A. Fernandes, N. W. Paton, K. T. Mason, B. Huang, M. F. Worboys, C. A. Johnson and J. G. Stell
      Proceedings, Ninth ACM Symposium on Advances in GIS, November 2001, edited by W. H. Aref, pp 118-123, ACM, (2001).
      [BibTeX]

    13. Qualitative Self-Localization using a Spatio-Temporal Ontology: A Preliminary Report
      S. M. Hazarika and A. G. Cohn
      IJCAI-2001 Workshop on Spatial and Temporal Reasoning with Agents' Focus, (2001).
      [BibTeX] [PostScript] [gzipped PostScript]

    14. Qualitative Spatio-Temporal Continuity
      S. M. Hazarika and A. G. Cohn
      Spatial Information Theory: Foundations of Geographic Information Science; Proceedings of COSIT'01, edited by D. R. Montello, LNCS, 2205 , pp 92-107, Springer, Morro Bay,CA, (2001).
      [BibTeX] [PostScript] [gzipped PostScript]

    15. Taxonomy of Spatio-Temporal Vagueness: An Alternative Egg-Yolk Interpretation
      S. M. Hazarika and A. G. Cohn
      COSIT/FOIS Workshop on Spatial Vagueness, Uncertainty and Granularity, Maine, USA, (2001).
      [BibTeX] [PostScript] [gzipped PostScript]

    16. Spatial Relations between Indeterminate Regions
      A. J. O. Roy and J. G. Stell
      International Journal of Approximate Reasoning, 27 , pp 205-234, (2001).
      [BibTeX] [PostScript]

    17. A note on proximity spaces and connection based mereology
      D. Vakarelov, I. Duentsch and B. Bennett
      Proc. 2nd International Conference on Formal Ontology in Information Systems (FOIS'01), edited by C. Welty and B. Smith, pp 139-150, ACM, (2001).
      [BibTeX] [PostScript] [gzipped PostScript]

    2000 Publications

    1. A Foundation for Region-Based Qualitative Geometry
      B. Bennett, A. G. Cohn, P. Torrini and S. M. Hazarika
      Proceedings of ECAI-2000, edited by W. Horn, pp 204-208, (2000).
      [BibTeX] [PostScript] [gzipped PostScript]

    2. A Unifying Semantics for Time and Events
      B. Bennett and A. P. Galton
      QSR Group Technical Report, School of Computing, University of Leeds, Leeds LS2 9JT, UK, (June 2000).
      [BibTeX] [PostScript] [gzipped PostScript]

    3. Describing Rigid Body Motions in a Qualitative Theory of Spatial Regions
      B. Bennett, A. G. Cohn, P. Torrini and S. M. Hazarika
      Proceedings of AAAI-2000, edited by H. A. Kautz and B. Porter, pp 503-509, (2000).
      [BibTeX] [PostScript] [gzipped PostScript]

    4. Region-Based Qualitative Geometry
      B. Bennett, A. G. Cohn, P. Torrini and S. M. Hazarika
      Technical Report 2000.07, School of Computing, University of Leeds, LS2 9JT, UK, (2000).
      [BibTeX] [PostScript] [gzipped PostScript]

    5. Approximate Qualitative Spatial Reasoning
      T. Bittner and J. G. Stell
      Spatial Cognition and Computation, 2 , pp 435-466, (2000).
      [BibTeX] [PDF]

    6. Spatial Locations via Morpho-Mereology
      M. Cristani, A. G. Cohn and B. Bennett
      Proceedings of KR'2000, (2000).
      [BibTeX] [PostScript] [gzipped PostScript]

    7. Constructing qualitative event models automatically from video input
      J. Fernyhough, A. G. Cohn and D. Hogg
      Image and Vision Computing, 18 , pp 81-103, (2000).
      [BibTeX] [PostScript] [gzipped PostScript]
      [DOI (link to oficial publication)]

    8. A new approach to cyclic ordering of 2D orientations using ternary relation algebras
      A. Isli and A. G. Cohn
      Artificial Intelligence, 122 (1-2), pp 137-187, (2000).
      [BibTeX]
      [ DOI (link to official publication)]

    9. Boolean Connection Algebras: A New Approach to the Region-Connection Calculus
      J. G. Stell
      Artificial Intelligence, 122 , pp 111-136, (2000).
      [BibTeX]

    10. The Representation of Discrete Multi-resolution Spatial Knowledge
      J. G. Stell
      Principles of Knowledge Representation and Reasoning: Proceedings of KR2000, edited by A. G. Cohn, F. Giunchiglia and B. Selman, pp 38-49, Morgan Kaufmann, (2000).
      [BibTeX]

    1999 Publications

    1. Consistency of Topological Relations in the Presence of Convexity Constraints
      B. Bennett and A. G. Cohn
      Working notes of the `Hot Topics in Spatio-Temporal Reasoning' workshop, IJCAI-99, Stockholm, (1999).
      [BibTeX] [PostScript] [gzipped PostScript]

    2. Multi-Dimensional Multi-Modal Logics as a Framework for Spatio-Temporal Reasoning
      B. Bennett and A. G. Cohn
      Working notes of the `Hot Topics in Spatio-Temporal Reasoning' workshop, IJCAI-99, Stockholm, (1999).
      [BibTeX] [PostScript] [gzipped PostScript]

    3. Modes of connection: a taxonomy of qualitative topological relations
      A. G. Cohn and A. Varzi
      Spatial Information Theory - Cognitive and Computational Foundations of Geographic Information Science, edited by C. Freksa and D. M. Mark, LNCS, 1661 , pp 299-314, Springer-Verlag, (1999).
      [BibTeX] [PostScript] [gzipped PostScript]

    4. Constraint Networks of Topological Relations and Convexity
      E. Davis, N. M. Gotts and A. G. Cohn
      Constraints, 4 (3), pp 241-280, (1999).
      [BibTeX]
      [DOI (link to oficial publication)]

    1998 Publications

    1. Temporal Constraint Satisfaction Techniques in Job Shop Scheduling Problem Solving
      S. Belhadji and A. Isli
      Constraints, 3 (2-3), pp 203-211, (1998).
      [BibTeX] [PostScript] [gzipped PostScript]

    2. A System Handling RCC-8 Queries on 2D Regions Representable in the Closure Algebra of Half-Planes
      B. Bennett, A. Isli and A. G. Cohn
      Proceedings of the 11th International Conference on Industrial and Engineering Applications of Artificial Intelligence and Expert Systems (IEA-AIE), LNCS, Springer-Verlag, (1998).
      [BibTeX] [PostScript] [gzipped PostScript]

    3. Determining Consistency of Topological Relations
      B. Bennett
      Constraints, 3 (2-3), pp 213-225, (June 1998).
      [BibTeX] [PostScript] [gzipped PostScript]

    4. Modal Semantics for Knowledge Bases dealing with Vague Concepts
      B. Bennett
      Principles of Knowledge Representation and Reasoning: Proceedings of the 6th International Conference (KR-98), edited by A. G. Cohn, L. Schubert and S. Shapiro, pp 234-244, Morgan Kaufman, (1998).
      [BibTeX] [PostScript] [gzipped PostScript]

    5. Connection Relations in Mereotopology
      A. G. Cohn and A. Varzi
      Proceedings of the 13th European Conference on Artificial Intelligence (ECAI-98), edited by H. Prade, pp 150-154, Wiley, (August 1998).
      [BibTeX] [PostScript] [gzipped PostScript]

    6. Building Qualitative Event Models Automatically from Visual Input
      J. H. Fernyhough, A. G. Cohn and D. C. Hogg
      Proceedings of the International Conference on Computer Vision ICCV98, pp 350-355, Narosa, (1998).
      [BibTeX] [PostScript] [gzipped PostScript]

    7. An Algebra for Cyclic Ordering of 2D Orientations
      A. Isli and A. G. Cohn
      Proceedings of the 15th American Conference on Artificial Intelligence (AAAI-98), pp 643-649, AAAI/MIT Press, Madison, WI, (1998).
      [BibTeX] [PostScript] [gzipped PostScript]

    8. Qualitative Spatial Reasoning \`a la Allen: An Algebra for Cyclic Ordering of 2D Orientations
      A. Isli and A. G. Cohn
      Proceedings of Qualitative Reasoning: the twelfth international workshop, pp 65-76, AAAI Press, Cape Cod, MA, (1998).
      [BibTeX] [PostScript] [gzipped PostScript]
      A slightly extended version of the AAAI-98 paper.

    1997 Publications

    1. A Logical Approach to Incorporating Qualitative Spatial Reasoning into GIS (extended abstract)
      B. Bennett, A. G. Cohn and A. Isli
      Proceedings of the International COnference on Spatial Information Theory (COSIT), pp 503-504, (1997).
      [BibTeX] [PostScript] [gzipped PostScript]

    2. Logical Representations for Automated Reasoning about Spatial Relationships
      B. Bennett
      PhD Thesis, School of Computer Studies, The University of Leeds, (1997).
      [BibTeX] [gzipped PostScript]
      Link to abstract.

    3. When does a Composition Table Provide a Complete and Tractable Proof Procedure for a Relational Constraint Language?
      B. Bennett, A. Isli and A. G. Cohn
      Proceedings of the IJCAI-97 workshop on Spatial and Temporal Reasoning, Nagoya, Japan, (1997).
      [BibTeX] [PostScript] [gzipped PostScript]

    4. Combining Multiple Representations in a Spatial Reasoning System
      B. Bennett, A. G. Cohn and A. Isli
      Proceedings of the 9th IEEE International Conference on Tools with Artificial Intelligence (TAI-97), pp 314-322, Newport Beach, CA, (1997).
      [BibTeX] [PostScript] [gzipped PostScript]

    5. Exploiting Temporal Continuity in Qualitative Spatial Calculi
      A. G. Cohn, N. M. Gotts, D. A. Randell, Z. Cui, B. Bennett and J. M. Gooday
      Spatial and Temporal Reasoning in Geographical Information Systems, Specialist Meeting on Time in Geographic Space, Lake Arrowhead, California (1993), edited by R. G. Golledge and M. J. Egenhofer, Elsevier, (1997).
      [BibTeX] [PostScript] [gzipped PostScript]
      Note that this paper was actually presented in 1993 but but the publishers were rather slow in producing the proceedings.

    6. Representing and Reasoning with Qualitative Spatial Relations about Regions
      A. G. Cohn, B. Bennett, J. M. Gooday and N. M. Gotts
      Temporal and spatial reasoning, edited by O. Stock, Kluwer, (1997).
      [BibTeX] [PostScript] [gzipped PostScript]
      The published version contains many Latex bugs introduced after the Latex left Leeds. This version corrects these.

    7. RCC: a calculus for Region based Qualitative Spatial Reasoning
      A. G. Cohn, B. Bennett, J. M. Gooday and N. Gotts
      GeoInformatica, 1 , pp 275-316, (1997).
      [BibTeX] [PostScript] [gzipped PostScript]

    8. Qualitative spatial representation and reasoning techniques
      A. G. Cohn
      Proceedings of KI-97, edited by G. Brewka, C. Habel and B. Nebel, LNAI, 1303 , pp 1-30, Springer Verlag, (1997).
      [BibTeX] [PostScript] [gzipped PostScript]

    9. Event Recognition using Qualitative Reasoning on Automatically Generated Spatio-Temporal Models from Visual Input
      J. Fernyhough, A. G. Cohn and D. C. Hogg
      Working Notes of IJCAI workshop on Spatial and Temporal Reasoning, (1997).
      [BibTeX] [PostScript] [gzipped PostScript]

    1996 Publications

    1. Carving Up Space: steps towards construction of an absolutely complete theory of spatial regions
      B. Bennett
      Proceedings of JELIA'96, edited by L. M. P. J.J. Alfres and E. Orlowska, pp 337-353, (1996).
      [BibTeX] [PostScript] [gzipped PostScript]

    2. Modal Logics for Qualitative Spatial Reasoning
      B. Bennett
      Bulletin of the Interest Group in Pure and Applied Logic (IGPL), 4 (1), pp 23-45, (1996).
      [BibTeX] [PostScript] [gzipped PostScript]

    3. The application of Qualitative Spatial Reasoning to GIS
      B. Bennett
      Proc First Int. Conf. on GeoComputation, edited by R. J. Abrahart, I , pp 44-47, Leeds, (1996).
      [BibTeX] [PostScript] [gzipped PostScript]

    4. Calculi for Qualitative Spatial Reasoning
      A. G. Cohn
      Artificial Intelligence and Symbolic Mathematical Computation, edited by J. A. C. J Calmet and J. Pfalzgraf, , LNCS 1138 (), pp 124-143, Springer Verlag, , ( 1996).
      [BibTeX] [PostScript] [gzipped PostScript]

    5. The `Egg-Yolk' representation of regions with indeterminate boundaries
      A. G. Cohn and N. M. Gotts
      Proceedings, GISDATA Specialist Meeting on Geographical Objects with Undetermined Boundaries, edited by P. Burrough and A. M. Frank, pp 171-187, Francis Taylor, (1996).
      [BibTeX] [PostScript] [gzipped PostScript]

    6. Representing Spatial Vagueness: a mereological approach
      A. G. Cohn and N. M. Gotts
      Proceedings of the 5th conference on principles of knowledge representation and reasoning (KR-96), edited by J. D. L C Aiello and S. Shapiro, pp 230-241, Morgan Kaufmann, (1996).
      [BibTeX] [PostScript] [gzipped PostScript]

    7. Qualitative Reasoning for Automated Traffic Surveillance
      J. Fernyhough
      Proceedings of the 10th International Workshop on Qualitative Reasoning., pp 40-42, AAAI Press, (1996).
      [BibTeX] [PostScript] [gzipped PostScript]

    8. Generation of Semantic Regions from Image Sequences
      J. H. Fernyhough, A. G. Cohn and D. C. Hogg
      Proceedings of the Fourth European Conference on Computer Vision (ECCV-96), edited by H. Buxton and R. Cipolla, LNCS, 1065 , pp 475-48, (1996).
      [BibTeX] [PostScript] [gzipped PostScript]

    9. Transition-Based Qualitative Simulation
      J. M. Gooday and A. G. Cohn
      Proceeding of the 10th International Workshop on Qualitative Reasoning, pp 74-82, AAAI press, (1996).
      [BibTeX] [PostScript] [gzipped PostScript]

    10. The Transition Calculus: A High-Level Formalism for Reasoning About Action and Change
      J. M. Gooday and A. P. Galton
      Journal of Theoretical and Experimental Artificial Intelligence, (1996).
      [BibTeX] [PostScript] [gzipped PostScript]

    11. Visual Language Syntax and Semantics: A Spatial Logic approach
      J. M. Gooday and A. G. Cohn
      Proc Workshop on Theory of Visual Languages, edited by K. Marriott and B. Meyer, Gubbio, Italy, (1996).
      [BibTeX] [PostScript] [gzipped PostScript]

    12. A connection based approach to common-sense topological description and reasoning
      N. M. Gotts, J. M. Gooday and A. G. Cohn
      The Monist, 79 (1), pp 51-75, (1996).
      [BibTeX] [PostScript] [gzipped PostScript]

    13. An Axiomatic Approach to Topology for Spatial Information Systems
      N. M. Gotts
      Report 96.25, School of Computer Studies, University of Leeds, (1996).
      [BibTeX] [PostScript] [gzipped PostScript]

    14. Toplogy from a single primitive relation: defining topological properties and relations in terms of connection
      N. M. Gotts
      Report 96.23, School of Computer Studies, University of Leeds, (1996).
      [BibTeX] [PostScript] [gzipped PostScript]

    15. Using the RCC Formalism to Describe the Topology of Spherical Regions
      N. M. Gotts
      Report 96.24, School of Computer Studies, University of Leeds, (1996).
      [BibTeX] [PostScript] [gzipped PostScript]

    16. Formalising Commonsense Topology: The INCH Calculus
      N. M. Gotts
      Proc. Fourth International Symposium on Artificial Intelligence and Mathematics, (1996).
      [BibTeX] [PostScript] [gzipped PostScript]

    17. A Framework for Dynamic Structuring of Information
      C. G. Ralha
      PhD thesis, School of Computer Studies, Universities of Leeds, (1996).
      [BibTeX]

    18. Structuring informationin a distributed hyper media system
      C. G. Ralha
      Advances in Knowledge Acquisition -- Proc 9th EKAW, edited by K. O. H. N Shadbold and G. Schreiber, pp 163-178, Springer Verlag, (1996).
      [BibTeX]

    19. Towards dynamic structuring of knowledge
      C. G. Ralha
      Proc 2nd Knowledge Engineering Forum, Karlsruhe, (1996).
      [BibTeX]

    1995 Publications

    1. Carving up Space: existential axioms for logical theories of spatial regions
      B. Bennett
      Proceedings of IJCAI95 workshop on Spatial and Temporal Reasoning, (1995).
      [BibTeX] [PostScript] [gzipped PostScript]

    2. Towards a Decision Procedure for the RCC Theory of Spatial Regions
      B. Bennett
      Proceedings of AISB95 workshop --- Automated Reasoning: bridging the gap between theory and practice, (1995).
      [BibTeX] [PostScript] [gzipped PostScript]

    3. A Hierarchical Representation of Qualitative Shape based on Connection and Convexity
      A. G. Cohn
      Proc COSIT95, edited by A. M. Frank, LNCS, pp 311-326, Springer Verlag, (1995).
      [BibTeX] [PostScript] [gzipped PostScript]

    4. A Mereological Approach to Representing Spatial Vagueness
      A. G. Cohn and N. M. Gotts
      Working Papers of the 9th International Workshop on Qualitative Reasoning, pp 246-255, (1995).
      [BibTeX] [PostScript] [gzipped PostScript]

    5. Qualitative Shape Representation using Connection and Convex Hulls
      A. G. Cohn
      Time, Space and Movement: meaning and knowledge in the sensible world, proceedings of the 5th international workshop TSM'95, edited by P. Amsili, M. Borillo and L. Vieu, pp 3-16 (part C), (1995).
      [BibTeX] [PostScript] [gzipped PostScript]

    6. The Challenge of Qualitative Spatial Reasoning
      A. G. Cohn
      Computing Surveys, 27 , pp 323-326, (1995).
      [BibTeX] [PostScript] [gzipped PostScript]

    7. Using Spatial Logic to Describe Visual Languages
      J. M. Gooday and A. G. Cohn
      Artificial Intelligence Review, LNCS, 10 (1-2), (1995).
      [BibTeX] [PostScript] [gzipped PostScript]
      This paper also appears in Integration of Natural Language and Vision Processing (Vol. IV), ed. P. McKevitt, Kluwer, 1996.

    8. Building maps of hyperspace
      C. G. Ralha and A. G. Cohn
      Proceedings of the WWW National Conference on Internet Multimedia Information (MI95), Braga, Portugal, (1995).
      [BibTeX]

    9. Towards an intelligent hyper-media environment for Knowledge Acquisition
      C. G. Ralha
      Proceedings of the 2nd Groningen International Information Technology Conference for Students (GRONICS-95), pp 35-41, (1995).
      [BibTeX]

    1994 Publications

    1. Some Observations and Puzzles about Composing Spatial and Temporal Relations
      B. Bennett
      Proceedings ECAI-94 Workshop on Spatial and Temporal Reasoning, edited by R. Rodríguez, (1994).
      [BibTeX] [PostScript] [gzipped PostScript]

    2. Spatial Reasoning with Propositional Logics
      B. Bennett
      Principles of Knowledge Representation and Reasoning: Proceedings of the 4th International Conference (KR94), edited by J. Doyle, E. Sandewall and P. Torasso, Morgan Kaufmann, San Francisco, CA., (1994).
      [BibTeX] [PostScript] [gzipped PostScript]

    3. A Comparison of Structures in Spatial and Temporal Logics
      A. G. Cohn, J. M. Gooday and B. Bennett
      Philosophy and the Cognitive Sciences: Proceedings of the 16th International Wittgenstein Symposium, edited by R. Casati, B. Smith and G. White, H\"older-Pichler-Tempsky, Vienna, (1994).
      [BibTeX] [PostScript] [gzipped PostScript]

    4. A theory of spatial regions with indeterminate boundaries
      A. G. Cohn and N. M. Gotts
      Topological Foundations of Cognitive Science, edited by C. Eschenbach, C. Habel and B. Smith, (1994).
      [BibTeX] [PostScript] [gzipped PostScript]

    5. Defining the Syntax and the Semantics of a Visual Programming Language in a Spatial Logic
      A. G. Cohn and J. M. Gooday
      Proceedings of AAAI-94 Spatial and Temporal Reasoning Workshop, edited by F. D. Anger and R. Loganantharaj, (1994).
      [BibTeX] [PostScript] [gzipped PostScript]

    6. Spatial Regions with Undetermined Boundaries
      A. G. Cohn and N. M. Gotts
      Proceedings of Gaithesburg Workshop on GIS, ACM, (December 1994).
      [BibTeX] [PostScript] [gzipped PostScript]

    7. Taxonomies of Logically Defined Qualitative Spatial Relations
      A. G. Cohn, D. A. Randell and Z. Cui
      Formal Ontology in Conceptual Analysis and Knowledge Representation, Journal of Human-Computer Studies, edited by N. Guarino and R. Poli, (1994).
      [BibTeX] [PostScript] [gzipped PostScript]
      This was originally scheduled appear in a book from a workshop held in Padova in 1993, but for contractual reasons the book never appeared, so this special journal issue of the workshop was produced.

    8. Conceptual Neighbourhoods in Spatial and Temporal Reasoning
      J. M. Gooday and A. G. Cohn
      Proceedings ECAI-94 Workshop on Spatial and Temporal Reasoning, edited by R. Rodríguez, (1994).
      [BibTeX] [PostScript] [gzipped PostScript]

    9. Defining a `doughnut' made difficult
      N. M. Gotts
      Topological Foundations of Cognitive Science, edited by C. Eschenbach, C. Habel and B. Smith, Reports of the Doctoral programme in Cognitive Science, 37 , University of Hamburg, (1994).
      [BibTeX] [PostScript] [gzipped PostScript]

    10. How far can we C? defining a `doughnut' using connection alone
      N. M. Gotts
      Principles of Knowledge Representation and Reasoning: Proceedings of the 4th International Conference (KR94), edited by E. S. J Doyle and P. Torasso, Morgan Kaufmann, San Francisco, (1994).
      [BibTeX] [PostScript] [gzipped PostScript]

    11. The EGG/YOLK Reliability Hierarchy: Semantic Data Integration Using Sorts with Prototypes
      F. Lehmann and A. G. Cohn
      Proc. Conf. on Information Knowledge Management, pp 272-279, ACM Press, (1994).
      [BibTeX]
      [DOI (link to official publication)]

    1993 Publications

    1. Modal and Non Modal Qualitative Spatial Logics
      A. G. Cohn
      Proceedings of the Workshop on Spatial and Temporal Reasoning, edited by F. D. Anger, H. M. Guesgen and J. van Benthem, IJCAI, Chamb\'ery, (1993).
      [BibTeX] [PostScript] [gzipped PostScript]

    2. Qualitative Spatial Reasoning and Representation
      A. G. Cohn, D. A. Randell, Z. Cui and B. Bennett
      Qualitative Reasoning and Decision Technologies, edited by N. P. Carret\'e and M. G. Singh, pp 513-522, CIMNE, Barcelona, (1993).
      [BibTeX] [PostScript] [gzipped PostScript]

    3. Qualitative and Topological Relationships in Spatial Databases
      Z. Cui, A. G. Cohn and D. A. Randell
      Advances in Spatial Databases, edited by D. Abel and B. C. Ooi, Lecture Notes in Computer Science, 692 , pp 293-315, Springer Verlag, Berlin, (1993).
      [BibTeX] [PostScript] [gzipped PostScript]

    4. Combining qualitative and quantitative reasoning
      C. MacNish, A. Galton and J. M. Gooday
      Workshop on spatial and temporal reasoning, IJCAI-89, Chambery, France, (August 1993).
      [BibTeX]

    5. QSQR:Quantitatively Scoped Qualitative Reasoning
      C. MacNish, A. Galton and J. M. Gooday
      Proceedings SCAI-93, Stockholm, (April 1993).
      [BibTeX]

    1992 Publications

    1. Qualitative Simulation Based on a Logic of Space and Time
      Z. Cui, A. G. Cohn and D. A. Randell
      QR-92, Heriot-Watt University, Scotland, (1992).
      [BibTeX] [PDF]

    2. Qualitative Simulation Based on a Logical Formalism of Space and Time
      Z. Cui, A. G. Cohn and D. A. Randell
      Proceedings AAAI-92, pp 679-684, AAAI Press, Menlo Park, California, (1992).
      [BibTeX] [PDF]

    3. An Interval Logic for Space based on ``Connection''
      D. A. Randell, A. G. Cohn and Z. Cui
      Proceedings ECAI-92, pp 394-398, John Wiley, Chichester, (1992).
      [BibTeX]
      Not available electronically. This paper is subsumed by the KR-92 paper.

    4. Computing Transitivity Tables: A Challenge For Automated Theorem Provers
      D. A. Randell, A. G. Cohn and Z. Cui
      Proceedings CADE 11, Springer Verlag, Berlin, (1992).
      [BibTeX] [PostScript] [gzipped PostScript]

    5. Exploiting Lattices in a Theory of Space and Time
      D. A. Randell and A. G. Cohn
      Computers and Mathematics with Applications, 23 (6-9), pp 459-476, (1992).
      [BibTeX]
      [ DOI (link to official publication)]

    6. Naive Topology: Modelling the Force Pump
      D. A. Randell, A. G. Cohn and Z. Cui
      Advances in Qualitative Physics, edited by P. Struss and B. Faltings, pp 177-192, MIT Press, (1992).
      [BibTeX] [PostScript] [gzipped PostScript]

    7. A Spatial Logic Based on Regions and Connection
      D. A. Randell, Z. Cui and A. G. Cohn
      Proc. 3rd Int. Conf. on Knowledge Representation and Reasoning, pp 165-176, Morgan Kaufmann, San Mateo, (1992).
      [BibTeX] [PostScript] [gzipped PostScript]

    1989 Publications

    1. Modelling Topological and Metrical Properties in Physical Processes
      D. A. Randell and A. G. Cohn
      Proceedings 1st International Conference on the Principles of Knowledge Representation and Reasoning, edited by R. Brachman, H. Levesque and R. Reiter, pp 55-66, Morgan Kaufmann, Los Altos, (1989).
      [BibTeX] [PDF]
      This is a slightly corrected version.

    This file was automatically generated by BibLogic at 22:36:2 18/8/2008