dblp.uni-trier.dewww.uni-trier.de

Ian Pratt-Hartmann Vis

Ian E. Pratt

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

*2009
34EEIan Pratt-Hartmann, Ivo Düntsch: Functions Definable by Arithmetic Circuits. CiE 2009: 409-418
33EEIan Pratt-Hartmann: No Syllogisms for the Numerical Syllogistic. Languages: From Formal to Natural 2009: 192-203
32EEYevgeny Kazakov, Ian Pratt-Hartmann: A Note on the Complexity of the Satisfiability Problem for Graded Modal Logics CoRR abs/0905.3108: (2009)
31EEIan Pratt-Hartmann: Data-complexity of the two-variable fragment with counting quantifiers. Inf. Comput. 207(8): 867-888 (2009)
2008
30EERoman Kontchakov, Ian Pratt-Hartmann, Frank Wolter, Michael Zakharyaschev: Topology, connectedness, and modal logic. Advances in Modal Logic 2008: 151-176
29EERoman Kontchakov, Ian Pratt-Hartmann, Frank Wolter, Michael Zakharyaschev: On the Computational Complexity of Spatial Logics with Connectedness Constraints. LPAR 2008: 574-589
28EEIan Pratt-Hartmann: On the Computational Complexity of the Numerically Definite Syllogistic and Related Logics. Bulletin of Symbolic Logic 14(1): 1-28 (2008)
27EEIan Pratt-Hartmann: Data-Complexity of the Two-Variable Fragment with Counting Quantifiers CoRR abs/0806.1636: (2008)
26EEIan 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
24EEMarco Aiello, Ian Pratt-Hartmann, Johan van Benthem: What is Spatial Logic? Handbook of Spatial Logics 2007: 1-11
23EEIan Pratt-Hartmann: First-Order Mereotopology. Handbook of Spatial Logics 2007: 13-97
22EEIan Pratt-Hartmann: On the Complexity of the Numerically Definite Syllogistic and Related Fragments CoRR abs/cs/0701039: (2007)
21EEIan Pratt-Hartmann: Complexity of the Guarded Two-variable Fragment with Counting Quantifiers. J. Log. Comput. 17(1): 133-155 (2007)
2006
20EEIan 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
18EEIan Pratt-Hartmann: From TimeML to TPL. Annotating, Extracting and Reasoning about Time and Events 2005
17EEIan Pratt-Hartmann: Temporal prepositions and their logic. Artif. Intell. 166(1-2): 1-36 (2005)
16EEIan Pratt-Hartmann: Complexity of the Two-Variable Fragment with Counting Quantifiers. Journal of Logic, Language and Information 14(3): 369-395 (2005)
2004
15EEIan Pratt-Hartmann: Temporal Prepositions and Their Logic. TIME 2004: 7-8
14EEIan Pratt-Hartmann: Complexity of the Two-Variable Fragment with (Binary-Coded) Counting Quantifiers CoRR cs.LO/0411031: (2004)
13EEIan 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
10EEHans 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
6EEOliver 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
2EEIan 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

Coauthor Index

1Marco Aiello [24] [25]
2Johan van Benthem [24] [25]
3David S. Brée [2]
4Ivo Düntsch [34]
5Yevgeny Kazakov [32]
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 © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)