Підписатись
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
7591997
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
2322002
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