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 (3), 275-316, 1997
5511997
Spatial reasoning with propositional logics
B Bennett
Principles of Knowledge Representation and Reasoning, 51-62, 1994
2561994
Representing and reasoning with qualitative spatial relations about regions
AG Cohn, B Bennett, J Gooday, NM Gotts
Spatial and temporal reasoning, 97-134, 1997
2461997
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
2062002
Modal logics for qualitative spatial reasoning
B Bennett
Logic Journal of the IGPL 4 (1), 23-45, 1996
2061996
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
1642012
What is a forest? On the vagueness of certain geographic concepts
B Bennett
Topoi, 2002
1592002
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
1582016
RCC: a calculus for region based qualitative spatial reasoning
AG Cohn, B Bennett, JM Gooday, N Gotts
GeoInformatica 1 (3), 275-316, 1997
1571997
A unifying semantics for time and events
B Bennett, AP Galton
Artificial Intelligence 153 (1-2), 13-48, 2004
1032004
A foundation for region-based qualitative geometry
B Bennett, AG Cohn, P Torrini, SM Hazarika
ECAI, 204-208, 2000
882000
Logical representations for automated reasoning about spatial relationships
B Bennett
University of Leeds, 1997
871997
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
812002
Semantic categories underlying the meaning of ‘place’
B Bennett, P Agarwal
International Conference on Spatial Information Theory, 78-95, 2007
772007
A categorical axiomatisation of region-based geometry
B Bennett
Fundamenta Informaticae 46 (1-2), 145-158, 2001
772001
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
631997
Qualitative spatial reasoning and representation
AG Cohn, DA Randell, Z Cui, B Bennett
Qualitative reasoning and decision technologies, 513-522, 1993
591993
The Ontology of Processes and Events
A Galton
Formal Ontology in Information Systems: Proceedings of the Fourth …, 2006
572006
An Ontology for Grounding Vague Geographic Terms.
B Bennett, D Mallenby, A Third
FOIS 183, 280-293, 2008
542008
Space, time, matter and things
B Bennett
Proceedings of the international conference on Formal Ontology in …, 2001
542001
The system can't perform the operation now. Try again later.
Articles 1–20