متابعة
Brandon Bennett
Brandon Bennett
Lecturer in Computer Science, University of Leeds
بريد إلكتروني تم التحقق منه على leeds.ac.uk
عنوان
عدد مرات الاقتباسات
عدد مرات الاقتباسات
السنة
Qualitative spatial representation and reasoning with the region connection calculus
AG Cohn, B Bennett, J Gooday, NM Gotts
geoinformatica 1, 275-316, 1997
7601997
Spatial reasoning with propositional logics
B Bennett
Principles of knowledge representation and reasoning, 51-62, 1994
2831994
Representing and reasoning with qualitative spatial relations about regions
AG Cohn, B Bennett, J Gooday, NM Gotts
Spatial and temporal reasoning, 97-134, 1997
2631997
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
2332002
Modal logics for qualitative spatial reasoning
B Bennett
Logic Journal of the IGPL 4 (1), 23-45, 1996
2211996
What is a forest? On the vagueness of certain geographic concepts
B Bennett
Topoi 20 (2), 189-201, 2001
1902001
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
1152004
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
941997
Semantic categories underlying the meaning of ‘place’
B Bennett, P Agarwal
International Conference on Spatial Information Theory, 78-95, 2007
932007
Linking FrameNet to the suggested upper merged ontology
B Bennett, C Fellbaum
Formal Ontology in Information Systems: Proceedings of the Fourth …, 2006
852006
A categorical axiomatisation of region-based geometry
B Bennett
Fundamenta Informaticae 46 (1-2), 145-158, 2001
822001
Axioms, algebras and topology
B Bennett, I Düntsch
Handbook of spatial logics, 99-159, 2007
672007
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
652008
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
552000
يتعذر على النظام إجراء العملية في الوقت الحالي. عاود المحاولة لاحقًا.
مقالات 1–20