Ian E. Pratt
List of publications from the
| * | 2009 |
|---|
| 34 | EE | Ian Pratt-Hartmann,
Ivo Düntsch:
Functions Definable by Arithmetic Circuits.
CiE 2009: 409-418 |
| 33 | EE | Ian Pratt-Hartmann:
No Syllogisms for the Numerical Syllogistic.
Languages: From Formal to Natural 2009: 192-203 |
| 32 | EE | Yevgeny Kazakov,
Ian Pratt-Hartmann:
A Note on the Complexity of the Satisfiability Problem for Graded Modal Logics
CoRR abs/0905.3108: (2009) |
| 31 | EE | Ian Pratt-Hartmann:
Data-complexity of the two-variable fragment with counting quantifiers.
Inf. Comput. 207(8): 867-888 (2009) |
| 2008 |
|---|
| 30 | EE | Roman Kontchakov,
Ian Pratt-Hartmann,
Frank Wolter,
Michael Zakharyaschev:
Topology, connectedness, and modal logic.
Advances in Modal Logic 2008: 151-176 |
| 29 | EE | Roman Kontchakov,
Ian Pratt-Hartmann,
Frank Wolter,
Michael Zakharyaschev:
On the Computational Complexity of Spatial Logics with Connectedness Constraints.
LPAR 2008: 574-589 |
| 28 | EE | Ian Pratt-Hartmann:
On the Computational Complexity of the Numerically Definite Syllogistic and Related Logics.
Bulletin of Symbolic Logic 14(1): 1-28 (2008) |
| 27 | EE | Ian Pratt-Hartmann:
Data-Complexity of the Two-Variable Fragment with Counting Quantifiers
CoRR abs/0806.1636: (2008) |
| 26 | EE | Ian Pratt-Hartmann,
Lawrence S. Moss:
Logics for the Relational Syllogistic
CoRR abs/0808.0521: (2008) |
| 2007 |
|---|
| 25 | | Marco Aiello,
Ian Pratt-Hartmann,
Johan van Benthem:
Handbook of Spatial Logics
Springer 2007 |
| 24 | EE | Marco Aiello,
Ian Pratt-Hartmann,
Johan van Benthem:
What is Spatial Logic?
Handbook of Spatial Logics 2007: 1-11 |
| 23 | EE | Ian Pratt-Hartmann:
First-Order Mereotopology.
Handbook of Spatial Logics 2007: 13-97 |
| 22 | EE | Ian Pratt-Hartmann:
On the Complexity of the Numerically Definite Syllogistic and Related Fragments
CoRR abs/cs/0701039: (2007) |
| 21 | EE | Ian Pratt-Hartmann:
Complexity of the Guarded Two-variable Fragment with Counting Quantifiers.
J. Log. Comput. 17(1): 133-155 (2007) |
| 2006 |
|---|
| 20 | EE | Ian Pratt-Hartmann:
Complexity of the Guarded Two-Variable Fragment with Counting Quantifiers
CoRR abs/cs/0601112: (2006) |
| 2005 |
|---|
| 19 | | Renate A. Schmidt,
Ian Pratt-Hartmann,
Mark Reynolds,
Heinrich Wansing:
Advances in Modal Logic 5, papers from the fifth conference on "Advances in Modal logic," held in Manchester (UK) in September 2004
King's College Publications 2005 |
| 18 | EE | Ian Pratt-Hartmann:
From TimeML to TPL.
Annotating, Extracting and Reasoning about Time and Events 2005 |
| 17 | EE | Ian Pratt-Hartmann:
Temporal prepositions and their logic.
Artif. Intell. 166(1-2): 1-36 (2005) |
| 16 | EE | Ian Pratt-Hartmann:
Complexity of the Two-Variable Fragment with Counting Quantifiers.
Journal of Logic, Language and Information 14(3): 369-395 (2005) |
| 2004 |
|---|
| 15 | EE | Ian Pratt-Hartmann:
Temporal Prepositions and Their Logic.
TIME 2004: 7-8 |
| 14 | EE | Ian Pratt-Hartmann:
Complexity of the Two-Variable Fragment with (Binary-Coded) Counting Quantifiers
CoRR cs.LO/0411031: (2004) |
| 13 | EE | Ian Pratt-Hartmann:
Fragments of Language.
Journal of Logic, Language and Information 13(2): 207-223 (2004) |
| 2003 |
|---|
| 12 | | Ian Pratt-Hartmann:
A Two-Variable Fragment of English.
Journal of Logic, Language and Information 12(1): 13-45 (2003) |
| 2002 |
|---|
| 11 | | Ian Pratt-Hartmann:
A Topological Constraint Language with Component Counting.
Journal of Applied Non-Classical Logics 12(3-4): 441-468 (2002) |
| 2001 |
|---|
| 10 | EE | Hans de Nivelle,
Ian Pratt-Hartmann:
A Resolution-Based Decision Procedure for the Two-Variable Fragment with Equality.
IJCAR 2001: 211-225 |
| 9 | | Ian Pratt-Hartmann:
Empiricism and Rationalism in Region-based Theories of Space.
Fundam. Inform. 46(1-2): 159-186 (2001) |
| 2000 |
|---|
| 8 | | Ian Pratt-Hartmann:
Total Knowledge.
AAAI/IAAI 2000: 423-428 |
| 7 | | Ian E. Pratt,
Dominik J. Schoop:
Expressivity in Polygonal, Plane Mereotopology.
J. Symb. Log. 65(2): 822-838 (2000) |
| 1999 |
|---|
| 6 | EE | Oliver Lemon,
Ian E. Pratt:
Logics for geographic information.
Journal of Geographical Systems 1(1): 75-90 (1999) |
| 1998 |
|---|
| 5 | | Oliver Lemon,
Ian E. Pratt:
Complete Logics for QSR: A Guide to Plane Meretopology.
J. Vis. Lang. Comput. 9(1): 5-21 (1998) |
| 4 | | Oliver Lemon,
Ian E. Pratt:
On the Insufficiency of Linear Diagrams for Syllogisms.
Notre Dame Journal of Formal Logic 39(4): 573-580 (1998) |
| 1997 |
|---|
| 3 | | Ian E. Pratt,
Oliver Lemon:
Ontologies for Plane, Polygonal Mereotopology.
Notre Dame Journal of Formal Logic 38(2): 225-245 (1997) |
| 1994 |
|---|
| 2 | EE | Ian E. Pratt,
David S. Brée:
The Expressive Power of the English Temporal Preposition System.
TIME 1994: 153-160 |
| 1993 |
|---|
| 1 | | Ian E. Pratt:
Map Semantics.
COSIT 1993: 77-91 |
