Publications of
Brandon Bennett

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. Anyone making use of this material 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.

  • 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

    • 2008 Publications

    1. A Framework for Utility Data Integration in the UK
      A. R. Beck, G. Fu, A. G. Cohn, B. Bennett and J. G. Stell
      Proceedings of the Urban Data Management Society Symposium 2007, edited by V. Coors, M. Rumor, E. M. Fendel and S. Zlatanova, Taylor and Francis, Stuttgart, Germany, (2008).
      [BibTeX]

    2. 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 (FOIS-08), edited by C. Eschenbach and M. Gruninger, IOS Press, (2008).
      [BibTeX] [PDF]

    3. Combining Logic and Probability in Tracking and Scene Interpretation
      B. Bennett
      Logic and Probability for Scene Interpretation, edited by R. M\"oller, Dagstuhl Seminar Proceedings, (2008).
      [BibTeX] [PDF]

    4. 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]
      Please do not read the version distributed by Elsevier as the publishers have severely mangled many of the formulae.

    5. Cognitive Context and Arguments from Ontologies for Learning
      C. Panayioutou and B. Bennett
      Proceedings of the 5th International Conference on Formal Ontology in Information Systems (FOIS-08), edited by C. Eschenbach and M. Gruninger, IOS Press, (2008).
      [BibTeX] [PDF]

    2007 Publications

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

    2. 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 , pp 78-95, Springer, (2007).
      [BibTeX] [PDF] [DOI]

    3. Spatial Reasoning
      B. Bennett
      Encyclopedia of Geographic Information Science, edited by K. K. Kemp, Sage, (2007).
      [BibTeX]

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

    5. Architecture for a Grounded Ontology of Geographic Information
      A. Third, B. Bennett and D. Mallenby
      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 36-50, Springer, Mexico City, (November 2007).
      [BibTeX]

    6. Automatic Grounding of Vague Geographic Ontology in Data
      A. Third, B. Bennett and D. Mallenby
      GeoComputaton, proceedings of the second international conference, edited by U. Dem\vsar and S. A. Fotheringham, Online, Maynooth, Ireland, (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. Cognitive Vision: integrating symbolic qualitative representations with computer vision
      A. G. Cohn, D. C. Hogg, B. Bennett, V. Devin, A. Galata, D. R. Magee, C. Needhap and P. Santos
      Cognitive Vision Systems: sampling the spectrum of approaches, edited by H. I. Christensen and H. H. Nagel, LNCS, 3948 , pp 221-246, Springer, (2006).
      [BibTeX]

    2005 Publications

    1. Enforcing Global Spatio-Temporal Consistency to Enhance Reliability of Moving Object Tracking and Classification
      B. Bennett, A. G. Cohn and D. Magee
      KI, 19 (2), pp 32-35, (2005).
      [BibTeX]

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

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

    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, Edinburgh, (2005).
      [BibTeX] [PDF] [URL]

    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, pp 107-118, 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, pp 922-926, IOS Press, (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] [PostScript] [gzipped PostScript]

    2. Foresight Report on IJCAI-03
      B. Bennett
      UK Government, Foresight Programme, (2003).
      [BibTeX] [PDF]

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

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

    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]

    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, pp 395-406, Morgan Kaufmann, San Francisco, CA, (2002).
      [BibTeX] [PDF]

    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 (3-4), pp 495-525, (2002).
      [BibTeX] [PostScript] [gzipped PostScript]

    5. 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 , pp 527-559, (2002).
      [BibTeX] [PostScript] [gzipped PostScript]

    2001 Publications

    1. A Categorical Axiomatisation of Region-Based Geometry
      B. Bennett
      Fundamenta Informaticae, 46 (1-2), 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
      Proceedings of the fifth international Conference on Spatial Information Theory (COSIT'01), edited by D. R. Montello, LNCS, 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] [PDF]

    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. A Note on Proximity Spaces and Connection-Based Mereology
      D. Vakarelov, I. Duentsch and B. Bennett
      Proc. 2nd International Conference on Formal Ontology in Infor mation 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. 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]

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

    4. Research Note on Tarski's Elementary Geometry
      B. Bennett
      University of Leeds, School of Computer Studies, (January 2000).
      [BibTeX] [PostScript] [gzipped PostScript]

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

    1999 Publications

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

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

    1998 Publications

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

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

    4. Exploiting Temporal Continuity in Temporal 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, (1998).
      [BibTeX] [PostScript] [gzipped PostScript]

    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] [DOI]

    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. 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. Logical Representations for Automated Reasoning about Spatial Relationships
      B. Bennett
      PhD thesis, School of Computing, The University of Leeds, (1997).
      [BibTeX] [URL]

    5. RCC: a Calculus for Region-Based Qualitative Spatial Reasoning
      A. G. Cohn, B. Bennett, J. Gooday and N. Gotts
      GeoInformatica, 1 , pp 275-316, (1997).
      [BibTeX] [PDF]

    6. Representing and Reasoning with Qualitative Spatial Relations about Regions
      A. G. Cohn, B. Bennett, J. Gooday and N. Gotts
      Temporal and spatial reasoning, edited by O. Stock, Kluwer, (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 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. 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 Logical Approach to Representing and Reasoning about Space
      A. G. Cohn, J. M. Gooday, B. Bennett and N. M. Gotts
      AI Review, 9 , pp 255-259, (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]

    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 N. P. Carret\'e and M. G. Singh, pp 513-522, CIMNE, Barcelona, (1993).
      [BibTeX] [PostScript] [gzipped PostScript]

    This file was automatically generated by BibLogic at 13:20:32 13/10/2008