T. Meyer
发表
D. Moodley,
Gavin Rens,
T. Meyer,
2017
.
Richard Booth,
Renata Wassermann,
Ivan Varzinczak,
2010
.
Richard Booth,
Ivan Varzinczak,
Thomas Meyer,
2013
.
Kodylan Moodley,
Katarina Britz,
Giovanni Casini,
2014
.
Clayton J. Baker,
P. Freund,
T. Meyer,
2020
.
T. Meyer,
2004
.
T. Meyer,
Giovanni Casini,
E. Ruttkamp-Bloem,
2015
.
A. Ghose,
T. Meyer,
L. Leenen,
2006,
Pacific Rim International Conference on Artificial Intelligence.
G. Lakemeyer,
Gavin Rens,
T. Meyer,
2011
.
Richard Booth,
Thomas Andreas Meyer,
Aditya K. Ghose,
2010,
Artif. Intell..
T. Meyer,
R. Booth,
Chattrakul Sombattheera,
2009
.
A. Ghose,
T. Meyer,
S. Chopra,
2007
.
A. Ghose,
T. Meyer,
2001
.
G. Kern-Isberner,
J. Heyninck,
T. Meyer,
2022,
NMR.
G. Kern-Isberner,
J. Heyninck,
T. Meyer,
2022,
IJCAI.
T. Meyer,
R. Booth,
Chattrakul Sombattheera,
2012,
Journal of Philosophical Logic.
Gerhard Lakemeyer,
Thomas Meyer,
Gavin Rens,
2013
.
Kevin Lee,
Thomas Andreas Meyer,
Kevin Lee,
2004,
Australian Conference on Artificial Intelligence.
Gerhard Lakemeyer,
Thomas Andreas Meyer,
Gavin Rens,
2014,
J. Appl. Log..
Gerhard Lakemeyer,
Thomas Andreas Meyer,
Gavin Rens,
2014,
FoIKS.
Thomas Andreas Meyer,
Katarina Britz,
Ivan José Varzinczak,
2011,
M4M/LAMAS.
Thomas Andreas Meyer,
Katarina Britz,
Johannes Heidema,
2008,
KR.
Thomas Andreas Meyer,
Gavin Rens,
Giovanni Casini,
2016,
ECAI.
Thomas Andreas Meyer,
Gavin Rens,
Gavin Rens,
2015,
ICAART.
Alexander Ferrein,
Thomas Meyer,
Gavin Rens,
2010
.
Thomas Andreas Meyer,
Katarina Britz,
Johannes Heidema,
2009,
Description Logics.
Rafael Peñaloza,
Leonard Botha,
Thomas Meyer,
2020,
Theory Pract. Log. Program..
Leonard Botha,
Thomas Meyer,
Rafael Penaloza,
2020,
2009.13407.
Rafael Peñaloza,
Leonard Botha,
Thomas Meyer,
2020,
ArXiv.
Norman Y. Foo,
Dongmo Zhang,
Thomas Andreas Meyer,
2004,
AAAI.
Norman Y. Foo,
Dongmo Zhang,
Thomas Andreas Meyer,
2004,
AAAI.
Norman Y. Foo,
Dongmo Zhang,
Thomas Andreas Meyer,
2004,
KR.
Katarina Britz,
Aurona Gerber,
L Leenen,
2011
.
Thomas Andreas Meyer,
Giovanni Casini,
T. Meyer,
2018,
KR.
Richard Booth,
Thomas Andreas Meyer,
T. Meyer,
2011,
J. Philos. Log..
Thomas Andreas Meyer,
Aditya K. Ghose,
Samir Chopra,
2008,
J. Philos. Log..
Richard Booth,
Thomas Andreas Meyer,
T. Meyer,
2007,
ECSQARU.
Richard Booth,
Thomas Andreas Meyer,
Ka-Shu Wong,
2006,
KR.
Richard Booth,
Thomas Andreas Meyer,
T. Meyer,
2006,
J. Artif. Intell. Res..
Richard Booth,
Thomas Andreas Meyer,
Aditya K. Ghose,
2004,
NMR.
Thomas Andreas Meyer,
Aditya K. Ghose,
Samir Chopra,
2001,
J. Philos. Log..
THOMAS ANDREAS MEYER,
WILLEM ADRIAN LABUSCHAGNE,
JOHANNES HEIDEMA,
2000,
J. Log. Lang. Inf..
Thomas Andreas Meyer,
Johannes Heidema,
Willem Adrian Labuschagne,
2000,
J. Log. Lang. Inf..
Thomas Andreas Meyer,
T. Meyer,
1999,
Stud Logica.
R. Peñaloza,
T. Meyer,
Leonard Botha,
2018,
Description Logics.
Thomas Andreas Meyer,
Gavin Rens,
Giovanni Casini,
2016,
ArXiv.
Umberto Straccia,
Giovanni Casini,
Thomas Meyer,
2018,
Inf. Sci..
Thomas Andreas Meyer,
Ulrike Sattler,
James P. Delgrande,
2012,
Dagstuhl Reports.
Gerhard Lakemeyer,
Thomas Andreas Meyer,
Gavin Rens,
2012,
STAIRS.
Katarina Britz,
Thomas Meyer,
T. Meyer,
2010
.
Enrico Franconi,
Thomas Meyer,
Ivan Varzinczak,
2010
.
Johannes Heidema,
W. A. Labuschagne,
Thomas Meyer,
1999
.
Rafael Peñaloza,
Thomas Andreas Meyer,
Leonard Botha,
2019,
JELIA.
Thomas Andreas Meyer,
Aditya K. Ghose,
Samir Chopra,
2006,
Inf. Fusion.
Uli Sattler,
Ivan Varzinczak,
Thomas Meyer,
2020,
ACM Trans. Comput. Log..
Richard Booth,
Thomas Andreas Meyer,
Ivan Varzinczak,
2018,
Artif. Intell..
Thomas Andreas Meyer,
Kodylan Moodley,
Ivan José Varzinczak,
2013,
Description Logics.
Thomas Andreas Meyer,
Aurona Gerber,
Giovanni Casini,
2012,
SAICSIT '12.
Ivan Varzinczak,
Giovanni Casini,
Thomas Meyer,
2020,
KR.
Thomas Andreas Meyer,
Ulrike Sattler,
Kodylan Moodley,
2014,
Description Logics.
Richard Booth,
Thomas Andreas Meyer,
Renata Wassermann,
2011,
J. Artif. Intell. Res..
Richard Booth,
Kevin Lee,
Thomas Andreas Meyer,
2005,
AAAI.
Thomas Andreas Meyer,
Gabriele Kern-Isberner,
Renata Wassermann,
2019,
Dagstuhl Reports.
Jeff Z. Pan,
Richard Booth,
Kevin Lee,
2006,
Description Logics.
I. Varzinczak,
T. Meyer,
Giovanni Casini,
2021,
Artif. Intell..
Richard Booth,
Thomas Andreas Meyer,
T. Meyer,
2008,
Synthese.
Thomas Andreas Meyer,
Ivan Varzinczak,
Giovanni Casini,
2019,
JELIA.
Thomas Andreas Meyer,
Kodylan Moodley,
Giovanni Casini,
2014,
JELIA.
Ivan Varzinczak,
Giovanni Casini,
Thomas Meyer,
2019,
IJCAI.
Thomas Andreas Meyer,
Szymon Klarman,
Szymon Klarman,
2013,
LPAR.
Thomas Andreas Meyer,
Aditya K. Ghose,
Louise Leenen,
2007,
Inf. Process. Lett..
Thomas Andreas Meyer,
T. Meyer,
2000,
PRICAI.
Jeff Z. Pan,
Richard Booth,
Kevin Lee,
2006,
AAAI.
Thomas Andreas Meyer,
Katarina Britz,
Ivan José Varzinczak,
2013,
Description Logics.
Thomas Andreas Meyer,
Katarina Britz,
Ivan José Varzinczak,
2012,
Australasian Conference on Artificial Intelligence.
Gerhard Lakemeyer,
Thomas Andreas Meyer,
Gavin Rens,
2015,
ICAART.
Gerhard Lakemeyer,
Thomas Andreas Meyer,
Gavin Rens,
2015,
ICAART.
Richard Booth,
Thomas Andreas Meyer,
Chattrakul Sombattheera,
2009,
J. Philos. Log..
A. Ghose,
T. Meyer,
R. Booth,
2003,
TARK '03.
Richard Booth,
Thomas Andreas Meyer,
Aditya K. Ghose,
2005
.
Thomas Andreas Meyer,
Szymon Klarman,
Szymon Klarman,
2014,
RR.
Thomas Andreas Meyer,
Samir Chopra,
Johannes Heidema,
2002,
NMR.
Thomas Andreas Meyer,
Gavin Rens,
Gavin Rens,
2018,
DKB/KIK@KI.