Brandon Bennett
Brandon Bennett
Lecturer in Computer Science, University of Leeds
Verified email at
Cited by
Cited by
Qualitative spatial representation and reasoning with the region connection calculus
AG Cohn, B Bennett, J Gooday, NM Gotts
GeoInformatica 1 (3), 275-316, 1997
Spatial reasoning with propositional logics
B Bennett
Principles of Knowledge Representation and Reasoning, 51-62, 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
Multi-dimensional modal logic as a framework for spatio-temporal reasoning
B Bennett, AG Cohn, F Wolter, M Zakharyaschev
Applied Intelligence 17 (3), 239-251, 2002
Modal logics for qualitative spatial reasoning
B Bennett
Logic Journal of the IGPL 4 (1), 23-45, 1996
Methods and systems for reducing burst usage of a networked computer system
A Sussman, B Ross, B Bennett, D Denker, A Karonis
US Patent 8,176,177, 2012
What is a forest? On the vagueness of certain geographic concepts
B Bennett
Topoi, 2002
Quality of life in patients with advanced renal cell carcinoma given nivolumab versus everolimus in CheckMate 025: a randomised, open-label, phase 3 trial
D Cella, V Grünwald, P Nathan, J Doan, H Dastani, F Taylor, B Bennett, ...
The Lancet Oncology 17 (7), 994-1003, 2016
RCC: a calculus for region based qualitative spatial reasoning
AG Cohn, B Bennett, JM Gooday, N Gotts
GeoInformatica 1 (3), 275-316, 1997
A unifying semantics for time and events
B Bennett, AP Galton
Artificial Intelligence 153 (1-2), 13-48, 2004
A foundation for region-based qualitative geometry
B Bennett, AG Cohn, P Torrini, SM Hazarika
ECAI, 204-208, 2000
Logical representations for automated reasoning about spatial relationships
B Bennett
University of Leeds, 1997
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
Semantic categories underlying the meaning of ‘place’
B Bennett, P Agarwal
International Conference on Spatial Information Theory, 78-95, 2007
A categorical axiomatisation of region-based geometry
B Bennett
Fundamenta Informaticae 46 (1-2), 145-158, 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
Qualitative spatial reasoning and representation
AG Cohn, DA Randell, Z Cui, B Bennett
Qualitative reasoning and decision technologies, 513-522, 1993
The Ontology of Processes and Events
A Galton
Formal Ontology in Information Systems: Proceedings of the Fourth …, 2006
An Ontology for Grounding Vague Geographic Terms.
B Bennett, D Mallenby, A Third
FOIS 183, 280-293, 2008
Space, time, matter and things
B Bennett
Proceedings of the international conference on Formal Ontology in …, 2001
The system can't perform the operation now. Try again later.
Articles 1–20