Ian PrattHartmann
According to our database^{1},
Ian PrattHartmann
authored at least 66 papers
between 1993 and 2020.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis OtherLinks
Online presence:

on orcid.org

on cs.man.ac.uk
On csauthors.net:
Bibliography
2020
CoRR, 2020
2019
J. Symb. Log., 2019
Proceedings of the 44th International Symposium on Mathematical Foundations of Computer Science, 2019
Transitivity and Equivalence in Decidable Fragments of FirstOrder Logic: A Survey.
Proceedings of the Logic and Its Applications  8th Indian Conference, 2019
2018
ACM SIGLOG News, 2018
Finite satisfiability for twovariable, firstorder logic with one transitive relation is decidable.
Math. Log. Q., 2018
CoRR, 2018
Proceedings of the LPAR22. 22nd International Conference on Logic for Programming, 2018
2017
J. Log. Comput., 2017
Adding PathFunctional Dependencies to the Guarded TwoVariable Fragment with Counting.
Log. Methods Comput. Sci., 2017
The Finite Satisfiability Problem for TwoVariable, FirstOrder Logic with one Transitive Relation is Decidable.
CoRR, 2017
2016
Proceedings of the 25th EACSL Annual Conference on Computer Science Logic, 2016
2015
Math. Log. Q., 2015
2014
SIAM J. Comput., 2014
Artif. Intell., 2014
Proceedings of the Joint Meeting of the TwentyThird EACSL Annual Conference on Computer Science Logic (CSL) and the TwentyNinth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 2014
2013
ACM Trans. Comput. Log., 2013
J. Log. Comput., 2013
J. Philos. Log., 2013
2012
Stud Logica, 2012
Bull. EATCS, 2012
2011
J. Log. Lang. Inf., 2011
Proceedings of the IJCAI 2011, 2011
2010
Log. Methods Comput. Sci., 2010
Proceedings of the Logic, 2010
Decidability of the Logics of the Reflexive Subinterval and Superinterval Relations over Finite Linear Orders.
Proceedings of the TIME 2010, 2010
Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Twelfth International Conference, 2010
Proceedings of the Computer Science Logic, 24th International Workshop, 2010
2009
Rev. Symb. Log., 2009
Inf. Comput., 2009
Fundam. Informaticae, 2009
Proceedings of the 24th Annual IEEE Symposium on Logic in Computer Science, 2009
Proceedings of the PreProceedings of the Workshop on Controlled Natural Language (CNL 2009), 2009
Proceedings of the Mathematical Theory and Computational Practice, 2009
Proceedings of the Languages: From Formal to Natural, 2009
2008
J. Appl. Non Class. Logics, 2008
On the Computational Complexity of the Numerically Definite Syllogistic and Related Logics.
Bull. Symb. Log., 2008
Proceedings of the Logic for Programming, 2008
Proceedings of the Advances in Modal Logic 7, 2008
2007
Proceedings of the Handbook of Spatial Logics, 2007
Proceedings of the Handbook of Spatial Logics, 2007
J. Log. Comput., 2007
CoRR, 2007
2006
Notre Dame J. Formal Log., 2006
2005
J. Log. Lang. Inf., 2005
Artif. Intell., 2005
Proceedings of the Annotating, 2005
2004
J. Log. Lang. Inf., 2004
CoRR, 2004
2003
J. Log. Lang. Inf., 2003
2002
J. Philos. Log., 2002
J. Appl. Non Class. Logics, 2002
2001
Fundam. Informaticae, 2001
A ResolutionBased Decision Procedure for the TwoVariable Fragment with Equality.
Proceedings of the Automated Reasoning, First International Joint Conference, 2001
2000
J. Symb. Log., 2000
Proceedings of the Seventeenth National Conference on Artificial Intelligence and Twelfth Conference on on Innovative Applications of Artificial Intelligence, July 30, 2000
1999
Spatial Cogn. Comput., 1999
J. Math. Imaging Vis., 1999
J. Geogr. Syst., 1999
1998
J. Vis. Lang. Comput., 1998
Notre Dame J. Formal Log., 1998
J. Philos. Log., 1998
1997
Notre Dame J. Formal Log., 1997
1996
On the Incompleteness of Modal Logics of Space: Advancing Complete Modal Logics of Place.
Proceedings of the Advances in Modal Logic 1, 1996
1994
The Expressive Power of the English Temporal Preposition System.
Proceedings of the TIME94 International Workshop on Temporal Reasoning, 1994
1993
Proceedings of the Spatial Information Theory: A Theoretical Basis for GIS, 1993