Ian Pratt-Hartmann Papers on DiSC'04 Temporal Prepositions and Their Logic Publications Note: Links lead to the DBLP on the Web. Ian Pratt-Hartmann Ian Pratt-Hartmann: Temporal Prepositions and Their Logic. TIME 2004 : 7-8 Ian Pratt-Hartmann: Complexity of the Two-Variable Fragment with (Binary-Coded) Counting Quantifiers CoRR cs.LO/0411031 : (2004) Ian Pratt-Hartmann: Fragments of Language. Journal of Logic, Language and Information 13 (2): 207-223 (2004) Ian Pratt-Hartmann: A Two-Variable Fragment of English. Journal of Logic, Language and Information 12 (1): 13-45 (2003) Ian Pratt-Hartmann: A Topological Constraint Language with Component Counting. Journal of Applied Non-Classical Logics 12 (3-4): 441-468 (2002) Hans de Nivelle , Ian Pratt-Hartmann: A Resolution-Based Decision Procedure for the Two-Variable Fragment with Equality. IJCAR 2001 : 211-225 Ian Pratt-Hartmann: Empiricism and Rationalism in Region-based Theories of Space. Fundam. Inform. 46 (1-2): 159-186 (2001) Ian Pratt-Hartmann: Total Knowledge. AAAI/IAAI 2000 : 423-428 1 [ 3 ] ©2005 Association for Computing Machinery