Ian Pratt-Hartmann Home Page Coauthor index DBLP Vis pubzone.org

Ian E. Pratt

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

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

Coauthor Index

1Marco Aiello [24] [25]
2Johan van Benthem [24] [25]
3David S. Brée [2]
4Ivo Düntsch [32] [33] [37]
5Yevgeny Kazakov [34] [36]
6Roman Kontchakov [29] [30]
7Oliver Lemon [3] [4] [5] [6]
8Lawrence S. Moss [26]
9Hans de Nivelle [10]
10Mark Reynolds [19]
11Renate A. Schmidt [19]
12Dominik J. Schoop [7]
13Heinrich Wansing [19]
14Frank Wolter [29] [30]
15Michael Zakharyaschev [29] [30]

Colors in the list of coauthors

Copyright © Fri Mar 12 12:56:28 2010 by Michael Ley (ley@uni-trier.de)