Homepage of Ian Pratt-Hartmann (Ian Pratt)
Homepage of Dr Ian Pratt-Hartmann
Ian Pratt-Hartmann
studied mathematics and philosophy at Brasenose College, Oxford,
and philosophy at Princeton and Stanford Universities, gaining his
PhD. from Princeton in 1987. He is currently Senior Lecturer in the
Department of Computer Science at the University of Manchester.
Dr. Pratt-Hartmann's research interests range widely over the field of AI and
cognitive science, including computational logic,
spatial logic and natural language semantics.
News and current affairs
The call for papers for
TIME 2010
(Paris)
has now been issued.
Select Bibliography
The following papers form a representative sample of Ian
Pratt-Hartmann's work. Many conference papers are omitted: click
here for a (reasonably up-to-date) full
bibliography. Note that some links
on this page are to pre-print versions; please
check with the published versions when quoting.
-
Submitted papers
-
Forthcoming work
-
Edited Works
- Marco Aiello, Ian Pratt-Hartmann and Johan van Benthem:
Handbook of Spatial Logics, Springer, 2007.
1058 p., Hardcover, ISBN: 978-1-4020-5586-7.
-
Computational Logic
- Yevgeny Kazakov and Ian Pratt-Hartmann:
"A note on the complexity
of the satisfiability problem for graded modal logic", in Proceedings,
24th Annual IEEE Symposium on Logic in Computer
Science (LICS '09), IEEE Press, 2009, pp. 407--416.
(Full version of the paper posted on
http://arxiv.org).
- Ian Pratt-Hartmann
Data-Complexity of the Two-Variable Fragment with Counting Quantifiers,
Information and Computation, 207(8), 2009, pp. 867--888
(pre-print version posted on
http://arxiv.org ).
- Ian Pratt-Hartmann "On
the Computational Complexity of the Numerically Definite Syllogistic and
Related Logics'', Bulletin of Symbolic
Logic, 14(1), 2008, pp. 1--28 (pre-print version posted on
http://arxiv.org).
- Ian Pratt-Hartmann
"Complexity of the Guarded Two-Variable Fragment
with Counting Quantifiers'', Journal of Logic and Computation,
17(1), 2007, pp. 133--155. (A preprint version may be found
on the ArXiv preprint server.)
- Ian Pratt-Hartmann
"Complexity of the Two-Variable Fragment
with Counting Quantifiers'' ,
Journal of Logic, Language and Information, 14(3), 2005, pp. 369--395
(author-final version).
-
Natural language and logic
- Ian Pratt-Hartmann and Lawrence S. Moss
Logics for the Relational Syllogistic, Review of Symbolic Logic, 2(4), 2009, pp. 647--683
(pre-print version posted on
http://arxiv.org ).
- Ian Pratt-Hartmann
No syllogisms for the numerical syllogistic, in Grumberg et al. (Eds.): Languages: from Formal
to Natural, LNCS 5533, Springer, 2009, pp. 192-203 (author-final version).
- Ian Pratt-Hartmann and Allan Third
"More Fragments of Language: the Case of Ditransitive Verbs'',
Notre Dame Journal of Formal
Logic, 47(2), 2006, pp.151--177
(author-final version).
- Ian Pratt-Hartmann
"Temporal Prepositions and their Logic'' ,
Artificial Intelligence, 166(1--2), 2005, pp. 1--36
(author-final version).
- Ian Pratt-Hartmann
"Fragments of Language'',
Journal of Logic, Language and Information, 13(2), 2004,
pp. 207--223
(author-final version).
- Ian Pratt-Hartmann
"A Two-Variable Fragment of English'',
Journal of Logic, Language and Information, 12(1), 2003, pp. 13--45
(author-final version).
- Ian Pratt and Nissim Francez
"Temporal Prepositions and Temporal Generalized Quantifiers'',
Linguistics and Philosophy, 24(2), 2001, pp. 187--222
(author-final version).
-
Spatial Logic
- R. Kontchakov, I. Pratt-Hartmann, F. Wolter and
M. Zakharyaschev:
On the computational complexity of spatial logics with
connectedness constraints, in
Iliano Cervesato, Helmut Veith and Andrei Voronkov (eds.),
Logic for Programming, Artificial Intelligence, and Reasoning
(LPAR 2008), Lecture Notes in Computer Science 5330, pp. 574-589,
2008. (Author version.)
- Marco Aiello, Ian Pratt-Hartmann and Johan van Benthem:
"What is Spatial Logic?'' (author version), in
Aiello, Pratt-Hartmann and van Benthem (eds.),
Handbook of Spatial Logics, Springer, 2007, pp. 1--11.
- Ian Pratt-Hartmann
"First-Order Mereotopology'' (author version), in
in
Aiello, Pratt-Hartmann and van Benthem (eds.),
Handbook of Spatial Logics, Springer, 2007, pp. 13--97.
- Ian Pratt-Hartmann:
"A Topological Constraint Language with Component Counting'',
Journal of Applied Non-Classical Logics, 12(3--4), 2002,
pp. 441--467
(author-final version).
- Ian Pratt-Hartmann and Dominik Schoop:
"Elementary Polyhedral Mereotopology'',
Journal of Philosophical Logic, 31(5), 2002, pp. 469--498
(author-final version).
- Ian Pratt-Hartmann:
"Empiricism and Rationalism in Region-based Theories of Space'',
Fundamenta Informaticae 46, 2001, pp. 159--186.
(Compressed version
)
- Ian Pratt and Dominik Schoop:
"Expressivity in Polygonal, Plane
Mereotopology'', Journal of Symbolic Logic, 65(2), 2000,
pp. 822--838.
- Ian Pratt:
"First-Order Qualitative Spatial Representation Languages with
Convexity'', Journal of Spatial
Cognition and Computation, 1(2), 1999, pp. 181--204
(author-final version).
- Ian Pratt and Dominik Schoop:
"A complete axiom system for
polygonal mereotopology of the real plane'',
Journal of Philosophical Logic, 27(6), 1998, pp. 621--658
(author-final version).
- Ian Pratt and Oliver Lemon:
"Ontologies for plane polygonal
mereotopology'', Notre Dame Journal of Formal
Logic, 38(2) 1997, pp. 225--245
(author-final version).
- Spatial representation
-
Philosophy of mind/language
- Ian Pratt:
"Encoding Psychological Knowledge'',
in Clark, A. and
Millican, P. (eds.) Connectionism, Concepts and Folk
Psychology: The legacy of Alan Turing, Oxford: Clarendon Press,
1996, pp. 249--264.
- Ian Pratt
"Analysis and the Attitudes" in Wagner, S. and Warner,
S. (eds.): Naturalism: a critical appraisal, Notre Dame, IN:
University of Notre Dame Press, 1993.
- Ian Pratt:
"Psychological Inference, Constitutive Rationality and
Logical Closure",
in Hanson, P. (ed.):
Vancouver Studies in Cognitive Science,
vol.1, University of British Columbia Press, 1989, pp. 366--389.
- Ian Pratt:
"Constraints, Meaning and Information" Linguistics
and Philosophy 10, 1987, pp. 299--324 (not available online).
-
Miscellaneous
- Ian Pratt-Hartmann and Ivo Düntsch:
Functions definable by arithmetic circuits, in
K. Ambos-Spies, B. Löwe and W. Merkle (Eds.): Mathematical Theory
and Computational Practice: 5th Conference on Computability in Europe,
CiE 2009, LNCS 5635, 2009,
pp. 409--418 (author-final version).
- Ian Pratt-Hartmann:
Conditionalization and Total Knowledge.
Journal of Applied Non-Classical Logics 18 (2-3), 2008, pp. 247--266
(author-final version).
- Ian Pratt:
"Total Knowledge'', in Proceedings, AAAI, 2000, pp. 423--428.
(Gzipped version)
- Undergraduate textbooks
PhD. Students
Programming skills
In decreasing order of incompetence: C++, LISP, Java, Prolog.
Contact details
Department of Computer Science
Manchester University
Manchester M13 9PL
UK
Tel +44 (0) 161 275 6223
Fax +44 (0) 161 275 6236
email: ipratt@cs.man.ac.uk
What is the time?