Ian Pratt-Hartmann
Orcid: 0000-0003-0062-043XAffiliations:
- University of Manchester, UK
According to our database1,
Ian Pratt-Hartmann
authored at least 80 papers
between 1993 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on orcid.org
-
on cs.man.ac.uk
On csauthors.net:
Bibliography
2024
Improving Semantic Control in Discrete Latent Spaces with Transformer Quantized Variational Autoencoders.
Proceedings of the Findings of the Association for Computational Linguistics: EACL 2024, 2024
2023
LlaMaVAE: Guiding Large Language Model Generation via Continuous Latent Sentence Spaces.
CoRR, 2023
Graph-Induced Syntactic-Semantic Spaces in Transformer-Based Variational AutoEncoders.
CoRR, 2023
CoRR, 2023
Learning Disentangled Semantic Spaces of Explanations via Invertible Neural Networks.
CoRR, 2023
Proceedings of the 50th International Colloquium on Automata, Languages, and Programming, 2023
Not all quantifiers are equal: Probing Transformer-based language models' understanding of generalised quantifiers.
Proceedings of the 2023 Conference on Empirical Methods in Natural Language Processing, 2023
Identifying the limits of transformers when performing model-checking with natural language.
Proceedings of the 17th Conference of the European Chapter of the Association for Computational Linguistics, 2023
Proceedings of the 31st EACSL Annual Conference on Computer Science Logic, 2023
2022
CoRR, 2022
Proceedings of the 2022 Conference on Empirical Methods in Natural Language Processing, 2022
2021
Do Natural Language Explanations Represent Valid Logical Arguments? Verifying Entailment in Explainable NLI Gold Standards.
CoRR, 2021
Proceedings of the 48th International Colloquium on Automata, Languages, and Programming, 2021
2019
Proceedings of the 44th International Symposium on Mathematical Foundations of Computer Science, 2019
Proceedings of the Logic and Its Applications - 8th Indian Conference, 2019
2018
Finite satisfiability for two-variable, first-order logic with one transitive relation is decidable.
Math. Log. Q., 2018
Proceedings of the LPAR-22. 22nd International Conference on Logic for Programming, 2018
2017
Adding Path-Functional Dependencies to the Guarded Two-Variable Fragment with Counting.
Log. Methods Comput. Sci., 2017
The Finite Satisfiability Problem for Two-Variable, First-Order Logic with one Transitive Relation is Decidable.
CoRR, 2017
2016
Proceedings of the 25th EACSL Annual Conference on Computer Science Logic, 2016
2015
2014
Artif. Intell., 2014
Proceedings of the Joint Meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic (CSL) and the Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 2014
2013
ACM Trans. Comput. Log., 2013
2012
2011
Proceedings of the IJCAI 2011, 2011
2010
Decidability of the Logics of the Reflexive Sub-interval and Super-interval 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
Inf. Comput., 2009
Proceedings of the 24th Annual IEEE Symposium on Logic in Computer Science, 2009
Proceedings of the Pre-Proceedings 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
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
J. Log. Comput., 2007
CoRR, 2007
2006
2005
J. Log. Lang. Inf., 2005
2004
CoRR, 2004
2003
2002
J. Appl. Non Class. Logics, 2002
2001
Fundam. Informaticae, 2001
Proceedings of the Automated Reasoning, First International Joint Conference, 2001
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
1998
Notre Dame J. Formal Log., 1998
J. Philos. Log., 1998
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 TIME-94 International Workshop on Temporal Reasoning, 1994
1993
Proceedings of the Spatial Information Theory: A Theoretical Basis for GIS, 1993