Anthony (Tony) G Cohn
TitleCited byYear
A spatial logic based on regions and connection
DA Randell, Z Cui, AG Cohn
Proc. KR, 165-176, 1992
27131992
Qualitative spatial representation and reasoning: An overview
AG Cohn, SM Hazarika
Fundamenta informaticae 46 (1-2), 1-29, 2001
9562001
Qualitative spatial representation and reasoning with the region connection calculus
AG Cohn, B Bennett, J Gooday, NM Gotts
GeoInformatica 1 (3), 275-316, 1997
632*1997
The’Egg-Yolk’Representation of Regions with Indeterminate Boundaries
AG Cohn, NM Gotts
Proc. GISDATA Specialist Meeting on Geographical Objects with Undetermined …, 1996
5691996
Qualitative spatial representation and reasoning
AG Cohn, J Renz
Foundations of Artificial Intelligence 3 (Handbook of Knowledge …, 2008
4582008
Qualitative spatial representation and reasoning techniques
AG Cohn
Annual Conference on Artificial Intelligence, 1-30, 1997
3991997
Representing and reasoning with qualitative spatial relations about regions
AG Cohn, B Bennett, J Gooday, NM Gotts
Spatial and temporal reasoning, 97-134, 1997
2311997
Modelling topological and metrical properties of physical properties
DA Randell, AG Cohn
First International Conference on Principles of Knowledge Representation and …, 1989
228*1989
Qualitative and topological relationships in spatial databases
Z Cui, AG Cohn, DA Randell
International Symposium on Spatial Databases, 296-315, 1993
2261993
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
1902002
A more expressive formulation of many sorted logic
AG Cohn
Journal of automated reasoning 3 (2), 113-200, 1987
1641987
A connection based approach to common-sense topological description and reasoning
NM Gotts, JM Gooday, AG Cohn
The Monist 79 (1), 51-75, 1996
1511996
Calculi for qualitative spatial reasoning
AG Cohn
International Conference on Artificial Intelligence and Symbolic …, 1996
1501996
Computing transitivity tables: A challenge for automated theorem provers
DA Randell, AG Cohn, Z Cui
CADE 11, 1992
1501992
Qualitative simulation based on a logical formalism of space and time
Z Cui, AG Cohn, DA Randell
PROCEEDINGS OF THE NATIONAL CONFERENCE ON ARTIFICIAL INTELLIGENCE, 679-679, 1992
1491992
Constructing qualitative event models automatically from video input
J Fernyhough, AG Cohn, DC Hogg
Image and Vision Computing 18 (2), 81-103, 2000
1382000
A hierarchical representation of qualitative shape based on connection and convexity
AG Cohn
International Conference on Spatial Information Theory, 311-326, 1995
1251995
A qualitative trajectory calculus as a basis for representing moving objects in geographical information systems
N Van de Weghe, A Cohn, G De Tre, P De Maeyer
Control and Cybernetics 35 (1), 97-119, 2006
1082006
The EGG/YOLK reliability hierarchy: Semantic data integration using sorts with prototypes
F Lehmann, AG Cohn
Proceedings of the third international conference on Information and …, 1994
1051994
Taxonomies of logically defined qualitative spatial relations
AG Cohn, DA Randell, Z Cui
Int. J of Human-Computer Studies 43, 831-846, 1995
981995
The system can't perform the operation now. Try again later.
Articles 1–20