Handbook of spatial logics M Aiello, I Pratt-Hartmann, J Van Benthem Springer, 2007 | 272 | 2007 |
Complexity of the two-variable fragment with counting quantifiers I Pratt-Hartmann Journal of Logic, Language and Information 14 (3), 369-395, 2005 | 168 | 2005 |
Logics for the relational syllogistic I Pratt-Hartmann, LS Moss arXiv preprint arXiv:0808.0521, 2008 | 80 | 2008 |
Temporal prepositions and their logic I Pratt-Hartmann Artificial Intelligence 166 (1-2), 1-36, 2005 | 80 | 2005 |
Fragments of language I Pratt-Hartmann Journal of Logic, Language and Information 13 (2), 207-223, 2004 | 63 | 2004 |
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 | 61 | 2014 |
A two-variable fragment of English I Pratt-Hartmann Journal of Logic, Language and Information 12 (1), 13-45, 2003 | 47 | 2003 |
More fragments of language I Pratt-Hartmann, A Third Notre Dame Journal of Formal Logic 47 (2), 151-177, 2006 | 46 | 2006 |
Data-complexity of the two-variable fragment with counting quantifiers I Pratt-Hartmann Information and Computation 207 (8), 867-888, 2009 | 44 | 2009 |
First-order mereotopology I Pratt-Hartmann Handbook of spatial logics, 13-97, 2007 | 43 | 2007 |
What is spatial logic? M Aiello, I Pratt-Hartmann, J Van Benthem Handbook of spatial logics, 1-11, 2007 | 40 | 2007 |
Spatial logics with connectedness predicates R Kontchakov, I Pratt-Hartmann, F Wolter, M Zakharyaschev arXiv preprint arXiv:1003.5399, 2010 | 36 | 2010 |
Complexity of the guarded two-variable fragment with counting quantifiers I Pratt-Hartmann arXiv preprint cs/0601112, 2006 | 36 | 2006 |
On the computational complexity of the numerically definite syllogistic and related logics I Pratt-Hartmann Bulletin of Symbolic Logic 14 (1), 1-28, 2008 | 34 | 2008 |
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 | 32 | 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 | 28 | 2009 |
Interpreting Topological Logics over Euclidean Spaces. R Kontchakov, I Pratt-Hartmann, M Zakharyaschev KR, 2010 | 26 | 2010 |
Computational complexity in natural language I Pratt-Hartmann The handbook of computational linguistics and natural language processing 57, 2010 | 25 | 2010 |
The two-variable fragment with counting revisited I Pratt-Hartmann International Workshop on Logic, Language, Information, and Computation, 42-54, 2010 | 22 | 2010 |