Publications of
Brandon Bennett

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.

  • 2004 Publications
  • 2003 Publications
  • 2002 Publications
  • 2001 Publications
  • 2000 Publications
  • 1999 Publications
  • 1998 Publications
  • 1997 Publications
  • 1996 Publications
  • 1995 Publications
  • 1994 Publications
  • 1993 Publications

    • 2004 Publications

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

    2. 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 Lorenza Saitta, IOS Press, (2004).
      [BibTeX] [PDF]

    3. 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]

    2003 Publications

    1. 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]

    2. 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]

    3. Spatial Cognition and Computation: special issue on spatial vagueness, uncertainty and granularity
      edited by Brandon Bennett and Matteo 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. Mereotopology in 2nd-Order and Modal Extensions of Intuitionistic Propositional Logic
      P. Torrini, J. G. Stell and B. Bennett
      Journal of Applied Non-Classical Logics, 12 , pp 495-525, (2002).
      [BibTeX] [PDF]

    3. 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]

    4. 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]

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

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

    2001 Publications

    1. 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]

    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. A Categorical Axiomatisation of Region-Based Geometry
      B. Bennett
      Fundamenta Informaticae, 46 , pp 145-158, (2001).
      [BibTeX] [PostScript] [gzipped PostScript]

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

    5. 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]

    6. 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]

    2000 Publications

    1. 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 Henry A. Kautz and Bruce Porter, pp 503-509, (2000).
      [BibTeX] [PostScript] [gzipped PostScript]

    2. 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]

    3. Spatial Locations via Morpho-Mereology
      M. Cristani, A. G. Cohn and B. Bennett
      Proceedings of KR'2000, (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. 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]

    1999 Publications

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

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

    1998 Publications

    1. Determining Consistency of Topological Relations
      B. Bennett
      Constraints, 3 (2-3), pp 213-225, (June 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. 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 Anthony G. Cohn and Leonard Schubert and S. Shapiro, pp 234-244, Morgan Kaufman, (1998).
      [BibTeX] [PostScript] [gzipped PostScript]

    1997 Publications

    1. 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]

    2. 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]

    3. 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]

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

    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 Golledge, R G and Egenhofer, M J, 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. 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]

    7. 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 Stock, O, Kluwer, (1997).
      [BibTeX] [PostScript] [gzipped PostScript]
      The published version contains many Latex bugs introduced after the Latex left Leeds. This version corrects these.

    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 J.J. Alfres, L.M. Pereira 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]

    1995 Publications

    1. 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]

    2. 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]

    1994 Publications

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

    2. Some Observations and Puzzles about Composing Spatial and Temporal Relations
      B. Bennett
      Proceedings ECAI-94 Workshop on Spatial and Temporal Reasoning, edited by Rodr\'iguez, R, (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 Casati, R and Smith, B and White, G, H\"older-Pichler-Tempsky, Vienna, (1994).
      [BibTeX] [PostScript] [gzipped PostScript]

    1993 Publications

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

    This file was automatically generated by BibLogic at 23:0:21 15/8/2004