Ian Pratt
University of Manchester
Network
Latest external collaboration on country level. Dive into details by clicking on the dots.
Publication
Featured researches published by Ian Pratt.
Journal of Philosophical Logic | 1998
Ian Pratt; Dominik J. Schoop
AbstractThis paper presents a calculus for mereotopological reasoning in which two-dimensional spatial regions are treated as primitive entities. A first order predicate language
Notre Dame Journal of Formal Logic | 1997
Ian Pratt; Oliver Lemon
Linguistics and Philosophy | 2001
Ian Pratt; Nissim Francez
\mathcal{L}
Journal of Symbolic Logic | 2000
Ian Pratt; Dominik J. Schoop
Spatial Cognition and Computation | 1999
Ian Pratt
with a distinguished unary predicate c(x), function-symbols , · and − and constants 0 and 1 is defined. An interpretation
Notre Dame Journal of Formal Logic | 1998
Oliver Lemon; Ian Pratt
Time & Society | 1993
David S. Brée; Allel Feddag; Ian Pratt
\Re
Journal of Visual Languages and Computing | 1998
Oliver Lemon; Ian Pratt
Journal of Geographical Systems | 1999
Oliver Lemon; Ian Pratt
for
artificial intelligence and the simulation of behaviour | 1989
Ian Pratt
Collaboration
Dive into the Ian Pratt's collaboration.
