Homepage of Dr Ian Pratt-Hartmann

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

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
  • Ian Pratt-Hartmann and Ivo Düntsch: Functions definable by numerical set-expressions.
• Forthcoming work
  • Ian Pratt-Hartmann Computational Complexity in Natural Language, forthcoming in Clark, Fox and Lappin (eds.) Handbook of Computational Linguistics and Natural Language Processing.
  • Ivo Düntsch and Ian Pratt-Hartmann: Complex Algebras of Arithmetic, forthcoming in Fundamenta Informaticae.
• 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
  • Ian Pratt: "Shape Representation Using Fourier Coefficients of the Sinusoidal Transform'', Journal of Mathematical Imaging and Vision, 10, 1999, pp. 221--235 (author-final version).
  • Ian Pratt: "An algorithm for planning `sensible' routes'', Engineering Applications of Artificial Intelligence, 4(2), 1991, pp. 97--108.
• 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
  • Ian Pratt: Artificial Intelligence, London: Macmillan, 1994. (pp. 280). ISBN 0333 597599. Click here for the preface.

PhD. Students

• Aled Griffiths: Computational Properties of Spatial Logics in the Real Plane. PhD. awarded November, 2008. External examiner: Dr. Brandon Bennett (Leeds University). Internal examiner: Dr. David Lester.
• Savas Konur: An Interval Temporal Logic for Real-Time System Specification. PhD. awarded, August, 2008. External examiner: Dr. Clair Dixon (Liverpool University). Internal examiner: Prof. David Bree.
• Allan Third: Logical Analysis of Fragments of Natural Language. PhD. awarded 2006. External examiner: Prof. Dov Gabbay (King's College, London). Internal examiner: Dr. Ulrike Sattler.
• Nick Player: Logics of Ambinguity. PhD. awarded August, 2004. External examiner: Dr. Patrick Blackburn (LORIA, Nancy). Internal examiner: Dr. D. Rydeheard.
• Dominik Schoop: A Model-Theoretic Approach to Mereotopology. PhD. awarded August, 1999. External examiner: Prof. A. Cohn (Leeds University). Internal examiner: Dr. D. Rydeheard.

Programming skills

Contact details

What is the time?