متابعة
Anthony (Tony) G Cohn
Anthony (Tony) G Cohn
Professor of Automated Reasoning, University of Leeds
بريد إلكتروني تم التحقق منه على leeds.ac.uk - الصفحة الرئيسية
عنوان
عدد مرات الاقتباسات
عدد مرات الاقتباسات
السنة
A spatial logic based on regions and connection‏
DA Randell, Z Cui, AG Cohn‏
Proc. KR, 165-176, 1992‏
33071992
Qualitative spatial representation and reasoning: An overview‏
AG Cohn, SM Hazarika‏
Fundamenta informaticae 46 (1-2), 1-29, 2001‏
13362001
Qualitative spatial representation and reasoning with the region connection calculus‏
AG Cohn, B Bennett, J Gooday, NM Gotts‏
geoinformatica 1, 275-316, 1997‏
926*1997
The’Egg-Yolk’Representation of Regions with Indeterminate Boundaries‏
AG Cohn, NM Gotts‏
Proc. GISDATA Specialist Meeting on Geographical Objects with Undetermined …, 1996‏
659*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
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‏
2672017
Representing and reasoning with qualitative spatial relations about regions‏
AG Cohn, B Bennett, J Gooday, NM Gotts‏
Spatial and temporal reasoning, 97-134, 1997‏
2631997
Qualitative and topological relationships in spatial databases‏
Z Cui, AG Cohn, DA Randell‏
Advances in Spatial Databases: Third International Symposium, SSD'93 …, 1993‏
2561993
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‏
2532016
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‏
2272012
A more expressive formulation of many sorted logic‏
AG Cohn‏
Journal of automated reasoning 3, 113-200, 1987‏
1801987
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‏
1782013
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‏
1651992
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‏
1621992
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
يتعذر على النظام إجراء العملية في الوقت الحالي. عاود المحاولة لاحقًا.
مقالات 1–20