Ian Pratt-Hartmann

2023

Adding Transitivity and Counting to the Fluted Fragment

Pratt-Hartmann, I. & Tendera, L., 11 Feb 2023, 31st EACSL Annual Conference on Computer Science Logic (CSL 2023). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, p. 32:1--32:22 22 p. (Leibniz International Proceedings in Informatics).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

Open Access

Fragments of First-Order Logic

Pratt-Hartmann, I., 30 Mar 2023, Oxford: Oxford University Press. 672 p. (Oxford Logic Guides; vol. 56)

Research output: Book/Report › Book

2022

Can Transformers Reason in Fragments of Natural Language?

Pratt-Hartmann, I., Schlegel, V. & Pavlov, K., 7 Dec 2022, Proceedings of the 2022 Conference on Empirical Methods in Natural Language Processing. Association for Computational Linguistics, p. 11184-11199 16 p.

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

The fluted fragment with transitive relations

Pratt-hartmann, I. & Tendera, L., 1 Jan 2022, In: Annals of Pure and Applied Logic. 173, 1, p. 103042

Research output: Contribution to journal › Article › peer-review

Open Access

File

12 Downloads (Pure)

2021

Adding Guarded Constructions to the Syllogistic

Pratt-Hartmann, I., 2021, Hajnal Andréka and István Németi on Unity of Science: From Computing to Relativity Theory through Algebraic Logic. Madarász, J. & Székely, G. (eds.). Cham: Springer Nature, p. 139-163 25 p.

Research output: Chapter in Book/Report/Conference proceeding › Chapter

Fluted Logic with Counting

Pratt-Hartmann, I., 2 Jul 2021.

Research output: Contribution to conference › Paper › peer-review

Open Access

File

29 Downloads (Pure)

2019

The Fluted Fragment Revisited

Pratt-Hartmann, I., Swast, W. & Tendera, L., 16 Sep 2019, In: The Journal of Symbolic Logic. 84, 3, p. 1020-1048 29 p.

Research output: Contribution to journal › Article › peer-review

Open Access

File

210 Downloads (Pure)

The Fluted Fragment with Transitivity

Pratt-Hartmann, I. & Tendera, L., 20 Aug 2019, p. 18:1-18:15. 15 p.

Research output: Contribution to conference › Paper › peer-review

Open Access

2018

Finite Satisfiability for Two-Variable, First-Order Logic with one Transitive Relation is Decidable

Pratt-Hartmann, I., 3 Aug 2018, In: Mathematical Logic Quarterly. 64, 3, p. 218–248 31 p.

Research output: Contribution to journal › Article › peer-review

Open Access

2017

Adding Path-Functional Dependencies to the Guarded Two-Variable Fragment with Counting

Pratt-Hartmann, I. & Kourtis, G., 30 Oct 2017, In: Logical Methods in Computer Science. 13, 4, p. 1-39 39 p., 4.

Research output: Contribution to journal › Article › peer-review

Open Access

2016

Quine’s Fluted Fragment is Non-elementary

Pratt-Hartmann, I., Szwast, W. & Tendera, L., 13 Jun 2016, 25th EACSL Annual Conference on Computer Science Logic . Regnier, L. & Talbot, J-M. (eds.). 34. (25th EACSL Annual Conference on Computer Science Logic (CSL 2016)).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

Open Access

File

85 Downloads (Pure)

2015

Equivalence closure in the two-variable guarded fragment

Kieronski, E., Pratt-Hartmann, I. & Tendera, L., 4 Dec 2015, In: Journal of Logic and Computation. 27, 4, p. 999-1021 23 p.

Research output: Contribution to journal › Article › peer-review

Open Access

Semantic Complexity in Natural Language

Pratt-Hartmann, I., Lappin, S. (ed.) & Fox, C. (ed.), Sep 2015, The Handbook of Contemporary Semantic Theory. 2nd ed. John Wiley & Sons Ltd, p. 429-454

Research output: Chapter in Book/Report/Conference proceeding › Chapter

The two-variable fragment with counting and equivalence

Pratt-Hartmann, I., 25 Nov 2015, In: Mathematical Logic Quarterly. 61, 6, p. 474-515 41 p.

Research output: Contribution to journal › Article › peer-review

Open Access

File

52 Downloads (Pure)

2014

Logics with Counting and Equivalence

Pratt-Hartmann, I., Henzinger, T. (ed.) & Miller, D. (ed.), 12 Jul 2014, ACM/IEEE Symposium on Logic in Computer Science. Henzinger, T. & Miller, D. (eds.). Association for Computing Machinery, p. 1-10 10 p.

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

Spatial reasoning with RCC8 and connectedness constraints in Euclidean spaces

Kontchakov, R., Pratt-Hartmann, I. & Zakharyaschev, M., 7 Aug 2014, In: Artificial Intelligence. 217, p. 43-75 32 p.

Research output: Contribution to journal › Article › peer-review

Two-Variable First-Order Logic with Equivalence Closure

Kieroński, E., Michaliszyn, J., Pratt-Hartmann, I. & Tendera, L., 1 May 2014, In: SIAM Journal on Computing . 43, 3, p. 1012-1063 51 p.

Research output: Contribution to journal › Article › peer-review

2013

Functions definable by numerical set-expressions

Pratt-Hartmann, I. & Düntsch, I., Aug 2013, In: Journal of Logic and Computation. 23, 4, p. 873-895 22 p.

Research output: Contribution to journal › Article › peer-review

The Relational Syllogism Revisted

Pratt-Hartmann, I., 31 Dec 2013, In: Linguistic Issues in Language Technology. 9, 10, 35 p.

Research output: Contribution to journal › Article › peer-review

The Syllogistic with Unity

Pratt-Hartmann, I., 2013, In: Journal of Philosophical Logic. 42, 2, p. 391-407 16 p.

Research output: Contribution to journal › Article › peer-review

Topological logics with connectedness over euclidean spaces

Kontchakov, R., Nenov, Y., Pratt-Hartmann, I. & Zakharyaschev, M., Jun 2013, In: ACM Transactions on Computational Logic. 14, 2, 13.

Research output: Contribution to journal › Article › peer-review

2012

Twenty Years of Topological Logic

Pratt-Hartmann, I., Raubal, M. (ed.), Mark, D. M. (ed.) & Frank, A. U. (ed.), 1 Jun 2012, Cognitive and Linguistic Aspects of Geographic Space: New Perspectives on Geographic Information Research. Berlin: Springer Nature, p. 217-235 (Lecture Notes in Geoinformation and Cartography).

Research output: Chapter in Book/Report/Conference proceeding › Chapter

Two-variable first-order logic with equivalence closure

Kieroňski, E., Michaliszyn, J., Pratt-Hartmann, I. & Tendera, L., 2012, Proceedings of the 2012 27th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2012|Proc. Annu. ACM/IEEE Symp. Logic Comput. Sci., LICS. Los Alamitos, California: IEEE, p. 431-440 9 p.

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

2011

On the decidability of connectedness constraints in 2D and 3D euclidean spaces

Kontchakov, R., Nenov, Y., Pratt-Hartmann, I. & Zakharyaschev, M., 2011, IJCAI International Joint Conference on Artificial Intelligence|IJCAI Int. Joint Conf. Artif. Intell.. AAAI Press, p. 957-962 5 p.

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

The Hamiltonian Syllogistic

Pratt-Hartmann, I., Oct 2011, In: Journal of Logic, Language and Information. 20, 4, p. 445-474 29 p.

Research output: Contribution to journal › Article › peer-review

2010

Computational Complexity in Natural Language

Pratt-Hartmann, I., 29 Jun 2010, The Handbook of Computational Linguistics and Natural Language Processing|The Handb. of Comput. Linguist. and Nat. Lang. Proces.. Oxford: John Wiley & Sons Ltd, p. 43-73 30 p.

Research output: Chapter in Book/Report/Conference proceeding › Chapter

Decidability of the logics of the reflexive sub-interval and super-interval relations over finite linear orders

Montanari, A., Pratt-Hartmann, I. & Sala, P., 2010, Proceedings - 17th International Symposium on Temporal Representation and Reasoning, TIME 2010|Proc. - Int. Symp. Temporal Represent. Reasoning, TIME. IEEE, p. 27-34 7 p.

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

Interpreting topological logics over Euclidean spaces

Kontchakov, R., Pratt-Hartmann, I. & Zakharyaschev, M., 2010, Principles of Knowledge Representation and Reasoning: Proceedings of the 12th International Conference, KR 2010|Princ. Knowl. Represent. Reasoning: Proc. Int. Conf., KR. Menlo Park, California: AAAI Press, p. 534-544 10 p.

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

On the computability of region-based euclidean logics

Nenov, Y. & Pratt-Hartmann, I., 2010, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)|Lect. Notes Comput. Sci.. Heidelberg: Springer Nature, Vol. 6247. p. 439-453 14 p.

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

Spatial logics with connectedness predicates

Kontchakov, R., Pratt-Hartmann, I., Wolter, F. & Zakharyaschev, M., 2010, In: Logical Methods in Computer Science. 6, 3, p. 1-43 42 p.

Research output: Contribution to journal › Article › peer-review

The two-variable fragment with counting revisited

Pratt-Hartmann, I., 2010, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)|Lect. Notes Comput. Sci.. Heidelberg: Springer Nature, Vol. 6188. p. 42-54 12 p. (Lecture Notes in Artificial Intelligence).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

2009

Complex algebras of arithmetic

Düntsch, I. & Pratt-Hartmann, I., 2009, In: Fundamenta Informaticae. 97, 4, p. 347-367 20 p.

Research output: Contribution to journal › Article › peer-review

Data-complexity of the two-variable fragment with counting quantifiers

Pratt-Hartmann, I., Aug 2009, In: Information and Computation. 207, 8, p. 867-888 21 p.

Research output: Contribution to journal › Article › peer-review

Functions definable by arithmetic circuits

Pratt-Hartmann, I. & Düntsch, I., 2009, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)|Lect. Notes Comput. Sci.. Berlin: Springer Nature, Vol. 5635. p. 409-418 9 p. (Lecture notes in computer science).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

Logics for the Relational Syllogistic

Pratt-Hartmann, I. & Moss, L. S., 2009, In: Review of Symbolic Logic. 2, 4, p. 647-683 37 p.

Research output: Contribution to journal › Article › peer-review

No syllogisms for the numerical syllogistic

Pratt-Hartmann, I., 2009, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)|Lect. Notes Comput. Sci.. Berlin: Springer Nature, Vol. 5533. p. 192-203 11 p. (Lecture notes in computer science).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

Note on the complexity of the satisfiability problem for graded modal logics

Pratt-Hartmann, I. & Kazakov, Y., 2009, Proceedings - Symposium on Logic in Computer Science|Proc Symp Logic Comput Sci. IEEE, p. 407-416 9 p.

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

2008

Conditionalization and total knowledge

Pratt-Hartmann, I., 2008, In: Journal of Applied Non-Classical Logics. 18, 2-3, p. 247-266 19 p.

Research output: Contribution to journal › Article › peer-review

On the computational complexity of spatial logics with connectedness constraints

Kontchakov, R., Pratt-Hartmann, I., Wolter, F. & Zakharyaschev, M., 2008, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)|Lect. Notes Comput. Sci.. Berlin: Springer Nature, Vol. 5330. p. 574-589 15 p. (Lecture notes in computer science).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

On the computational complexity of the numerically definite syllogistic and related logics

Ian, P. H., Mar 2008, In: Bulletin of Symbolic Logic. 14, 1, p. 1-28 27 p.

Research output: Contribution to journal › Article › peer-review

Topology, connectedness, and modal logic

Kontchakov, R., Pratt-Hartmann, I., Wolter, F. & Zakharyaschev, M., 2008, Advances in Modal Logic 2006|Adv. Modal Logic. London: College Publications, Vol. 7. p. 151-176 25 p.

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

2007

Pratt-Hartmann, I., Geertzen, J. (ed.), Thijsse, E. (ed.), Bunt, H. (ed.) & Schiffrin, A. (ed.), 2007, host publication. Geertzen, J., Thijsse, E., Bunt, H. & Schiffrin, A. (eds.). Tilburg: Tilburg University, Department of Communication and Information Sciences, p. 166-180 15 p.

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

Handbook of Spatial Logics

Pratt-Hartmann, I. & Benthem, M. A. I. P-H. J. V., 2007, Springer Nature.

Research output: Book/Report › Anthology › peer-review

What is Spatial Logic?

Pratt-Hartmann, I., Aiello, M. & Benthem, J. V., 2007, Handbook of Spatial Logics. Berlin: Springer Nature, p. 1-11 11 p.

Research output: Chapter in Book/Report/Conference proceeding › Foreword/postscript

2006

Language: mathematical complexity

Pratt-Hartmann, I. & Brown, K. (ed.), 2006, Encyclopedia of Language & Linguistics: Vol. 6. Second ed. Oxford: Elsevier BV, p. 657-664

Research output: Chapter in Book/Report/Conference proceeding › Entry for encyclopedia/dictionary

More fragments of language

Pratt-Hartmann, I. & Third, A., 2006, In: Notre Dame Journal of Formal Logic. 47, 2, p. 151-177 26 p.

Research output: Contribution to journal › Article › peer-review

2005

Complexity of the two-variable fragment with counting quantifiers

Pratt-Hartmann, I., Jun 2005, In: Journal of Logic, Language and Information. 14, 3, p. 369-395 26 p.

Research output: Contribution to journal › Article › peer-review

Temporal prepositions and their logic

Pratt-Hartmann, I., Aug 2005, In: Artificial Intelligence. 166, 1-2, p. 1-36 35 p.

Research output: Contribution to journal › Article › peer-review

Ian Pratt-Hartmann

Research output

Search results