Ian E. Pratt
List of publications from the DBLP Bibliography Server - FAQ
- CSB - MetaPress - Google - Bing - Yahoo
 | 2009 | |
|---|---|---|
| 37 |      | Ian Pratt-Hartmann, Ivo Düntsch: Functions Definable by Arithmetic Circuits. CiE 2009: 409-418 |
| 36 | | Yevgeny Kazakov, Ian Pratt-Hartmann: A Note on the Complexity of the Satisfiability Problem for Graded Modal Logics. LICS 2009: 407-416 |
| 35 | | Ian Pratt-Hartmann: No Syllogisms for the Numerical Syllogistic. Languages: From Formal to Natural 2009: 192-203 |
| 34 | | Yevgeny Kazakov, Ian Pratt-Hartmann: A Note on the Complexity of the Satisfiability Problem for Graded Modal Logics CoRR abs/0905.3108: (2009) |
| 33 | | Ian Pratt-Hartmann, Ivo Düntsch: Functions Definable by Numerical Set-Expressions CoRR abs/0911.0105: (2009) |
| 32 | | Ivo Düntsch, Ian Pratt-Hartmann: Complex Algebras of Arithmetic CoRR abs/0911.5246: (2009) |
| 31 | | Ian Pratt-Hartmann: Data-complexity of the two-variable fragment with counting quantifiers. Inf. Comput. 207(8): 867-888 (2009) |
| 2008 | ||
| 30 | | Roman Kontchakov, Ian Pratt-Hartmann, Frank Wolter, Michael Zakharyaschev: Topology, connectedness, and modal logic. Advances in Modal Logic 2008: 151-176 |
| 29 | | Roman Kontchakov, Ian Pratt-Hartmann, Frank Wolter, Michael Zakharyaschev: On the Computational Complexity of Spatial Logics with Connectedness Constraints. LPAR 2008: 574-589 |
| 28 | | 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 | | Ian Pratt-Hartmann: Data-Complexity of the Two-Variable Fragment with Counting Quantifiers CoRR abs/0806.1636: (2008) |
| 26 | | 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 | | Marco Aiello, Ian Pratt-Hartmann, Johan van Benthem: What is Spatial Logic? Handbook of Spatial Logics 2007: 1-11 |
| 23 | | Ian Pratt-Hartmann: First-Order Mereotopology. Handbook of Spatial Logics 2007: 13-97 |
| 22 | | Ian Pratt-Hartmann: On the Complexity of the Numerically Definite Syllogistic and Related Fragments CoRR abs/cs/0701039: (2007) |
| 21 | | Ian Pratt-Hartmann: Complexity of the Guarded Two-variable Fragment with Counting Quantifiers. J. Log. Comput. 17(1): 133-155 (2007) |
| 2006 | ||
| 20 | | 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 | | Ian Pratt-Hartmann: From TimeML to TPL. Annotating, Extracting and Reasoning about Time and Events 2005 |
| 17 | | Ian Pratt-Hartmann: Temporal prepositions and their logic. Artif. Intell. 166(1-2): 1-36 (2005) |
| 16 | | 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 | | Ian Pratt-Hartmann: Temporal Prepositions and Their Logic. TIME 2004: 7-8 |
| 14 | | Ian Pratt-Hartmann: Complexity of the Two-Variable Fragment with (Binary-Coded) Counting Quantifiers CoRR cs.LO/0411031: (2004) |
| 13 | | 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 | | 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 | | 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 | | 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 |
| 1 | Marco Aiello | [24] [25] |
| 2 | Johan van Benthem | [24] [25] |
| 3 | David S. Brée | [2] |
| 4 | Ivo Düntsch | [32] [33] [37] |
| 5 | Yevgeny Kazakov | [34] [36] |
| 6 | Roman Kontchakov | [29] [30] |
| 7 | Oliver Lemon | [3] [4] [5] [6] |
| 8 | Lawrence S. Moss | [26] |
| 9 | Hans de Nivelle | [10] |
| 10 | Mark Reynolds | [19] |
| 11 | Renate A. Schmidt | [19] |
| 12 | Dominik J. Schoop | [7] |
| 13 | Heinrich Wansing | [19] |
| 14 | Frank Wolter | [29] [30] |
| 15 | Michael Zakharyaschev | [29] [30] |