Volgen
Anthony (Tony) G Cohn
Anthony (Tony) G Cohn
Professor of Automated Reasoning, University of Leeds
Geverifieerd e-mailadres voor leeds.ac.uk - Homepage
Titel
Geciteerd door
Geciteerd door
Jaar
A spatial logic based on regions and connection
DA Randell, Z Cui, AG Cohn
Proc. KR, 165-176, 1992
32761992
Qualitative spatial representation and reasoning: An overview
AG Cohn, SM Hazarika
Fundamenta informaticae 46 (1-2), 1-29, 2001
13342001
Qualitative spatial representation and reasoning with the region connection calculus
AG Cohn, B Bennett, J Gooday, NM Gotts
geoinformatica 1, 275-316, 1997
907*1997
The’Egg-Yolk’Representation of Regions with Indeterminate Boundaries
AG Cohn, NM Gotts
Proc. GISDATA Specialist Meeting on Geographical Objects with Undetermined …, 1996
645*1996
Qualitative spatial representation and reasoning
AG Cohn, J Renz
Foundations of Artificial Intelligence 3 (Handbook of Knowledge …, 2008
6042008
Modelling topological and metrical properties of physical properties
DA Randell, AG Cohn
First International Conference on Principles of Knowledge Representation and …, 1989
269*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
2641997
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
2632017
Qualitative and topological relationships in spatial databases
Z Cui, AG Cohn, DA Randell
Advances in Spatial Databases: Third International Symposium, SSD'93 …, 1993
2521993
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
2472016
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
2332002
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
2232012
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
1772013
A more expressive formulation of many sorted logic
AG Cohn
Journal of automated reasoning 3, 113-200, 1987
1771987
A connection based approach to common-sense topological description and reasoning
NM Gotts, JM Gooday, AG Cohn
The Monist 79 (1), 51-75, 1996
1701996
Computing transitivity tables: A challenge for automated theorem provers
DA Randell, AG Cohn, Z Cui
CADE 11, 1992
1641992
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
1631992
Vitac: Feature sharing between vision and tactile sensing for cloth texture recognition
S Luo, W Yuan, E Adelson, AG Cohn, R Fuentes
2018 IEEE International Conference on Robotics and Automation (ICRA), 2722-2727, 2018
1592018
Calculi for qualitative spatial reasoning
AG Cohn
International Conference on Artificial Intelligence and Symbolic …, 1996
1591996
Constructing qualitative event models automatically from video input
J Fernyhough, AG Cohn, DC Hogg
Image and Vision Computing 18 (2), 81-103, 2000
1532000
Het systeem kan de bewerking nu niet uitvoeren. Probeer het later opnieuw.
Artikelen 1–20