Ian Pratt-Hartmann
发表
Ian Pratt-Hartmann,
I. Pratt-Hartmann,
Ian Pratt-Hartmann,
2010
.
Heinrich Wansing,
Renate A. Schmidt,
Ian Pratt-Hartmann,
2002
.
Lawrence S. Moss,
Ian Pratt-Hartmann,
L. Moss,
2008,
The Review of Symbolic Logic.
Lidia Tendera,
Ian Pratt-Hartmann,
Lidia Tendera,
2019,
MFCS.
Ian Pratt-Hartmann,
Ian Pratt-Hartmann,
2018,
Mathematical Logic Quarterly.
Ian Pratt-Hartmann,
Ian Pratt-Hartmann,
2007,
Handbook of Spatial Logics.
Ian Pratt-Hartmann,
Ian Pratt-Hartmann,
2014,
CSL-LICS.
Ian Pratt-Hartmann,
2013,
J. Philos. Log..
Yavor Nenov,
Michael Zakharyaschev,
Roman Kontchakov,
2011,
IJCAI.
Ian Pratt-Hartmann,
Ian Pratt-Hartmann,
2006,
J. Log. Comput..
Ian Pratt-Hartmann,
Dominik J. Schoop,
2000,
J. Symb. Log..
Ian Pratt-Hartmann,
Ian Pratt-Hartmann,
2002,
J. Appl. Non Class. Logics.
The Finite Satisfiability Problem for Two-Variable, First-Order Logic with one Transitive Relation is Decidable
pdf
Ian Pratt-Hartmann,
2017,
ArXiv.
Harry Bunt,
Jeroen Geertzen,
Ian Pratt-Hartmann,
2007
.
Ian Pratt-Hartmann,
2012,
Bull. EATCS.
Ian Pratt-Hartmann,
Ian Pratt-Hartmann,
2002,
J. Log. Lang. Inf..
Ivo Düntsch,
Ian Pratt-Hartmann,
2013,
J. Log. Comput..
Hans de Nivelle,
Ian Pratt-Hartmann,
H. D. Nivelle,
2001,
IJCAR.
Ivo Düntsch,
Ian Pratt-Hartmann,
2009,
Fundam. Informaticae.
Yavor Nenov,
Michael Zakharyaschev,
Roman Kontchakov,
2011,
TOCL.
Frank Wolter,
Michael Zakharyaschev,
Roman Kontchakov,
2008,
Advances in Modal Logic.
Michael Zakharyaschev,
Roman Kontchakov,
Ian Pratt-Hartmann,
2014,
Artif. Intell..
Ian Pratt-Hartmann,
Ian Pratt-Hartmann,
2015,
Math. Log. Q..
Heinrich Wansing,
Renate A. Schmidt,
Ian Pratt-Hartmann,
2005,
Advances in Modal Logic.
Jakub Michaliszyn,
Lidia Tendera,
Ian Pratt-Hartmann,
2012,
2012 27th Annual IEEE Symposium on Logic in Computer Science.
Ian Pratt-Hartmann,
Dominik J. Schoop,
Ian Pratt-Hartmann,
1998,
J. Philos. Log..
Ian Pratt-Hartmann,
2010,
WoLLIC.
Ian Pratt-Hartmann,
2006
.
Ian Pratt-Hartmann,
2009,
Languages: From Formal to Natural.
Ian Pratt-Hartmann,
Ian Pratt-Hartmann,
2005,
J. Log. Lang. Inf..
Jakub Michaliszyn,
Lidia Tendera,
Ian Pratt-Hartmann,
2014,
SIAM J. Comput..
Yavor Nenov,
Ian Pratt-Hartmann,
2010,
CSL.
Ian Pratt-Hartmann,
Ian Pratt-Hartmann,
2000,
AAAI/IAAI.
Ian Pratt-Hartmann,
2008,
Bull. Symb. Log..
Ian Pratt-Hartmann,
David Bree,
S. Feigenbaum,
2002
.
Ian Pratt-Hartmann,
2019,
ICLA.
Dov M. Gabbay,
Michael Fisher,
Howard Barringer,
2000
.
Frank Wolter,
Michael Zakharyaschev,
Roman Kontchakov,
2008,
LPAR.
Wieslaw Szwast,
Lidia Tendera,
Ian Pratt-Hartmann,
2016,
CSL.
Ian Pratt-Hartmann,
2001,
Fundam. Informaticae.
Lidia Tendera,
Ian Pratt-Hartmann,
Lidia Tendera,
2020,
Ann. Pure Appl. Log..
Oliver Lemon,
Ian Pratt-Hartmann,
Oliver Lemon,
1997,
Notre Dame J. Formal Log..
Oliver Lemon,
Ian Pratt-Hartmann,
1998,
J. Vis. Lang. Comput..
Chadi Barakat,
Ian Pratt,
Ian Pratt-Hartmann,
2004
.
Nissim Francez,
Ian Pratt-Hartmann,
2012,
Stud Logica.
Ian Pratt-Hartmann,
Ian Pratt-Hartmann,
2010,
J. Log. Lang. Inf..
Lidia Tendera,
Ian Pratt-Hartmann,
Emanuel Kieronski,
2018,
SIGL.
Yevgeny Kazakov,
Ian Pratt-Hartmann,
2009,
2009 24th Annual IEEE Symposium on Logic In Computer Science.
Frank Wolter,
Michael Zakharyaschev,
Roman Kontchakov,
2010,
Log. Methods Comput. Sci..
Ian Pratt-Hartmann,
J. Halpern,
2004
.
Wieslaw Szwast,
Lidia Tendera,
Ian Pratt-Hartmann,
2019,
J. Symb. Log..
Ian Pratt-Hartmann,
2004,
ArXiv.
Ivo Düntsch,
Ian Pratt-Hartmann,
2009,
CiE.
Ian Pratt-Hartmann,
2009,
CNL.
Allan Third,
Ian Pratt-Hartmann,
Allan Third,
2006,
Notre Dame J. Formal Log..
Ian Pratt-Hartmann,
Ian Pratt-Hartmann,
2004,
Artif. Intell..
Witold Charatonik,
Ian Pratt-Hartmann,
Piotr Witkowski,
2018,
LPAR.
Michael Zakharyaschev,
Roman Kontchakov,
Ian Pratt-Hartmann,
2010,
KR.
Ian Pratt-Hartmann,
2005,
J. Log. Lang. Inf..
Ian Pratt-Hartmann,
2007,
ArXiv.
Lidia Tendera,
Ian Pratt-Hartmann,
Emanuel Kieronski,
2017,
J. Log. Comput..
Ian Pratt-Hartmann,
I. Pratt-Hartmann,
Ian Pratt-Hartmann,
2005,
Annotating, Extracting and Reasoning about Time and Events.
Ian Pratt-Hartmann,
David S. Brée,
D. Brée,
1994,
TIME.
Ian Pratt-Hartmann,
Ian Pratt-Hartmann,
2008,
J. Appl. Non Class. Logics.
Ian Pratt-Hartmann,
I. Pratt-Hartmann,
Ian Pratt-Hartmann,
2004,
J. Log. Lang. Inf..
Ian Pratt-Hartmann,
Georgios Kourtis,
2017,
Log. Methods Comput. Sci..
Angelo Montanari,
Pietro Sala,
Ian Pratt-Hartmann,
2010,
2010 17th International Symposium on Temporal Representation and Reasoning.
Johan van Benthem,
Ian Pratt-Hartmann,
Marco Aiello,
2007,
Handbook of Spatial Logics.
Ian Pratt-Hartmann,
Dominik J. Schoop,
2002,
J. Philos. Log..
Ian Pratt-Hartmann,
2021,
ICALP.
Ian Pratt-Hartmann,
Ian Pratt-Hartmann,
2003
.