Follow
Brandon Bennett
Brandon Bennett
Lecturer in Computer Science, University of Leeds
Verified email at leeds.ac.uk
Title
Cited by
Cited by
Year
Qualitative spatial representation and reasoning with the region connection calculus
AG Cohn, B Bennett, J Gooday, NM Gotts
geoinformatica 1, 275-316, 1997
7271997
Spatial reasoning with propositional logics
B Bennett
Principles of Knowledge Representation and Reasoning, 51-62, 1994
2751994
Representing and reasoning with qualitative spatial relations about regions
AG Cohn, B Bennett, J Gooday, NM Gotts
Spatial and temporal reasoning, 97-134, 1997
2641997
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
2312002
Modal logics for qualitative spatial reasoning
B Bennett
Logic Journal of the IGPL 4 (1), 23-45, 1996
2171996
What is a forest? On the vagueness of certain geographic concepts
B Bennett
Topoi 20 (2), 189-201, 2001
1812001
RCC: a calculus for region based qualitative spatial reasoning
AG Cohn, B Bennett, JM Gooday, N Gotts
GeoInformatica 1 (3), 275-316, 1997
1751997
A unifying semantics for time and events
B Bennett, AP Galton
Artificial Intelligence 153 (1-2), 13-48, 2004
1092004
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
972002
A foundation for region-based qualitative geometry
B Bennett, AG Cohn, P Torrini, SM Hazarika
ECAI, 204-208, 2000
962000
Logical representations for automated reasoning about spatial relationships
B Bennett
University of Leeds, 1997
951997
Semantic categories underlying the meaning of ‘place’
B Bennett, P Agarwal
International Conference on Spatial Information Theory, 78-95, 2007
902007
A categorical axiomatisation of region-based geometry
B Bennett
Fundamenta Informaticae 46 (1-2), 145-158, 2001
832001
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
671997
An ontology for grounding vague geographic terms
B Bennett, D Mallenby, A Third
Formal ontology in information systems, 280-293, 2008
642008
Axioms, algebras and topology
B Bennett, I Düntsch
Handbook of spatial logics, 99-159, 2007
632007
Space, time, matter and things
B Bennett
Proceedings of the international conference on Formal Ontology in …, 2001
622001
Qualitative spatial reasoning and representation
AG Cohn, DA Randell, Z Cui, B Bennett
Qualitative reasoning and decision technologies, 513-522, 1993
581993
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
542000
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
492014
The system can't perform the operation now. Try again later.
Articles 1–20