Qualitative spatial representation and reasoning with the region connection calculus AG Cohn, B Bennett, J Gooday, NM Gotts geoinformatica 1, 275-316, 1997 | 735 | 1997 |
Spatial reasoning with propositional logics B Bennett Principles of Knowledge Representation and Reasoning, 51-62, 1994 | 277 | 1994 |
Representing and reasoning with qualitative spatial relations about regions AG Cohn, B Bennett, J Gooday, NM Gotts Spatial and temporal reasoning, 97-134, 1997 | 264 | 1997 |
Multi-dimensional modal logic as a framework for spatio-temporal reasoning B Bennett, AG Cohn, F Wolter, M Zakharyaschev Applied Intelligence 17, 239-251, 2002 | 231 | 2002 |
Modal logics for qualitative spatial reasoning B Bennett Logic Journal of the IGPL 4 (1), 23-45, 1996 | 217 | 1996 |
What is a forest? On the vagueness of certain geographic concepts B Bennett Topoi 20 (2), 189-201, 2001 | 181 | 2001 |
RCC: a calculus for region based qualitative spatial reasoning AG Cohn, B Bennett, JM Gooday, N Gotts GeoInformatica 1 (3), 275-316, 1997 | 175 | 1997 |
A unifying semantics for time and events B Bennett, AP Galton Artificial Intelligence 153 (1-2), 13-48, 2004 | 111 | 2004 |
A proximity approach to some region-based theories of space D Vakarelov, G Dimov, I Düntsch, B Bennett Journal of applied non-classical logics 12 (3-4), 527-559, 2002 | 97 | 2002 |
A foundation for region-based qualitative geometry B Bennett, AG Cohn, P Torrini, SM Hazarika ECAI, 204-208, 2000 | 96 | 2000 |
Logical representations for automated reasoning about spatial relationships B Bennett University of Leeds, 1997 | 95 | 1997 |
Semantic categories underlying the meaning of ‘place’ B Bennett, P Agarwal International Conference on Spatial Information Theory, 78-95, 2007 | 91 | 2007 |
A categorical axiomatisation of region-based geometry B Bennett Fundamenta Informaticae 46 (1-2), 145-158, 2001 | 83 | 2001 |
When does a composition table provide a complete and tractable proof procedure for a relational constraint language B Bennett, A Isli, AG Cohn Proceedings of the IJCAI-97 workshop on Spatial and Temporal Reasoning, 1997 | 67 | 1997 |
Axioms, algebras and topology B Bennett, I Düntsch Handbook of spatial logics, 99-159, 2007 | 65 | 2007 |
An ontology for grounding vague geographic terms B Bennett, D Mallenby, A Third Formal ontology in information systems, 280-293, 2008 | 64 | 2008 |
Space, time, matter and things B Bennett Proceedings of the international conference on Formal Ontology in …, 2001 | 62 | 2001 |
Qualitative spatial reasoning and representation AG Cohn, DA Randell, Z Cui, B Bennett Qualitative reasoning and decision technologies, 513-522, 1993 | 58 | 1993 |
Describing rigid body motions in a qualitative theory of spatial regions B Bennett, AG Cohn, P Torrini, SM Hazarika AAAI/IAAI 30, 503-509, 2000 | 54 | 2000 |
Corpus Guided Sense Cluster Analysis: a methodology for ontology development (with examples from the spatial domain) B Bennett, C Cialone Formal Ontology in Information Systems, 213-226, 2014 | 50 | 2014 |