Leeds QSR Group Publications

All papers are in 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 are 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.

Contents:

1989 publications

  • Modelling Topological and Metrical Properties in Physical Processes
    D A Randell and A G Cohn
    Principles of Knowledge Representation and Reasoning, R Brachman, H Levesque & R Reiter (eds), Morgan Kaufmann, Los Altos, pp 55-66, 1989 [Slightly corrected version] Note that the figures are in a separate file

    1992 publications

  • Naive Topology: modelling the force pump
    D A Randell and A G Cohn
    Advances in Qualitative Physics, ed P Struss & B Faltings, MIT Press, pp 177-192, 1992.

  • Exploiting Lattices in a Theory of Space and Time
    D A Randell and A G Cohn
    Computers and Mathematics with Applications, vol 23(6-9) pp 459-476, 1992. [also appears in Exploiting Lattices in a Theory of Space and Time, in "Semantic Networks", ed: F Lehmann, Pergamon Press, Oxford, pp 459 - 476, 1992] [Not available electronically]

  • Computing Transitivity Tables: a Challenge for Automated Theorem Provers
    D A Randell, A G Cohn and Z Cui
    Proc. CADE 11, pp 786-790, Springer Verlag, 1992.

  • Qualitative Simulation based on a Logical Formalism of Space and Time
    Z Cui, A G Cohn and D A Randell
    Qualitative Simulation based on a Logical Formalism of Space and Time
    Proc. AAAI-92, AAAI Press, Menlo Park, California, pp 679 -- 684, 1992
    (A slightly longer version of this was presented at the QR92 workshop at Heriot Watt Univ, Aug 92).

  • Qualitative Simulation Based On A Logic Of Space And Time
    Z Cui, A G Cohn and D A Randell
    Presented at QR92, Heriott Watt University, Edinburgh, August 1992.

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

  • 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, Boston, October, 1992.
    (Slightly corrected version)

    1993 publications

  • Qualitative Spatial Reasoning and Representation
    A G Cohn, D A Randell, Z Cui and B Bennett
    Proc. QUARDET 93:Qualitative Reasoning and Decision Technologies, ed. N Piera Carrete and M G Singh, CIMNE, Barcelona, pp 513-522, June 1993.

  • 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 (guest editors: N. Guarino and R. Poli), vol 43, Issue 5-6, pp 831-846, 1995.\\ Note: 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.

  • Modal and Non Modal Qualitative Spatial Logics
    A G Cohn
    Workshop on Spatial and Temporal Reasoning at IJCAI93, Chambery, pp 87-92, 1993.

  • Qualitative and Topological Relationships in Spatial Databases
    Z Cui, A G Cohn and D A Randell
    In Lecture Notes in Computer Science No. 692, ed D Abel and B C Ooi, Springer Verlag, Berlin, pp 296-315, 1993.

    1994 publications

  • Spatial Reasoning with Propositional Logics
    B Bennett
    In J Doyle, E Sandewall and P Torasso (eds), Principles of Knowledge Representation and Reasoning: Proceedings of the Fourth International conference (KR94), Morgan Kaufmann, pp.51-62.

  • How Far Can We `C'? Defining a Doughnut Using Connection Alone
    N M Gotts
    In J Doyle, E Sandewall and P Torasso (eds), Principles of Knowledge Representation and Reasoning: Proceedings of the Fourth International conference (KR94), Morgan Kaufmann, pp.246-257.

  • Defining the Syntax and the Semantics of a Visual Programming Language in a Spatial Logic
    A G Cohn and J M Gooday
    Workshop on Spatial and Temporal Reasoning at AAAI-94, Seattle, July 1994.

  • Conceptual Neighbourhoods in Temporal and Spatial Reasoning
    J M Gooday and A G Cohn
    Workshop on Spatial and Temporal Reasoning at ECAI-94, Amsterdam, pp 57-63, August 1994.

  • Some Observations and Puzzles about Composing Spatial and Temporal Relations
    B Bennett
    Workshop on Spatial and Temporal Reasoning at ECAI-94, Amsterdam, pp 65 - 72, August 1994.

  • A Comparison of Structures in Spatial and Temporal Logics
    A G Cohn, J M Gooday and B Bennett
    In Philosophy and the Cognitive Sciences, R Casati and G White (eds.), Holder-Pichler-Tempsky, Vienna, pp 409 - 422, 1994.

  • Exploiting Temporal Continuity in Qualitative Spatial Calculi
    A G Cohn, N M Gotts, Z Cui, D A Randell, B Bennett and J M Gooday
    In Reginald G. Golledge and Max J. Egenhofer (eds) Spatial and Temporal Reasoning in Geographical Information Systems, Elsevier (forthcoming).

  • A Theory of Spatial Regions with Undetermined Boundaries
    A G Cohn and N M Gotts
    In Carola Eschenbach, Christopher Habel and Barry Smith (eds) `Topological Foundations of Cognitive Science'. Papers from the Workshop `Topological Foundations of Cognitive Science' at the First International Summer Institute in Cognitive Science, Buffalo, July 9-10, 1994. Reports of the Doctoral Program in Cognitive Science, University of Hamburg, Report 37, October 1994.

  • Defining a `Doughnut' Made Difficult
    N M Gotts
    In Carola Eschenbach, Christopher Habel and Barry Smith (eds) `Topological Foundations of Cognitive Science'. Papers from the Workshop `Topological Foundations of Cognitive Science' at the First International Summer Institute in Cognitive Science, Buffalo, July 9-10, 1994. Reports of the Doctoral Program in Cognitive Science, University of Hamburg, Report 37, October 1994.

  • Nonmonotonic Reasoning about Action and Change
    J M Gooday and A P Galton
    Proceedings of the MPI Workshop, 1st International Conference on Temporal Logics, Bonn, June 1994.

  • Spatial Regions with Undetermined Boundaries
    A G Cohn and N M Gotts
    Proceedings of the Second ACM Workshop on Advances in Geographic Information Systems, N Pissinou and K Makki (eds), pp.52-59, 1994.

    1995 publications

  • Towards a Decision Procedure for the RCC Theory of Spatial Regions
    B Bennett
    Proceedings of the AISB workshop on Automated Reasoning, University of Sheffield, April 1995.

  • Modal Logics for Qualitative Spatial Reasoning
    B Bennett
    Bulletin of the Interest Group in Pure and Applied Logic (IGPL), Eds. D Gabbay, R de Queiroz and H J Ohlbach.

  • Carving Up Space: existential axioms for a formal theory of spatial regions
    B Bennett
    Proceedings of the IJCAI95 workshop on Spatial and Temporal Reasoning, Montreal, 1995.

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

  • A Mereological Approach to Representing Spatial Vagueness
    A G Cohn and N M Gotts
    Working Papers, Ninth International Workshop on Qualitative Reasoning, pp.246-255, 1995.

  • The Challenge of Qualitative Spatial Reasoning
    A G Cohn
    Computing Surveys, Vol 27(3), pp 323-327, 1995.

  • Building maps of hyperspace
    C G Ralha and A G Cohn
    In Proc of the WWW National Conf Internet Multimedia Information (MI95), Braga, Portugal, 1995.

  • Towards an intelligent hyper-media environment for knowledge acquisition
    C G Ralha
    In Proc 2nd Groningen Int. Information Technology Conf. for Students (GRONICS95), pages 35--41, 1995.

    1996 publications

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

  • Using Spatial Logic to Describe Visual Programming Languages
    J M Gooday and A G Cohn
    Artificial Intelligence Review,Volume 10, pp.171-186, 1996.
    This paper also appears in Integration of Natural Language and Vision Processing (Vol. IV), ed P MckEvitt, Kluwer, 1996.

  • The Transition Calculus: A High-Level Formalism for Reasoning about Action and Change
    J M Gooday and A P Galton
    Journal of Theoretical and Applied Artificial Intelligence, 1996.

  • Transition-based Qualitative Simulation
    J M Gooday and A G Cohn
    Proceeding of the 10th International Workshop on Qualitative Reasoning, Lake Tahoe, California, AAAI press, pp 74 - 82, May 1996. AAAI press.

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

  • Formalising Commonsense Topology: The INCH Calculus
    N M Gotts
    In proceedings of the Fourth International Symposium on Artificial Intelligence and Mathematics, Fort Lauderdale, Florida, January 1996.

  • Visual Language Syntax and Semantics: A Spatial Logic Approach
    J M Gooday and A G Cohn
    Proceedings of the International Workshop on Theory of Visual Languages, Gubbio, Italy, May 1996.

  • Qualitative Reasoning for Automated Traffic Surveillance
    J H Fernyhough
    Proceedings of the 10 International Workshop on Qualitative Reasoning Lake Tahoe, California, AAAI Press, pp 40-42, May 1996.

  • Generation of Semantic Regions from Image Sequences
    J H Fernyhough,, A G Cohn and D C Hogg
    Proc ECCV'96, eds: B Buxton and R Cipolla, Lecture Notes in Computer Science, No. 1065, Springer, pp 475-48, 1996.

  • Carving Up Space: steps towards construction of an absolutely complete theory of spatial regions
    B Bennett
    Logics in Artificial Intelligence, Proceedings of JELIA'96, pp 337-353, eds: J.J. Alfres, L.M. Pereira and E. Orlowska, Springer, LNCS 1126.

  • Calculi for Qualitative Spatial Reasoning
    A G Cohn
    in Artificial Intelligence and Symbolic Mathematical Computation, LNCS 1138, eds: J Calmet, J A Campbell, J Pfalzgraf, Springer Verlag, 124-143, 1996. [This is a review paper of QSR techniques.]

  • The Application of Qualitative Spatial Reasoning to GIS
    B Bennett
    Proceedings of the 1st International conference on GeoComputation, ed. R.J. Abrahart, Leeds, UK, September 1996.

  • Representing Spatial Vagueness: A Mereological Approach
    A G Cohn and N M Gotts
    in Principles of Knowledge Representation and Reasoning: Proc 5th International Conference (KR96), Morgan Kaufmann, San Francisco, pp230-241, 1996.

  • A Framework for Dynamic Structuring of Information
    C G Ralha
    PhD thesis, School of Computer Studies, Universities of Leeds, 1996.

  • Structuring information in a distributed hyper media system
    C G Ralha
    In K O'Hara N Shadbolt and G Schreiber, editors, Advances in Knowledge Acquisition -- Proc 9th EKAW, pages 163--178. Springer Verlag, 1996.

  • Towards dynamic structuring of knowledge
    C G Ralha
    In Proc 2nd Knowledge Engineering Forum, Karlsruhe, 1996.

  • Topology from a Single Primitive Relation: Defining Topological Properties and Relations in Terms of Connection
    N M Gotts
    University of Leeds, School of Computer Studies, Technical Report 96_23.

  • Using the RCC Formalism to Describe the Topology of Spherical Regions
    N M Gotts
    University of Leeds, School of Computer Studies, Technical Report 96_24

  • An Axiomatic Approach to Topology for Spatial Information Systems
    N M Gotts
    University of Leeds, School of Computer Studies, Technical Report 96_25

    1997 publications

  • A Logical Approach to Incorporating Qualitative Spatial Reasoning into GIS (Extended Abstract)
    B Bennett, A G Cohn and A Isli.
    in the proceedings of the International Conference on Spatial Information Theory (COSIT), pp 503-504, 1997 (postscript version) (gzipped version)

  • 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.
    in the proceedings of the IJCAI97 workshop on Spatial and Temporal Reasoning. (gzipped version)

  • Event Recognition using Qualitative Reasoning on Automatically Generated Spatio-Temporal Models from Visual Input
    J Fernyhough, A G Cohn and D C Hogg.
    in the proceedings of the IJCAI97 workshop on Spatial and Temporal Reasoning. (gzipped version)

  • Event Recognition from Visual Input using Qualitative Reasoning on Automatically Generated Spatio-Temporal Models
    J Fernyhough, A G Cohn and D C Hogg.
    poster session abstracts, IJCAI97, Nagoya, p 35, 1997. (Note: the poster session abstracts do not appear in the normal published proceedings) (gzipped version)

  • Qualitative Spatial Representation and Reasoning with the Region Connection Calculus
    A G Cohn, B Bennett, J Gooday N M Gotts
    Geoinformatica, 1(3), pp 1-42, 1997. (The version here is formatted slightly differently, in particular the way references are cited.)

  • Qualitative Spatial Representation and Reasoning Techniques
    A G Cohn,
    in Proc KI-97, Springer Verlag, LNAI 1303, eg G Brewka, Ch. Habel, B Nebel, pp 1-30. (This is a revised version of the AISMC96 paper)

  • Representing and Reasoning with Qualitative Spatial Relations about Regions
    A G Cohn, B Bennett, J Gooday N M Gotts
    in Spatial and Temporal Reasoning, Oliviero Stock (Ed.), Kluwer Publishing Company, pp 97-134, 1997.

  • Combining Multiple Representations in a Spatial Reasoning System
    B Bennett, A G Cohn and A Isli.
    in Proceedings of the 9th IEEE International Conference on Tools with Artificial Intelligence (ICTAI'97), Newport Beach, CA, pp 314-322, 1997 (postscript version) (gzipped version)

  • Logical Representations for Automated Reasoning about Spatial Relationships
    B Bennett.
    PhD Thesis, October 1997, The University of Leeds, School of Computer Studies. (Read Abstract)

    1998 publications

  • Building Qualitative Event Models Automatically from Visual Input
    J Fernyhough, A G Cohn and D C Hogg.
    in Proc. Int. Conf. on Computer Vision (ICCV98), IEEE, pp 350-355, Narosa Publishing House, 1998 (gzipped version)

  • 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
    In Proceedings of the 11th International Conference on Industrial & Engineering Applications of Artificial Intelligence & Expert Systems (IEA-AIE), Springer Verlag, Lecture Notes in Artificial Intelligence 1415, (1998) 281-290. (gzipped version)

  • Temporal Constraint Satisfaction Techniques in Job Shop Scheduling Problem Solving
    S Belhadji and A Isli.
    to appear in CONSTRAINTS, Volume 3 (2 & 3), Special Issue on Spatial and Temporal Reasoning, Kluwer, (1998) 203-211. (gzipped version)

  • Determining Consistency of Topological Relations
    B. Bennett.
    CONSTRAINTS, Volume 3 (2 & 3), Special Issue on Spatial and Temporal Reasoning, Kluwer, (1998) 213-225. (gzipped version)

  • An Algebra for Cyclic Ordering of 2D Orientations
    A Isli and A G Cohn.
    In Proceedings of the 15th American Conference on Artificial Intelligence (AAAI), Madison, WI, (1998) 643--649, AAAI/MIT Press. (gzipped version)

  • Qualitative Spatial Reasoning à la Allen: An Algebra for Cyclic Ordering of 2D Orientations (A slightly longer version of the AAAI-98 paper)
    A Isli and A G Cohn.
    In: Feng Zhao & Kenneth Yip (editors), Proceedings of Qualitative Reasoning: The Twelfth International Workshop, Cape Cod, Massachusetts, (1998) 65-76, AAAI Technical Report WS-98-01, AAAI Press.

  • Modal Semantics for Knowledge Bases dealing with Vague Concepts
    B. Bennett.
    In AG Cohn, and L Schubert (eds), Principles of Knowledge Representation and Reasoning: Proceedings of the Fourth International conference (KR98), Morgan Kaufmann, (1998) 234-244. (gzipped version)

  • Connection Relations in Mereotopology
    A G Cohn and A Varzi.
    To appear in Proc. 13th European Conf. on AI (ECAI98), ed. H Prade, pp 150-154, John Wiley, 1998. (gzipped version)