I. Pratt-Hartmann
发表
Yavor Nenov,
Michael Zakharyaschev,
Roman Kontchakov,
2011,
IJCAI.
I. Pratt-Hartmann,
2010
.
I. Pratt-Hartmann,
2010
.
I. Pratt-Hartmann,
2009
.
I. Pratt-Hartmann,
Ian Pratt-Hartmann,
2005
.
I. Pratt-Hartmann,
2015
.
I. Pratt-Hartmann,
2022
.
I. Pratt-Hartmann,
W. Szwast,
Lidia Tendera,
2018,
The Journal of Symbolic Logic.
Witold Charatonik,
I. Pratt-Hartmann,
Piotr Witkowski,
2019
.
Oliver Lemon,
Ian Pratt-Hartmann,
Oliver Lemon,
1997,
Notre Dame J. Formal Log..
I. Pratt-Hartmann,
Ian Pratt-Hartmann,
2013
.
I. Pratt-Hartmann,
Viktor Schlegel,
Kamen V. Pavlov,
2022,
EMNLP.
Ian Pratt-Hartmann,
I. Pratt-Hartmann,
Ian Pratt-Hartmann,
2010
.
Johan van Benthem,
Marco Aiello,
Ian Pratt-Hartmann,
2007
.
Ian Pratt-Hartmann,
I. Pratt-Hartmann,
Ian Pratt-Hartmann,
2005,
Annotating, Extracting and Reasoning about Time and Events.
Ian Pratt-Hartmann,
I. Pratt-Hartmann,
Ian Pratt-Hartmann,
2004,
J. Log. Lang. Inf..