Concepedia

Ian Pratt‐Hartmann

IP

41

Publications

1.5K

Citations

23

H-Index

1990

Active since

Affiliations

University of Manchester(Current)

University of Opole

Birkbeck, University of London

University of Wrocław

Institute of Computer Science

Ian Pratt‐Hartmann is an author at University of Manchester specializing in automated reasoning, engineering, and computer science.

Top concepts

EngineeringAutomated ReasoningComputer ScienceFormal MethodsSemanticsFormal VerificationComputational ComplexitySatisfiabilityLanguageLinguistics

Publications per year

1990–2019

41

Publications

41

Complexity of the Two-Variable Fragment with Counting Quantifiers

Ian Pratt‐Hartmann · Journal of Logic Language and Information · 2005 · 187 citations

Computational Complexity Theory, Engineering, Counting Quantifiers +5

Temporal Prepositions and Temporal Generalized Quantifiers

Ian Pratt‐Hartmann, Nissim Francez · Linguistics and Philosophy · 2001 · 98 citations

LOGICS FOR THE RELATIONAL SYLLOGISTIC

Ian Pratt‐Hartmann, Lawrence S. Moss · The Review of Symbolic Logic · 2009 · 90 citations · Full text

Engineering, Automated Proof, Semantics +16

A Complete Axiom System for Polygonal Mereotopology of the Real Plane

Ian Pratt‐Hartmann, Dominik Schoop · Journal of Philosophical Logic · 1998 · 65 citations

Geometric Modeling, Discrete Geometry, Geometric Algorithm +9

Complexity of the Guarded Two-variable Fragment with Counting Quantifiers

Ian Pratt‐Hartmann · Journal of Logic and Computation · 2006 · 62 citations · Full text

Rows per page

1–5 of 41