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