Ian E. Pratt

Publication Activity (10 Years)

Years Active: 1993-2000
Publications (10 Years): 0

Publications

Ian E. Pratt, Dominik J. Schoop
Expressivity in Polygonal, Plane Mereotopology. J. Symb. Log. 65 (2) (2000)
Oliver Lemon, Ian E. Pratt
Logics for geographic information. J. Geogr. Syst. 1 (1) (1999)
Ian E. Pratt, Dominik J. Schoop
A Complete Axiom System for Polygonal Mereotopology of the Real Plane. J. Philos. Log. 27 (6) (1998)
Oliver Lemon, Ian E. Pratt
On the Insufficiency of Linear Diagrams for Syllogisms. Notre Dame J. Formal Log. 39 (4) (1998)
Oliver Lemon, Ian E. Pratt
Complete Logics for QSR: A Guide to Plane Meretopology. J. Vis. Lang. Comput. 9 (1) (1998)
Ian E. Pratt, Oliver Lemon
Ontologies for Plane, Polygonal Mereotopology. Notre Dame J. Formal Log. 38 (2) (1997)
Ian E. Pratt, David S. Brée
The Expressive Power of the English Temporal Preposition System. TIME (1994)
Ian E. Pratt
Map Semantics. COSIT (1993)