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.
Other publications from members of the QSR group may be found elsewhere:

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

Publications arising out of the Ordnance Survey funded "Confluence" project can be found here,.

You may also wish to search the Leeds School of Computing
publications database or the White Rose Repository.
 2013 Publications
 2012 Publications
 2011 Publications
 2010 Publications
 2009 Publications
 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
2013 Publications

A survey of qualitative spatial representations
J. Chen, A. G. Cohn, D. Liu, S. Wang, J. Ouyang and Q. Yu
The Knowledge Engineering Review, FirstView , pp 131, (10 2013).
[BibTeX]
[DOI]
[pdf ]

An Ontologybased Multilevel Robot Architecture for Learning from Experiences
S. Rockel, B. Neumann, J. Zhang, S. K. R. Dubba, A. G. Cohn, S. Konecny, M. Mansouri, F. Pecora, A. Saffiotti, M. Günther, S. Stock, J. Hertzberg, A. M. Tom\'e, A. J. Pinho, L. S. Lopes, S. Riegen and L. Hotz
Designing Intelligent Robots: Reintegrating AI II, Papers from the 2013 AAAI Spring Symposium, Palo Alto, California, USA, March 2527, 2013, AAAI Technical Report, SS1304 , AAAI, (2013).
[BibTeX]
[DOI]
[ pdf ]

Carried Object Detection and Tracking Using Geometric Shape Models and Spatiotemporal Consistency
A. Tavanai, M. Sridhar, F. Gu, A. G. Cohn and D. C. Hogg
"Computer Vision Systems  9th International Conference, ICVS 2013, St Petersburg, Russia, July 1618, 2013, Proceedings", edited by M. Chen, B. Leibe and B. Neumann, Lecture Notes in Computer Science, 7963 , pp 223233, Springer, (2013).
[BibTeX]
[DOI]
[ pdf ]>
2012 Publications

Workflow Activity Monitoring using the Dynamics of Pairwise Qualitative Spatial Relations
A. Behera, A. G. Cohn and D. C. Hogg
International Conference on MultiMedia Modeling (MMM), Klagenfurt, Austria, (2012).
[BibTeX]
[PDF]

Egocentric Activity Monitoring and Recovery
A. Behera, D. C. Hogg and A. G. Cohn
Proc. ACCV 2012, (2012).
[BibTeX]
[PDF]

Thinking inside the box: A comprehensive spatial representation for video analysis
A. G. Cohn, J. Renz and M. Sridhar
Proceedings of 13th International Conference on Principles of Knowledge Representation and Reasoning, (2012).
[BibTeX]
[PDF]

Building semantic scene models from unconstrained video
H. M. Dee, D. C. Hogg and A. G. Cohn
Computer Vision and Image Understanding, 116 , (2012).
[BibTeX]
DOI: http://dx.doi.org/10.1016/j.cviu.2011.09.005

A Qualitative Trajectory Calculus to Reason about Moving Point Objects
M. Delafontaine, S. H. Chavoshi, A. G. Cohn and N. V. Weghe
Qualitative Spatiotemporal Representation and Reasoning: Trends and Future Directions, edited by S. M. Hazarika, pp 147167, IGI Global, (2012).
[BibTeX]
[PDF]

Reasoning with Topological and Directional Spatial Information
S. Li and A. G. Cohn
Computational Intelligence, 28 , pp 579616, (2012).
[BibTeX]
[PDF]
[DOI]

A RegionBased Ontology of the Brain Ventricular System and Its Relation to Schizophrenia
P. Santos, R. Freire, D. N. Santos, C. Thomaz, P. Sallet, M. Louza and A. G. Cohn
Qualitative Spatiotemporal Representation and Reasoning: Trends and Future Directions, edited by S. M. Hazarika, pp 256273, IGI Global, (2012).
[BibTeX]
[PDF]
2011 Publications

Topological Coding in the Hippocampus
Y. Dabaghian, A. G. Cohn and L. Frank
Computational Modeling and Simulation of Intellect: Current State and Future Perspectives, pp 293320, (2011).
[BibTeX]
(link to official publication)

Implementing a qualitative calculus to analyse moving point objects
M. Delafontaine, A. G. Cohn and N. V. Weghe
Expert Systems with Applications, 38 (5), pp 51875196, (2011).
[BibTeX]
doi (link to official publication

Inferring additional knowledge from QTC_N relations
M. Delafontaine, P. Bogaert, A. G. Cohn, F. Witlox, P. D. Maeyer and N. V. Weghe
Inf. Sci., 181 (9), pp 15731590, (2011).
[BibTeX]
doi (link to official publication)

Benchmarking Qualitative Spatial Calculi for Video Activity Analysis
M. Sridhar, A. G. Cohn and D. C. Hogg
Proc. IJCAI Workshop Benchmarks and Applications of Spatial Reasoning, pp 1520, (2011).
[BibTeX]
[PDF]

From Video to RCC8: Exploiting a Distance Based Semantics to Stabilise the Interpretation of Mereotopological Relations
M. Sridhar, A. G. Cohn and D. C. Hogg
COSIT, edited by M. J. Egenhofer, N. A. Giudice, R. Moratz and M. F. Worboys, Lecture Notes in Computer Science, 6899 , pp 110125, Springer, (2011).
[BibTeX]
[PDF]
Awarded Best Paper prize

Exploiting petrinet structure for activity classification and user instruction within an industrial setting
S. F. Worgan, A. Behera, A. G. Cohn and D. C. Hogg
International Conference on Multimodal Interaction (ICMI), Alicante, Spain, (2011).
[BibTeX]
[PDF]
2010 Publications

Event Model Learning from Complex Videos using ILP
Krishna S. R. Dubba, A. G. Cohn and D. C. Hogg
Proc. ECAI, Frontiers in Artificial Intelligence and Applications, 215 , pp 9398, IOS Press, (2010).
[BibTeX]
[PDF]

Discovering an Event Taxonomy from Video using Qualitative Spatiotemporal Graphs
M. Sridhar, A. G. Cohn and D. C. Hogg
Proc. ECAI, Frontiers in Artificial Intelligence and Applications, 215 , pp 11031104, IOS Press, (2010).
[BibTeX]
[PDF]

Unsupervised Learning of Event Classes from Video
M. Sridhar, A. G. Cohn and D. C. Hogg
Proc. AAAI, pp 16311638, AAAI Press, (2010).
[BibTeX]
[PDF]

Psychophysical Evaluation for a Qualitative Semantic Image Categorisation and Retrieval Approach
Z. UlQayyum, A. G. Cohn and A. Klippel
Trends in Applied Intelligent Systems: Proceedings of 23rd International Conference on Industrial, Engineering and Other Applied Intelligent Systems (IEA/AIE' 10), Part III, LNAI, 6098 , pp 321331, Springer Verlag, (2010).
[BibTeX]
[PDF]
The original version of this paper can be found online at www.springerlink.com. The version here is the author prepublication version.
2009 Publications

Scene Modelling and Classification Using Learned Spatial Relations
H. M. Dee, D. C. Hogg and A. G. Cohn
Proc. COSIT09, Lecture Notes in Computer Science, 5756 , pp 295311, Springer, (2009).
[BibTeX]
[ DOI (link to official publication)]
2008 Publications

An Ontology for Grounding Vague Geographic Terms
B. Bennett, D. Mallenby and A. Third
Proceedings of the 5th International Conference on Formal Ontology in Information Systems (FOIS08), edited by C. Eschenbach and M. Gruninger, IOS Press, (2008).
[BibTeX]
[PDF]

Combining Logic and Probability in Tracking and Scene Interpretation
B. Bennett
Logic and Probability for Scene Interpretation, Dagstuhl Seminar Proceedings, (2008).
[BibTeX]
[PDF]

Enhanced Tracking and Recognition of Moving Objects by Reasoning about SpatioTemporal Continuity
B. Bennett, D. R. Magee, A. G. Cohn and D. C. Hogg
Image and Vision Computing, 26 (1), pp 6781, Elsevier, (January 2008).
[BibTeX]
[PDF]
[DOI]
Please do not read the version distributed by Elsevier as the publishers have severely mangled many of the formulae.

Approximation
T. Bittner and J. G. Stell
Encyclopedia of GIS, edited by S. Shekhar and H. Xiong, pp 2125, Springer, (2008).
[BibTeX]

Conceptual Neighborhood
A. G. Cohn
Encyclopedia of GIS, edited by S. Shekhar and H. Xiong, pp 123, Springer, (2008).
[BibTeX]
[ DOI (link to official publication)]

Mereotopology
A. G. Cohn
Encyclopedia of GIS, edited by S. Shekhar and H. Xiong, pp 652, Springer, (2008).
[BibTeX]
[ DOI (link to official publication)]

Modelling Scenes Using the Activity within Them
H. M. Dee, R. Fraile, D. C. Hogg and A. G. Cohn
Spatial Cognition VI. Learning, Reasoning, and Talking about Space, International Conference Spatial Cognition 2008, Freiburg, Germany, September 1519, 2008. Proceedings, edited by C. Freksa, N. S. Newcombe, P. G\"ardenfors and S. W\"olfl, Lecture Notes in Computer Science, 5248 , pp 394408, Springer, (2008).
[BibTeX]
[ DOI (link to official publication)]

Learning Functional ObjectCategories from a Relational SpatioTemporal Representation
M. Sridhar, A. G. Cohn and D. C. Hogg
ECAI, edited by M. Ghallab, C. D. Spyropoulos, N. Fakotakis and N. M. Avouris, Frontiers in Artificial Intelligence and Applications, 178 , pp 606610, IOS Press, (2008).
[BibTeX]
[PDF]

A Theory of Change for Attributed Spatial Entities
J. G. Stell and M. F. Worboys
Geographic Information Science, 5th International Conference, GIScience 2008, Park City, UT, USA, September 2326, 2008. Proceedings, edited by T. J. Cova, H. J. Miller, K. Beard, A. U. Frank and M. F. Goodchild, Lecture Notes in Computer Science, 5266 , pp 308319, Springer, (2008).
[BibTeX]
2007 Publications

Knowledgebased recognition of utility map subdiagrams
A.G. Cohn and S. J. Hickinbotham
Proc. Ninth International Conference on Document Analysis and Recognition (ICDAR 2007), pp 213217, {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 0769528228'

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

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

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]

Topological Maps from Signals
Y. Dabaghian, A. G. Cohn and L. Frank
Proc ACMGIS'07, pp 392395, 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 79, 2007, Seattle, WA) ISBN 9781595939142/07/11. The paper was selected for the runnerup best poster award.

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 210227, Springer, Mexico City, (November 2007).
[BibTeX]
[PDF]

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

Relations in Mathematical Morphology with Applications to Graphs and Rough Sets
J. G. Stell
Spatial Information Theory, 8th International Conference, COSIT 2007, Melbourne, Australia, September 1923, 2007, Proceedings, edited by S. Winter, M. Duckham, L. Kulik and B. Kuipers, Lecture Notes in Computer Science, 4736 , pp 438454, Springer, (2007).
[BibTeX]

How to handle incomplete knowledge concerning moving objects
N. Van de Weghe, P. Bogaert, A. G. Cohn, M. Delafontaine, D. Temmerman, N. T. L., P. De Maeyer and F. Witlox
Proceedings of the International Workshop on Behaviour Monitoring and Interpretation, in conjunction with the 30th German Conference on Artificial Intelligence ( KI ), pp p. 91101, (2007).
[BibTeX]
[PDF]
Proceedings of workshop available at http://www.tzi.de/fileadmin/resources/publikationen/tzi_berichte/TZIBerichtNr._42.pdf
2006 Publications

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 3645, AAAI Press, (2006).
[BibTeX]
[PDF]

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]

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 SemanticBased Geographical Information Systems (SeBGIS), Springer, (2006).
[BibTeX]
[PDF]

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 97119, (2006).
[BibTeX]
[PDF]
2005 Publications

A Research Roadmap of Cognitive Vision

P Auer et al, ECVISION, www.ecvision.org, (2005).
[BibTeX]
[PDF]

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

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

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 (IJCAI05), edited by L. P. Kaelbling and A. Saffiotti, pp 564569, Professional Book Center, Edinburgh, (2005).
[BibTeX]
[PDF]

Representing Moving Objects in ComputerBased 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 977983, (November 2005).
[BibTeX]
[PDF]
[ DOI (link to official publication)]

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

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

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

Using SpatioTemporal 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 (ECAI04), edited by L. Saitta, IOS Press, (2004).
[BibTeX]
[PDF]

Autonomous learning for a cognitive agent using continuous models and inductive logic programming from audiovisual 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]

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 (ECAI04), (2004).
[BibTeX]
[PDF]

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

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

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 187194, University of G\"avle, Sweden, (79 June 2004).
[BibTeX]
[PDF]
2003 Publications

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

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]

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 286303, (2003).
[BibTeX]
[PDF]

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

Towards an Architecture for Cognitive Vision using Qualitative SpatioTemporal 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 232248, Springer, (2003).
[BibTeX]
[PDF]

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 268285, (2003).
[BibTeX]
[PDF]

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

Qualitative Extents for SpatioTemporal Granularity
J. G. Stell
Spatial Cognition and Computation, 3 , pp 119136, (2003).
[BibTeX]
[PDF]

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

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 120, (March 2002).
[BibTeX]
[PostScript]
[gzipped PostScript]

MultiDimensional Modal Logic as a Framework for SpatioTemporal Reasoning
B. Bennett, A. G. Cohn, F. Wolter and M. Zakharyaschev
Applied Intelligence, 17 (3), pp 239251, (2002).
[BibTeX]
[PostScript]
[gzipped PostScript]
[ DOI (link to official publication)]

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]

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

SpaceML: A Markup Language for Spatial Knowledge
M. Cristani and A. G. Cohn
Journal of Visual Languages and Computing, 13 (1), pp 97116, (2002).
[BibTeX]
[PDF]
[DOI]

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]

Modeling Interaction Using Learnt Qualitative SpatioTemporal 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 741745, (2002).
[BibTeX]
[PDF]

Abducing Qualitative SpatioTemporal 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 1425, Morgan Kaufmann, (2002).
[BibTeX]
[PDF]

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 276290, (2002).
[BibTeX]
[PDF]

A Framework for OrderSorted 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 396410, (2002).
[BibTeX]
[PDF]

Mereotopology in 2ndorder and modal extensions of intuitionistic logic
P. Torrini, J. G. Stell and B. Bennett
Journal of Applied NonClassical Logics, 12 , (2002).
[BibTeX]
[PostScript]
[gzipped PostScript]

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

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 578590, (2002).
[BibTeX]
[PDF]
[DOI (link to official publication)]
2001 Publications

A Categorical Axiomatisation of RegionBased Geometry
B. Bennett
Fundamenta Informaticae, 46 , pp 145158, (2001).
[BibTeX]
[PostScript]
[gzipped PostScript]

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

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 108123, Springer, Morro Bay, (2001).
[BibTeX]
[PostScript]
[gzipped PostScript]

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 105116, ACM, Ogunquit, (2001).
[BibTeX]
[PostScript]
[gzipped PostScript]

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

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 445453, Springer, (2001).
[BibTeX]
[PostScript]

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

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

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

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

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 89103, (2001).
[BibTeX]

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 118123, ACM, (2001).
[BibTeX]

Qualitative SelfLocalization using a SpatioTemporal Ontology: A Preliminary Report
S. M. Hazarika and A. G. Cohn
IJCAI2001 Workshop on Spatial and Temporal Reasoning with Agents' Focus, (2001).
[BibTeX]
[PostScript]
[gzipped PostScript]

Qualitative SpatioTemporal 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 92107, Springer, Morro Bay,CA, (2001).
[BibTeX]
[PostScript]
[gzipped PostScript]

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

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

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 139150, ACM, (2001).
[BibTeX]
[PostScript]
[gzipped PostScript]
2000 Publications

A Foundation for RegionBased Qualitative Geometry
B. Bennett, A. G. Cohn, P. Torrini and S. M. Hazarika
Proceedings of ECAI2000, edited by W. Horn, pp 204208, (2000).
[BibTeX]
[PostScript]
[gzipped PostScript]

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]

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

RegionBased 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]

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

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

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

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

Boolean Connection Algebras: A New Approach to the RegionConnection Calculus
J. G. Stell
Artificial Intelligence, 122 , pp 111136, (2000).
[BibTeX]

The Representation of Discrete Multiresolution 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 3849, Morgan Kaufmann, (2000).
[BibTeX]
1999 Publications

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

MultiDimensional MultiModal Logics as a Framework for SpatioTemporal Reasoning
B. Bennett and A. G. Cohn
Working notes of the `Hot Topics in SpatioTemporal Reasoning' workshop, IJCAI99, Stockholm, (1999).
[BibTeX]
[PostScript]
[gzipped PostScript]

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 299314, SpringerVerlag, (1999).
[BibTeX]
[PostScript]
[gzipped PostScript]

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

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

A System Handling RCC8 Queries on 2D Regions Representable in the Closure Algebra of HalfPlanes
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 (IEAAIE), LNCS, SpringerVerlag, (1998).
[BibTeX]
[PostScript]
[gzipped PostScript]

Determining Consistency of Topological Relations
B. Bennett
Constraints, 3 (23), pp 213225, (June 1998).
[BibTeX]
[PostScript]
[gzipped PostScript]

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

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

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 350355, Narosa, (1998).
[BibTeX]
[PostScript]
[gzipped PostScript]

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

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 6576, AAAI Press, Cape Cod, MA, (1998).
[BibTeX]
[PostScript]
[gzipped PostScript]
A slightly extended version of the AAAI98 paper.
1997 Publications

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 503504, (1997).
[BibTeX]
[PostScript]
[gzipped PostScript]

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.

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 IJCAI97 workshop on Spatial and Temporal Reasoning, Nagoya, Japan, (1997).
[BibTeX]
[PostScript]
[gzipped PostScript]

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 (TAI97), pp 314322, Newport Beach, CA, (1997).
[BibTeX]
[PostScript]
[gzipped PostScript]

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.

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.

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

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

Event Recognition using Qualitative Reasoning on Automatically Generated SpatioTemporal 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

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 337353, (1996).
[BibTeX]
[PostScript]
[gzipped PostScript]

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

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

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 124143, Springer Verlag, , ( 1996).
[BibTeX]
[PostScript]
[gzipped PostScript]

The `EggYolk' 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 171187, Francis Taylor, (1996).
[BibTeX]
[PostScript]
[gzipped PostScript]

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 (KR96), edited by J. D. L C Aiello and S. Shapiro, pp 230241, Morgan Kaufmann, (1996).
[BibTeX]
[PostScript]
[gzipped PostScript]

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

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 (ECCV96), edited by H. Buxton and R. Cipolla, LNCS, 1065 , pp 47548, (1996).
[BibTeX]
[PostScript]
[gzipped PostScript]

TransitionBased Qualitative Simulation
J. M. Gooday and A. G. Cohn
Proceeding of the 10th International Workshop on Qualitative Reasoning, pp 7482, AAAI press, (1996).
[BibTeX]
[PostScript]
[gzipped PostScript]

The Transition Calculus: A HighLevel 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]

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]

A connection based approach to commonsense topological description and reasoning
N. M. Gotts, J. M. Gooday and A. G. Cohn
The Monist, 79 (1), pp 5175, (1996).
[BibTeX]
[PostScript]
[gzipped PostScript]

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]

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]

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]

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

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

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 163178, Springer Verlag, (1996).
[BibTeX]

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

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]

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]

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

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 246255, (1995).
[BibTeX]
[PostScript]
[gzipped PostScript]

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 316 (part C), (1995).
[BibTeX]
[PostScript]
[gzipped PostScript]

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

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

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]

Towards an intelligent hypermedia environment for Knowledge Acquisition
C. G. Ralha
Proceedings of the 2nd Groningen International Information Technology Conference for Students (GRONICS95), pp 3541, (1995).
[BibTeX]
1994 Publications

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

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]

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\"olderPichlerTempsky, Vienna, (1994).
[BibTeX]
[PostScript]
[gzipped PostScript]

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]

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

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]

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 HumanComputer 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.

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

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]

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]

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 272279, ACM Press, (1994).
[BibTeX]
[DOI (link to official publication)]
1993 Publications

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]

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 513522, CIMNE, Barcelona, (1993).
[BibTeX]
[PostScript]
[gzipped PostScript]

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 293315, Springer Verlag, Berlin, (1993).
[BibTeX]
[PostScript]
[gzipped PostScript]

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

QSQR:Quantitatively Scoped Qualitative Reasoning
C. MacNish, A. Galton and J. M. Gooday
Proceedings SCAI93, Stockholm, (April 1993).
[BibTeX]
1992 Publications

Qualitative Simulation Based on a Logic of Space and Time
Z. Cui, A. G. Cohn and D. A. Randell
QR92, HeriotWatt University, Scotland, (1992).
[BibTeX]
[PDF]

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

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

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]

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

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 177192, MIT Press, (1992).
[BibTeX]
[PostScript]
[gzipped PostScript]

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 165176, Morgan Kaufmann, San Mateo, (1992).
[BibTeX]
[PostScript]
[gzipped PostScript]
1989 Publications

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 5566, Morgan Kaufmann, Los Altos, (1989).
[BibTeX]
[PDF]
This is a slightly corrected version.
This file was automatically generated by BibLogic at 3:23:55 24/10/2013