Dr Ian Pratt-Hartmann

Senior Lecturer

Full contact details
View graph of relations

Publications

  1. 2019
  2. Published

    The Fluted Fragment Revisited

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

    Research output: Contribution to journalArticle

  3. Published

    The Fluted Fragment with Transitivity

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

    Research output: Contribution to conferencePaper

  4. 2018
  5. Published

    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 journalArticle

  6. 2017
  7. Published

    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 journalArticle

  8. 2016
  9. Published

    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

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  10. 2015
  11. Published

    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 journalArticle

  12. Published

    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 journalArticle

  13. Published

    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 proceedingChapter

  14. 2014
  15. Published

    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 journalArticle

  16. Published

    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 proceedingConference contribution

Previous 1 2 3 4 5 6 7 Next

Research Explorer downloads

69

Research output: Chapter in Book/Report/Conference proceedingConference contribution

22

Research output: Contribution to journalArticle

15

Research output: Contribution to journalArticle