Ian Pratt-Hartmann

2008
22	EE	Roman Kontchakov, Ian Pratt-Hartmann, Frank Wolter, Michael Zakharyaschev: Topology, connectedness, and modal logic. Advances in Modal Logic 2008: 151-176
21	EE	Roman Kontchakov, Ian Pratt-Hartmann, Frank Wolter, Michael Zakharyaschev: On the Computational Complexity of Spatial Logics with Connectedness Constraints. LPAR 2008: 574-589
20	EE	Ian Pratt-Hartmann: Data-Complexity of the Two-Variable Fragment with Counting Quantifiers CoRR abs/0806.1636: (2008)
19	EE	Ian Pratt-Hartmann, Lawrence S. Moss: Logics for the Relational Syllogistic CoRR abs/0808.0521: (2008)
2007
18		Marco Aiello, Ian Pratt-Hartmann, Johan van Benthem: Handbook of Spatial Logics Springer 2007
17	EE	Marco Aiello, Ian Pratt-Hartmann, Johan van Benthem: What is Spatial Logic? Handbook of Spatial Logics 2007: 1-11
16	EE	Ian Pratt-Hartmann: First-Order Mereotopology. Handbook of Spatial Logics 2007: 13-97
15	EE	Ian Pratt-Hartmann: On the Complexity of the Numerically Definite Syllogistic and Related Fragments CoRR abs/cs/0701039: (2007)
14	EE	Ian Pratt-Hartmann: Complexity of the Guarded Two-variable Fragment with Counting Quantifiers. J. Log. Comput. 17(1): 133-155 (2007)
2006
13	EE	Ian Pratt-Hartmann: Complexity of the Guarded Two-Variable Fragment with Counting Quantifiers CoRR abs/cs/0601112: (2006)
2005
12		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
11	EE	Ian Pratt-Hartmann: From TimeML to TPL. Annotating, Extracting and Reasoning about Time and Events 2005
10	EE	Ian Pratt-Hartmann: Temporal prepositions and their logic. Artif. Intell. 166(1-2): 1-36 (2005)
9	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
8	EE	Ian Pratt-Hartmann: Temporal Prepositions and Their Logic. TIME 2004: 7-8
7	EE	Ian Pratt-Hartmann: Complexity of the Two-Variable Fragment with (Binary-Coded) Counting Quantifiers CoRR cs.LO/0411031: (2004)
6	EE	Ian Pratt-Hartmann: Fragments of Language. Journal of Logic, Language and Information 13(2): 207-223 (2004)
2003
5		Ian Pratt-Hartmann: A Two-Variable Fragment of English. Journal of Logic, Language and Information 12(1): 13-45 (2003)
2002
4		Ian Pratt-Hartmann: A Topological Constraint Language with Component Counting. Journal of Applied Non-Classical Logics 12(3-4): 441-468 (2002)
2001
3	EE	Hans de Nivelle, Ian Pratt-Hartmann: A Resolution-Based Decision Procedure for the Two-Variable Fragment with Equality. IJCAR 2001: 211-225
2		Ian Pratt-Hartmann: Empiricism and Rationalism in Region-based Theories of Space. Fundam. Inform. 46(1-2): 159-186 (2001)
2000
1		Ian Pratt-Hartmann: Total Knowledge. AAAI/IAAI 2000: 423-428

Coauthor Index

1	Marco Aiello	[17] [18]
2	Johan van Benthem	[17] [18]
3	Roman Kontchakov	[21] [22]
4	Lawrence S. Moss	[19]
5	Hans de Nivelle	[3]
6	Mark Reynolds	[12]
7	Renate A. Schmidt	[12]
8	Heinrich Wansing	[12]
9	Frank Wolter	[21] [22]
10	Michael Zakharyaschev	[21] [22]

Colors in the list of coauthors