Jean Christoph Jung
发表
Jean Christoph Jung,
Anton Dries,
Timothy van Bremen,
2019,
CIKM.
Jean Christoph Jung,
Ondrej Kuzelka,
Víctor Gutiérrez-Basulto,
2018,
KR.
Jean Christoph Jung,
Carsten Lutz,
C. Lutz,
2013,
Description Logics.
Jean Christoph Jung,
Roman Kontchakov,
Víctor Gutiérrez-Basulto,
2016,
IJCAI.
Jean Christoph Jung,
Carsten Lutz,
Lutz Schröder,
2011,
Description Logics.
Jean Christoph Jung,
Frank Wolter,
Michael Zakharyaschev,
2019,
Description Logics.
Jean Christoph Jung,
Thomas Zeume,
Carsten Lutz,
2020,
KR.
Jean Christoph Jung,
Carsten Lutz,
Lutz Schröder,
2011,
AAAI.
Jean Christoph Jung,
Ana Ozaki,
Víctor Gutiérrez-Basulto,
2016,
ECAI.
Jean Christoph Jung,
Carsten Lutz,
C. Lutz,
2020,
ICDT.
Jean Christoph Jung,
Robert Wille,
Rolf Drechsler,
2009,
Algorithms and Applications for Next Generation SAT Solvers.
Jean Christoph Jung,
Víctor Gutiérrez-Basulto,
Yazmin Angélica Ibáñez-García,
2018,
AAAI.
Jean Christoph Jung,
Carsten Lutz,
Thomas Schneider,
2020,
J. Artif. Intell. Res..
Jean Christoph Jung,
Víctor Gutiérrez-Basulto,
Thomas Schneider,
2014,
KR.
Jean Christoph Jung,
Carsten Lutz,
Frank Wolter,
2020,
KR.
Jean Christoph Jung,
Filip Murlak,
Víctor Gutiérrez-Basulto,
2019,
Description Logics.
Jean Christoph Jung,
Carsten Lutz,
Víctor Gutiérrez-Basulto,
2012,
ECAI.
Jean Christoph Jung,
Carsten Lutz,
Frank Wolter,
2019,
Description Logics.
Jean Christoph Jung,
Markus Lohrey,
Stefan Göller,
2015,
TOCL.
Jean Christoph Jung,
Carsten Lutz,
Frank Wolter,
2017,
ICALP.
Jean Christoph Jung,
J. C. Jung,
2014
.
Jean Christoph Jung,
Carsten Lutz,
Frank Wolter,
2020,
AAAI.
Jean Christoph Jung,
Víctor Gutiérrez-Basulto,
Thomas Schneider,
2015,
Description Logics.
Jean Christoph Jung,
Frank Wolter,
Michael Zakharyaschev,
2019,
2019 34th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS).
Jean Christoph Jung,
Víctor Gutiérrez-Basulto,
Thomas Schneider,
2015,
IJCAI.
Jean Christoph Jung,
Leif Sabellek,
Víctor Gutiérrez-Basulto,
2018,
Description Logics.
Jean Christoph Jung,
Víctor Gutiérrez-Basulto,
2017,
IJCAI.
Jean Christoph Jung,
Markus Lohrey,
Stefan Göller,
2012,
2012 27th Annual IEEE Symposium on Logic in Computer Science.
Jean Christoph Jung,
Roman Kontchakov,
Víctor Gutiérrez-Basulto,
2016,
Description Logics.
Jean Christoph Jung,
Thomas Zeume,
Carsten Lutz,
2019,
Description Logics.
Jean Christoph Jung,
Ondrej Kuzelka,
Víctor Gutiérrez-Basulto,
2018,
ArXiv.
Jean Christoph Jung,
Frank Wolter,
Alessandro Artale,
2020,
ACM Transactions on Computational Logic.
Jean Christoph Jung,
Anton Dries,
Timothy van Bremen,
2020,
KI - Künstliche Intelligenz.
Separating Positive and Negative Data Examples by Concepts and Formulas: The Case of Restricted Signatures (Abstract)
pdf
Jean Christoph Jung,
Carsten Lutz,
Frank Wolter,
2020,
Description Logics.
Jean Christoph Jung,
Leif Sabellek,
Víctor Gutiérrez-Basulto,
2018,
IJCAI.
Jean Christoph Jung,
Víctor Gutiérrez-Basulto,
Yazmin Angélica Ibáñez-García,
2017,
Description Logics.
Jean Christoph Jung,
Carsten Lutz,
Thomas Schneider,
2020,
J. Artif. Intell. Res..
Living Without Beth and Craig: Explicit Definitions and Interpolants in Description Logics with Nominals (Extended Abstract)
pdf
Jean Christoph Jung,
Frank Wolter,
Alessandro Artale,
2020,
Description Logics.
Jean Christoph Jung,
Carsten Lutz,
C. Lutz,
2012,
SEMWEB.
Jean Christoph Jung,
Frank Wolter,
2020,
ArXiv.
Jean Christoph Jung,
Carsten Lutz,
Sergey Goncharov,
2014,
ICALP.
Jean Christoph Jung,
Carsten Lutz,
Thomas Schneider,
2018,
ICDT.
Jean Christoph Jung,
Víctor Gutiérrez-Basulto,
Yazmin Angélica Ibáñez-García,
2017,
AAAI.
Jean Christoph Jung,
Frank Wolter,
F. Wolter,
2021,
2021 36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS).
Jean Christoph Jung,
Carsten Lutz,
Maurice Funk,
2021,
IJCAI.
Jean Christoph Jung,
Frank Wolter,
Alessandro Artale,
2021,
AAAI.
Jean Christoph Jung,
Carsten Lutz,
Frank Wolter,
2021,
KR.
Jean Christoph Jung,
Carsten Lutz,
Maurice Funk,
2021,
Description Logics.
Jean Christoph Jung,
Toby Walsh,
Pedro Barahona,
2008
.