Personal profile
Biography
Ian Pratt-Hartmann read Mathematics and Philosophy at Brasenose College, Oxford, and Philosophy at Princeton University, receiving his PhD. there in 1987.
Dr. Pratt-Hartmann has published extensively in the areas of logic, cognitive science and artificial intelligence. Scientific journals in which his articles appear includeJournal of Symbolic Logic, Bulletin of Symbolic Logic, Journal of Philosophical Logic,Notre Dame Journal of Formal Logic, Journal of Logic, Language and Information,Journal of Logic and Computation and Artificial Intelligence. His current research interests include the complexity of decidable fragments of logic, the relationship between logic and geometry, and the relationship between natural language and logic. He is a member of the editorial board of the Journal of Logic, Language and Information, and one of the editors of the Handbook of Spatial Logic.
Research interests
Dr. Pratt-Hartmann's research interests range widely over the fields of logic, AI and cognitive science. He is chiefly concerned with issues at the interface(s) between logic and complexity theory, logic and geometry, and logic and natural lanaguage.
My group
Opportunities
PhDs Supervised to Completion:
- Dominik Schoop: A Model-Theoretic Approach to Mereotopology, PhD. awarded August 1999
- Nick Player: Logics of Ambinguity. PhD. awarded August 2004.
- Allan Third: Logical Analysis of Fragments of Natural Language. PhD. awarded 2006.
- Savas Konur: An Interval Temporal Logic for Real-Time System Specification. PhD. awarded, August, 2008.
- Aled Griffiths: Computational Properties of Spatial Logics in the Real Plane. PhD. awarded November, 2008.
- Adam Trybus: An Axiom System for a Spatial Logic with Convexity. PhD. awarded December, 2011.
- Yavor Nenov: Computability of Euclidean Logics. PhD. awarded December, 2011.
- Georgios Kourtis: Path-Functional Dependencies and the Two-Variable Guarded Fragment with Counting". PhD. awarded February, 2017.
- Reyadh Alluhaibi: Temporal Controlled Natural Language for Formal Specification . PhD. awarded February, 2018.
- Aoade Adeniyi: Controlled Natural Language with Temporal Features. PhD. awarded June, 2018.
- Yegor Guskov: Decidability of Finite Satisfiability of Two-Variable First-Order Logic with Counting and Local Navigation in Unordered Unranked Trees. PhD. awarded June, 2018.
Current PhD Opportunities
Students interested in supervision in any of my active research areas should apply to the School of Computer Science in the normal way, mentioning my name as a possible supervisor on the application form. Informal enquiries may be sent directly to me by email.
Active areas:
- Computational logic
- Logic and geometry
- Logic and natural language
Education/Academic qualification
Doctor of Philosophy, Epistemology and Artificial Intelligence, Princeton University
Award Date: 1 Jun 1987
External positions
Profesor Zwyczajny, Uniwersytet Opolski
28 Sept 2017 → …
Areas of expertise
- QA75 Electronic computers. Computer science
- Mathematical Logic
- Theoretical Linguistics
- Complexity Theory
Research Beacons, Institutes and Platforms
- Digital Futures
Expertise related to UN Sustainable Development Goals
In 2015, UN member states agreed to 17 global Sustainable Development Goals (SDGs) to end poverty, protect the planet and ensure prosperity for all. This person’s work contributes towards the following SDG(s):
-
SDG 3 Good Health and Well-being
Fingerprint
- 1 Similar Profiles
Collaborations and top research areas from the last five years
-
The Adjacent Fragment and Quine's Limits of Decision
Bednarczyk, B., Kojelis, D. & Pratt-Hartmann, I., 1 Sept 2025, In: Journal of Logic and Computation. 35, 6, p. 1-36 36 p., exaf042.Research output: Contribution to journal › Article › peer-review
Open Access -
Unravelling the Logic: Investigating the Generalisation of Transformers in Numerical Satisfiability Problems
Pratt-Hartmann, I., Madusanka, T., Batista-Navarro, R. T., Valentino, M. & Zahid, I., 1 Jul 2025, Proceedings of the 63rd Annual Meeting of the Association for Computational Linguistics: Volume 1: Long Papers. Che, W., Shutova, E., Taher Pilehvar, M. & Nabende, J. (eds.). Association for Computational Linguistics, p. 25155-25168 14 p.Research output: Chapter in Book/Conference proceeding › Conference contribution › peer-review
Open Access -
Graph-Induced Syntactic-Semantic Spaces in Transformer-Based Variational AutoEncoders
Zhang, Y., Valentino, M., Carvalho, D., Pratt-Hartmann, I. & Freitas, A., 16 Jun 2024, (E-pub ahead of print) Findings of the Association for Computational Linguistics: NAACL 2024. Association for Computational Linguistics (ACL), p. 474-489Research output: Chapter in Book/Conference proceeding › Conference contribution › peer-review
Open AccessFile22 Downloads (Pure) -
Improving Semantic Control in Discrete Latent Spaces with Transformer Quantized Variational Autoencoders
Zhang, Y., Silva De Carvalho, D., Valentino, M., Pratt-Hartmann, I. & Freitas, A., 17 Mar 2024, Findings of the Association for Computational Linguistics: EACL 2024. Association for Computational LinguisticsResearch output: Chapter in Book/Conference proceeding › Conference contribution › peer-review
Open Access -
Natural Language Satisfiability: Exploring the Problem Distribution and Evaluating Transformer-based Language Models
Madusanka, T., Pratt-Hartmann, I. & Batista-Navarro, R., 2024, Proceedings of the 62nd Annual Meeting of the Association for Computational Linguistics (Volume 1: Long Papers). p. 15278–15294 17 p.Research output: Chapter in Book/Conference proceeding › Chapter › peer-review