Takip et
Brandon Bennett
Brandon Bennett
Lecturer in Computer Science, University of Leeds
leeds.ac.uk üzerinde doğrulanmış e-posta adresine sahip
Başlık
Alıntı yapanlar
Alıntı yapanlar
Yıl
Qualitative spatial representation and reasoning with the region connection calculus
AG Cohn, B Bennett, J Gooday, NM Gotts
geoinformatica 1, 275-316, 1997
7341997
Spatial reasoning with propositional logics
B Bennett
Principles of Knowledge Representation and Reasoning, 51-62, 1994
2771994
Representing and reasoning with qualitative spatial relations about regions
AG Cohn, B Bennett, J Gooday, NM Gotts
Spatial and temporal reasoning, 97-134, 1997
2641997
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
2292002
Modal logics for qualitative spatial reasoning
B Bennett
Logic Journal of the IGPL 4 (1), 23-45, 1996
2161996
What is a forest? On the vagueness of certain geographic concepts
B Bennett
Topoi 20 (2), 189-201, 2001
1802001
RCC: a calculus for region based qualitative spatial reasoning
AG Cohn, B Bennett, JM Gooday, N Gotts
GeoInformatica 1 (3), 275-316, 1997
1721997
A unifying semantics for time and events
B Bennett, AP Galton
Artificial Intelligence 153 (1-2), 13-48, 2004
1082004
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
952000
Logical representations for automated reasoning about spatial relationships
B Bennett
University of Leeds, 1997
931997
Semantic categories underlying the meaning of ‘place’
B Bennett, P Agarwal
International Conference on Spatial Information Theory, 78-95, 2007
902007
A categorical axiomatisation of region-based geometry
B Bennett
Fundamenta Informaticae 46 (1-2), 145-158, 2001
832001
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
651997
An Ontology for Grounding Vague Geographic Terms.
B Bennett, D Mallenby, A Third
FOIS 183, 280-293, 2008
642008
Axioms, algebras and topology
B Bennett, I Düntsch
Handbook of spatial logics, 99-159, 2007
642007
Space, time, matter and things
B Bennett
Proceedings of the international conference on Formal Ontology in …, 2001
612001
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
542000
Corpus Guided Sense Cluster Analysis: a methodology for ontology development (with examples from the spatial domain)
B Bennett, C Cialone
Formal Ontology in Information Systems, 213-226, 2014
482014
Sistem, işlemi şu anda gerçekleştiremiyor. Daha sonra yeniden deneyin.
Makaleler 1–20