BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Cohn:Anthony_G=

Facilitated 2 volumes:

KR 2000Ed
KR 1998Ed

Contributed to:

ICPR 20142014
KR 20122012
ICEIS AIDSS 20102010
Post-ICEIS 20102010
ICPR 20082008
ICDAR 20072007
CADE 20032003
KR 20022002
KR 20002000
KR 19961996
CIKM 19941994
CADE 19921992
KR 19921992
KR 19891989

Wrote 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.
Abducing Qualitative Spatio-Temporal Histories from Partial Observations (SMH, AGC), pp. 14–25.
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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.