Stebėti
Ian Pratt-Hartmann
Ian Pratt-Hartmann
School of Computer Science, University of Manchester
Patvirtintas el. paštas cs.man.ac.uk - Pagrindinis puslapis
Pavadinimas
Cituota
Cituota
Metai
Handbook of spatial logics
M Aiello, I Pratt-Hartmann, J Van Benthem
Springer, 2007
3512007
Complexity of the two-variable fragment with counting quantifiers
I Pratt-Hartmann
Journal of Logic, Language, and Information, 369-395, 2005
2062005
Connexive modal logic
H Wansing, R Schmidt, I Pratt-Hartmann, M Reynolds
AiML-2004: Advances in Modal Logic 5, 387-399, 2004
1432004
Logics for the relational syllogistic
I Pratt-Hartmann, LS Moss
The Review of Symbolic Logic 2 (4), 647-683, 2009
982009
Temporal prepositions and their logic
I Pratt-Hartmann
Artificial Intelligence 166 (1-2), 1-36, 2005
902005
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
762014
Fragments of language
I Pratt-Hartmann
Journal of Logic, Language and Information 13, 207-223, 2004
752004
What is spatial logic?
M Aiello, I Pratt-Hartmann, J Van Benthem
Handbook of spatial logics, 1-11, 2007
602007
First-order mereotopology
I Pratt-Hartmann
Handbook of spatial logics, 13-97, 2007
602007
More fragments of language
I Pratt-Hartmann, A Third
Notre Dame Journal of Formal Logic 47 (2), 151-177, 2006
532006
A two-variable fragment of English
I Pratt-Hartmann
Journal of Logic, Language and Information 12, 13-45, 2003
502003
Data-complexity of the two-variable fragment with counting quantifiers
I Pratt-Hartmann
Information and Computation 207 (8), 867-888, 2009
492009
On the computational complexity of the numerically definite syllogistic and related logics
I Pratt-Hartmann
Bulletin of Symbolic Logic 14 (1), 1-28, 2008
462008
Complexity of the guarded two-variable fragment with counting quantifiers
I Pratt-Hartmann
arXiv preprint cs/0601112, 2006
462006
Spatial logics with connectedness predicates
R Kontchakov, I Pratt-Hartmann, F Wolter, M Zakharyaschev
Logical Methods in Computer Science 6, 2010
422010
Computational complexity in natural language
I Pratt‐hartmann
The handbook of computational linguistics and natural language processing, 43-73, 2010
342010
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
312010
The two-variable fragment with counting revisited
I Pratt-Hartmann
Logic, Language, Information and Computation: 17th International Workshop …, 2010
312010
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
312001
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
302009
Sistema negali atlikti operacijos. Bandykite vėliau dar kartą.
Straipsniai 1–20