Homepage of Ian Pratt-Hartmann (Ian Pratt)

Homepage of Dr Ian Pratt-Hartmann

Handbook of Spatial Logics Handbook of Spatial Logics A mouse
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. Since February, 2014, Dr. Pratt-Hartmann has held a joint appointment in the Institute of Computer Science at the University of Opole.

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. For those who are interested in that sort of thing, here is a link to his Google Scholar page, and here is a link to his Web Of Science profile.


News and current affairs


arXiv repository

Preliminary versions of many of Ian Pratt-Hartnann's papers are posted on the arXiv pre-print server.

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.

PhD. Students

Programming skills

In decreasing order of incompetence: C++, LISP, Java, Prolog.

Awards and prizes

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?