Travelled to:1 × Brazil
1 × Canada
1 × France
1 × Italy
1 × Sweden
2 × Portugal
6 × USA
Collaborated with:∅ D.A.Randell J.Santos L.Braga Z.Cui M.Sridhar D.C.Hogg S.J.Hickinbotham S.M.Hazarika N.M.Gotts F.Lehmann A.M.Frisch J.Renz R.Fraile M.Cristani B.Bennett A.Tavanai F.Gu
Talks about:spatial (4) sort (4) ontolog (3) represent (2) mereolog (2) protégé (2) complex (2) reason (2) qualit (2) space (2)
Person: Anthony G. Cohn
DBLP: Cohn:Anthony_G=
Facilitated 2 volumes:
EdEdContributed to:
20142012
201020102008
2007
2003200220001996
1994199219921989Wrote 17 papers:
- ICPR-2014-TavanaiSGCH #detection
- Context Aware Detection and Tracking (AT, MS, FG, AGC, DCH), pp. 2197–2202.
- KR-2012-CohnRS #analysis #representation #video
- Thinking Inside the Box: A Comprehensive Spatial Representation for Video Analysis (AGC, JR, MS).
- ICEIS-AIDSS-2010-SantosBC #composition #concept #named #ontology #plugin
- FONTE — A Protégé Plugin for Engineering Complex Ontologies by Assembling Modular Ontologies of Space, Time and Domain Concepts (JS, LB, AGC), pp. 93–102.
- ICEIS-J-2010-SantosBC10a #named #ontology #plugin
- FONTE: A Protégé Plug-in for Engineering Complex Ontologies (JS, LB, AGC), pp. 222–236.
- ICPR-2008-FraileHC #segmentation
- Motion segmentation by consensus (RF, DCH, AGC), pp. 1–4.
- ICDAR-2007-HickinbothamC #knowledge-based #recognition
- Knowledge-Based Recognition of Utility Map Sub-Diagrams (SJH, AGC), pp. 213–217.
- CADE-2003-Cohn #reasoning
- Reasoning about Qualitative Representations of Space and Time (AGC), p. 334.
- KR-2002-HazarikaC
- Abducing Qualitative Spatio-Temporal Histories from Partial Observations (SMH, AGC), pp. 14–25.
- KR-2000-CristaniCB
- Spatial Locations via Morpho-Mereology (MC, AGC, BB), pp. 15–25.
- KR-1996-CohnG #approach #representation
- Representing Spatial Vagueness: A Mereological Approach (AGC, NMG), pp. 230–241.
- CIKM-1994-LehmannC #integration #prototype #reliability #semantics #using
- The EGG/YOLK Reliability Hierarchy : Semantic Data Integration Using Sorts with Prototypes (FL, AGC), pp. 272–279.
- CADE-1992-Cohn #logic
- A Many Sorted Logic with Possibly Empty Sorts (AGC), pp. 633–647.
- CADE-1992-FrischC #unification
- An Abstract View of Sorted Unification (AMF, AGC), pp. 178–192.
- CADE-1992-RandellCC #automation #challenge #proving #theorem proving
- Computing Transivity Tables: A Challenge For Automated Theorem Provers (DAR, AGC, ZC), pp. 786–790.
- KR-1992-RandellCC #logic
- A Spatial Logic based on Regions and Connection (DAR, ZC, AGC), pp. 165–176.
- KR-1989-Cohn #framework #hybrid #on the #reasoning
- On the Appearance of Sortal Literals: a Non Substitutional Framework for Hybrid Reasoning (AGC), pp. 55–66.
- KR-1989-RandellC #modelling #physics #process
- Modelling Topological and Metrical Properties in Physical Processes (DAR, AGC), pp. 357–368.