Handbook of spatial logics M Aiello, I Pratt-Hartmann, J Van Benthem Springer, 2007 | 351 | 2007 |
Complexity of the two-variable fragment with counting quantifiers I Pratt-Hartmann Journal of Logic, Language, and Information, 369-395, 2005 | 206 | 2005 |
Connexive modal logic H Wansing, R Schmidt, I Pratt-Hartmann, M Reynolds AiML-2004: Advances in Modal Logic 5, 387-399, 2004 | 143 | 2004 |
Logics for the relational syllogistic I Pratt-Hartmann, LS Moss The Review of Symbolic Logic 2 (4), 647-683, 2009 | 98 | 2009 |
Temporal prepositions and their logic I Pratt-Hartmann Artificial Intelligence 166 (1-2), 1-36, 2005 | 90 | 2005 |
Two-variable first-order logic with equivalence closure E Kieronski, J Michaliszyn, I Pratt-Hartmann, L Tendera SIAM Journal on Computing 43 (3), 1012-1063, 2014 | 76 | 2014 |
Fragments of language I Pratt-Hartmann Journal of Logic, Language and Information 13, 207-223, 2004 | 75 | 2004 |
What is spatial logic? M Aiello, I Pratt-Hartmann, J Van Benthem Handbook of spatial logics, 1-11, 2007 | 60 | 2007 |
First-order mereotopology I Pratt-Hartmann Handbook of spatial logics, 13-97, 2007 | 60 | 2007 |
More fragments of language I Pratt-Hartmann, A Third Notre Dame Journal of Formal Logic 47 (2), 151-177, 2006 | 53 | 2006 |
A two-variable fragment of English I Pratt-Hartmann Journal of Logic, Language and Information 12, 13-45, 2003 | 50 | 2003 |
Data-complexity of the two-variable fragment with counting quantifiers I Pratt-Hartmann Information and Computation 207 (8), 867-888, 2009 | 49 | 2009 |
On the computational complexity of the numerically definite syllogistic and related logics I Pratt-Hartmann Bulletin of Symbolic Logic 14 (1), 1-28, 2008 | 46 | 2008 |
Complexity of the guarded two-variable fragment with counting quantifiers I Pratt-Hartmann arXiv preprint cs/0601112, 2006 | 46 | 2006 |
Spatial logics with connectedness predicates R Kontchakov, I Pratt-Hartmann, F Wolter, M Zakharyaschev Logical Methods in Computer Science 6, 2010 | 42 | 2010 |
Computational complexity in natural language I Pratt‐hartmann The handbook of computational linguistics and natural language processing, 43-73, 2010 | 34 | 2010 |
Decidability of the logics of the reflexive sub-interval and super-interval relations over finite linear orders A Montanari, I Pratt-Hartmann, P Sala 2010 17th International Symposium on Temporal Representation and Reasoning
, 2010 | 31 | 2010 |
The two-variable fragment with counting revisited I Pratt-Hartmann Logic, Language, Information and Computation: 17th International Workshop
, 2010 | 31 | 2010 |
A resolution-based decision procedure for the two-variable fragment with equality H De Nivelle, I Pratt-Hartmann International Joint Conference on Automated Reasoning, 211-225, 2001 | 31 | 2001 |
A note on the complexity of the satisfiability problem for graded modal logics Y Kazakov, I Pratt-Hartmann 2009 24th Annual IEEE Symposium on Logic In Computer Science, 407-416, 2009 | 30 | 2009 |