A spatial logic based on regions and connection DA Randell, Z Cui, AG Cohn Proc. KR, 165-176, 1992 | 3235 | 1992 |
Qualitative spatial representation and reasoning: An overview AG Cohn, SM Hazarika Fundamenta informaticae 46 (1-2), 1-29, 2001 | 1325 | 2001 |
Qualitative spatial representation and reasoning with the region connection calculus AG Cohn, B Bennett, J Gooday, NM Gotts geoinformatica 1, 275-316, 1997 | 891* | 1997 |
The’Egg-Yolk’Representation of Regions with Indeterminate Boundaries AG Cohn, NM Gotts Proc. GISDATA Specialist Meeting on Geographical Objects with Undetermined …, 1996 | 642* | 1996 |
Qualitative spatial representation and reasoning AG Cohn, J Renz Foundations of Artificial Intelligence 3 (Handbook of Knowledge …, 2008 | 588 | 2008 |
Modelling topological and metrical properties of physical properties DA Randell, AG Cohn First International Conference on Principles of Knowledge Representation and …, 1989 | 267* | 1989 |
Representing and reasoning with qualitative spatial relations about regions AG Cohn, B Bennett, J Gooday, NM Gotts Spatial and temporal reasoning, 97-134, 1997 | 264 | 1997 |
The STRANDS project: Long-term autonomy in everyday environments N Hawes, C Burbridge, F Jovan, L Kunze, B Lacerda, L Mudrová, J Young, ... IEEE Robotics & Automation Magazine 24 (3), 146-156, 2017 | 257 | 2017 |
Qualitative and topological relationships in spatial databases Z Cui, AG Cohn, DA Randell Advances in Spatial Databases: Third International Symposium, SSD'93 …, 1993 | 249 | 1993 |
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 | 231 | 2002 |
Real-time hyperbola recognition and fitting in GPR data Q Dou, L Wei, DR Magee, AG Cohn IEEE Transactions on Geoscience and Remote Sensing 55 (1), 51-62, 2016 | 226 | 2016 |
Condition assessment of the buried utility service infrastructure T Hao, CDF Rogers, N Metje, DN Chapman, JM Muggleton, KY Foo, ... Tunnelling and Underground Space Technology 28, 331-344, 2012 | 207 | 2012 |
A more expressive formulation of many sorted logic AG Cohn Journal of automated reasoning 3, 113-200, 1987 | 176 | 1987 |
A survey of qualitative spatial representations J Chen, AG Cohn, D Liu, S Wang, J Ouyang, Q Yu The Knowledge Engineering Review, 1-31, 2013 | 170 | 2013 |
A connection based approach to common-sense topological description and reasoning NM Gotts, JM Gooday, AG Cohn The Monist 79 (1), 51-75, 1996 | 170 | 1996 |
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 | 163 | 1992 |
Computing transitivity tables: A challenge for automated theorem provers DA Randell, AG Cohn, Z Cui CADE 11, 1992 | 162 | 1992 |
Calculi for qualitative spatial reasoning AG Cohn International Conference on Artificial Intelligence and Symbolic …, 1996 | 159 | 1996 |
Constructing qualitative event models automatically from video input J Fernyhough, AG Cohn, DC Hogg Image and Vision Computing 18 (2), 81-103, 2000 | 153 | 2000 |
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 | 149 | 2006 |