Volgen
Brandon Bennett
Brandon Bennett
Lecturer in Computer Science, University of Leeds
Geverifieerd e-mailadres voor leeds.ac.uk
Titel
Geciteerd door
Geciteerd door
Jaar
Qualitative spatial representation and reasoning with the region connection calculus
AG Cohn, B Bennett, J Gooday, NM Gotts
geoinformatica 1, 275-316, 1997
7271997
Spatial reasoning with propositional logics
B Bennett
Principles of Knowledge Representation and Reasoning, 51-62, 1994
2751994
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
2312002
Modal logics for qualitative spatial reasoning
B Bennett
Logic Journal of the IGPL 4 (1), 23-45, 1996
2171996
What is a forest? On the vagueness of certain geographic concepts
B Bennett
Topoi 20 (2), 189-201, 2001
1812001
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
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
951997
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
671997
An ontology for grounding vague geographic terms
B Bennett, D Mallenby, A Third
Formal ontology in information systems, 280-293, 2008
642008
Axioms, algebras and topology
B Bennett, I DŁntsch
Handbook of spatial logics, 99-159, 2007
632007
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
Het systeem kan de bewerking nu niet uitvoeren. Probeer het later opnieuw.
Artikelen 1–20