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.

2009 Publications

1. Critical Thinking Attitudes for Reasoning with Points of View
   C. Panayiotou and B. Bennett
   Proceedings of the 8th IEEE International Conference on Cognitive Informatics (ICCI-09), edited by G. Baciu and Y. Yao, Hong Kong, (2009).
   [BibTeX]

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] [PDF]
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öller, Dagstuhl Seminar Proceedings, (2008).
   [BibTeX] [PDF]
4. Spatial Reasoning
   B. Bennett
   Encyclopedia of Geographic Information Science, edited by K. K. Kemp, pp 426-432, Sage, (2008).
   [BibTeX]
5. 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.
6. Interacting with an Ontology to Explore Historical Domains
   I. Corda, B. Bennett and V. Dimitrova
   Proceedings of the first international workshop on Ontologies in Interactive Systems (ONTORACT-08), edited by M. M. Bouamrane, S. Luz and M. Masoodian, pp 65-74, IEEE, (September 2008).
   [BibTeX] [DOI]
7. Semantic Web Reasoning Tutoring Agent
   C. Panayiotou and B. Bennett
   Intelligent Tutoring Systems, 9th International Conference (ITS-08), edited by B. B. Woolf, E. A\"\imeur, R. Nkambou and S. P. Lajoie, LNCS, 5091 , pp 816-818, Montreal, (2008).
   [BibTeX]
8. 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. 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]
4. 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]
5. 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]
3. Formal Ontology in Information Systems, Proceedings of the Fourth international Conference (FOIS-06)
   edited by B. Bennett and C. Fellbaum, Frontiers in Artificial Intelligence and Applications, 150 , IOS Press, Amsterdam, (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]

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

2001 Publications

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

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

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] [PDF]
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] [PDF]
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] [PDF]
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ölder-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]