C. Lutz
发表
B. Konev,
C. Lutz,
Dirk Walther,
2008
.
Carsten Lutz,
Frank Wolter,
Michael Zakharyaschev,
2003
.
Carsten Lutz,
C. Lutz,
2004,
TOCL.
C. Lutz,
1999
.
Carsten Lutz,
Frank Wolter,
Michael Zakharyaschev,
2001,
IJCAR.
C. Lutz,
F. Wolter,
M. Zakharyaschev,
2001
.
Volker Haarslev,
Carsten Lutz,
Ralf Möller,
1999,
J. Log. Comput..
Cesare Tinelli,
Carsten Lutz,
Frank Wolter,
2019,
Lecture Notes in Computer Science.
Volker Haarslev,
Carsten Lutz,
Ralf Möller,
1998,
KR.
Franz Baader,
Carsten Lutz,
Boontawee Suntisrivaraporn,
2006,
IJCAR.
Carsten Lutz,
Dirk Walther,
Frank Wolter,
2007,
IJCAI.
Carsten Lutz,
C. Lutz,
2002,
Advances in Modal Logic.
Carsten Lutz,
Frank Wolter,
Piero A. Bonatti,
2006,
KR.
Carsten Lutz,
Christoph Haase,
C. Lutz,
2008,
ECAI.
Giuseppe De Giacomo,
A. Poggi,
B. C. Grau,
2005
.
Giuseppe De Giacomo,
B. Parsia,
I. Horrocks,
2006
.
Giuseppe De Giacomo,
B. C. Grau,
Enrico Franconi,
2007
.
C. Lutz,
1999
.
B. C. Grau,
Enrico Franconi,
C. Lutz,
2006
.
I. Horrocks,
C. Lutz,
C. Areces,
2002
.
Carsten Lutz,
Frank Wolter,
C. Lutz,
2011,
IJCAI.
Carsten Lutz,
C. Lutz,
2004
.
C. Lutz,
T. Zeume,
J. C. Jung,
2020
.
I. Horrocks,
B. C. Grau,
Diego Calvanese,
2007
.
Gerd Stumme,
C. Lutz,
P. Hitzler,
2005
.
C. Lutz,
F. Wolter,
U. Sattler,
2019
.
F. Baader,
C. Lutz,
F. Wolter,
2019
.
C. Lutz,
M. Mili,
2019
.
C. Lutz,
Marcin Przybylko,
2022,
PODS.
F. Baader,
C. Lutz,
B. Suntisrivaraporn,
2019
.
I. Horrocks,
B. C. Grau,
Diego Calvanese,
2006
.
C. Lutz,
F. Wolter,
Leif Sabellek,
2021,
Description Logics.
C. Lutz,
J. C. Jung,
Maurice Funk,
2022,
IJCAI.
C. Lutz,
J. C. Jung,
Maurice Funk,
2022
.
Giuseppe De Giacomo,
I. Horrocks,
B. C. Grau,
2006
.
Ian Horrocks,
Franz Baader,
Carsten Lutz,
2017
.
Ian Horrocks,
Franz Baader,
Carsten Lutz,
2017
.
Ian Horrocks,
Franz Baader,
Carsten Lutz,
2017
.
Ian Horrocks,
Franz Baader,
Carsten Lutz,
2017
.
C. Lutz,
2019
.
C. Lutz,
F. Wolter,
B. T. Cate,
2013,
PODS '13.
C. Lutz,
F. Wolter,
J. C. Jung,
2020,
Artif. Intell..
C. Lutz,
B. T. Cate,
2009,
JACM.
Boris Motik,
Franz Baader,
Carsten Lutz,
2008,
Description Logics.
C. Lutz,
Marcin Przybylko,
2022,
AAAI.
C. Lutz,
J. C. Jung,
Maurice Funk,
2022,
Description Logics.
Jean Christoph Jung,
Carsten Lutz,
Sergey Goncharov,
2014,
ICALP.
Carsten Lutz,
Frank Wolter,
Inanç Seylan,
2013,
IJCAI.
Carsten Lutz,
Balder ten Cate,
C. Lutz,
2007,
PODS.
Carsten Lutz,
Frank Wolter,
C. Lutz,
2006,
Log. Methods Comput. Sci..
Carsten Lutz,
Frank Wolter,
André Hernich,
2020,
ACM Trans. Comput. Log..
Boris Konev,
Carsten Lutz,
Dirk Walther,
2013,
Artif. Intell..
Carsten Lutz,
Frank Wolter,
Maja Milicic Brandt,
2011,
Artif. Intell..
Carsten Lutz,
C. Lutz,
2004,
Artif. Intell..
Carsten Lutz,
Alessandro Artale,
A. Artale,
2004,
J. Appl. Non Class. Logics.
Carsten Lutz,
C. Lutz,
2002
.
Franz Baader,
Ulrike Sattler,
Carsten Lutz,
2005,
Description Logics.
Franz Baader,
Ulrike Sattler,
Carsten Lutz,
2005,
WWW 2005.
Ulrike Sattler,
Carsten Lutz,
C. Lutz,
2002,
Description Logics.
Andrea Calì,
Diego Calvanese,
Maurizio Lenzerini,
2006
.
Carsten Lutz,
Frank Wolter,
Piero A. Bonatti,
2009,
J. Artif. Intell. Res..
Carsten Lutz,
Lutz Schröder,
Lutz Schröder,
2010,
KR.
Carsten Lutz,
Markus Lohrey,
Stefan Göller,
2009,
The Journal of Symbolic Logic.
Carsten Lutz,
Markus Lohrey,
Stefan Göller,
2007,
Algorithmic-Logical Theory of Infinite Structures.
Christof Löding,
Olivier Serre,
C. Lutz,
2006,
J. Log. Algebraic Methods Program..
Carsten Lutz,
Carlos Areces,
C. Lutz,
2002
.
Carsten Lutz,
Frank Wolter,
Michael Zakharyaschev,
2004,
Artif. Intell..
Ulrike Sattler,
Carsten Lutz,
Frank Wolter,
2001,
CSL.
Jean Christoph Jung,
Carsten Lutz,
C. Lutz,
2020,
ICDT.
Thomas Eiter,
Carsten Lutz,
Magdalena Ortiz,
2009
.
Franz Baader,
Carsten Lutz,
F. Baader,
2007,
Handbook of Modal Logic.
Thomas Eiter,
Carsten Lutz,
Magdalena Ortiz,
2003,
IJCAI.
Carsten Lutz,
Frank Wolter,
Maja Milicic Brandt,
2006,
KR.
Carsten Lutz,
Wim Martens,
Yongluan Zhou,
2020,
SIGMOD Rec..
Jean Christoph Jung,
Carsten Lutz,
C. Lutz,
2013,
Description Logics.
Jean Christoph Jung,
Carsten Lutz,
C. Lutz,
2012,
SEMWEB.
Franz Baader,
Carsten Lutz,
Sebastian Brandt,
2005,
IJCAI.
Carsten Lutz,
Frank Wolter,
C. Lutz,
2016,
Log. Methods Comput. Sci..
Carsten Lutz,
Frank Wolter,
C. Lutz,
2012,
Description Logics.
Carsten Lutz,
C. Lutz,
2006,
AAMAS '06.
Carsten Lutz,
Pablo Barceló,
Andreas Pieris,
2018,
AMW.
Ian Horrocks,
Franz Baader,
Ulrike Sattler,
2017
.
Carsten Lutz,
Frank Wolter,
Meghyn Bienvenu,
2016,
Description Logics.
Carsten Lutz,
Frank Wolter,
Michael Zakharyaschev,
2008,
2008 15th International Symposium on Temporal Representation and Reasoning.
Franz Baader,
Carsten Lutz,
Frank Wolter,
2011,
J. Artif. Intell. Res..
Franz Baader,
Jan Hladik,
Carsten Lutz,
2003,
Fundam. Informaticae.
Carsten Lutz,
Ralf Möller,
Carsten Schröder,
2005
.
Volker Haarslev,
Carsten Lutz,
Ralf Möller,
1998
.
Carsten Lutz,
Martin Lange,
M. Lange,
2005,
Journal of Symbolic Logic.
Carsten Lutz,
Dirk Walther,
C. Lutz,
2004,
J. Appl. Non Class. Logics.
Carsten Lutz,
C. Lutz,
2002,
Description Logics.
Robert Piro,
Carsten Lutz,
Frank Wolter,
2010,
ECAI 2010.
Robert Piro,
Carsten Lutz,
Frank Wolter,
2010,
Description Logics.
Franz Baader,
Carsten Lutz,
Boontawee Suntisrivaraporn,
2006,
Description Logics.
Thomas Eiter,
Carsten Lutz,
Magdalena Ortiz,
2009,
WoLLIC.
Franz Baader,
Carsten Lutz,
Manfred Theißen,
2005,
Description Logics.
Carsten Lutz,
C. Lutz,
2016,
STACS.
Boris Konev,
Carsten Lutz,
Frank Wolter,
2014,
KR.
Carsten Lutz,
Frank Wolter,
Silvio Ghilardi,
2006,
KR.
Jean Christoph Jung,
Carsten Lutz,
Lutz Schröder,
2011,
Description Logics.
C. Lutz,
B. T. Cate,
V. Dalmau,
2022,
PODS.
Boris Konev,
Carsten Lutz,
Dirk Walther,
2009,
Modular Ontologies.
Boris Konev,
Carsten Lutz,
Frank Wolter,
2016,
Reasoning Web.
Carsten Lutz,
Frank Wolter,
Inanç Seylan,
2012,
KR.
Carsten Lutz,
Frank Wolter,
Michael Zakharyaschev,
2006,
Advances in Modal Logic.
C. Lutz,
J. Marcinkowski,
J. C. Jung,
2022,
KR.
Carsten Lutz,
Frank Wolter,
Michael Zakharyaschev,
2019,
Artif. Intell..
Jean Christoph Jung,
Carsten Lutz,
Frank Wolter,
2017,
ICALP.
Carsten Lutz,
Alessandro Artale,
David Toman,
2007,
Description Logics.
Michael Thielscher,
Carsten Lutz,
M. Thielscher,
2014,
Lecture Notes in Computer Science.
C. Lutz,
B. T. Cate,
J. C. Jung,
2023,
ArXiv.
Jean Christoph Jung,
Carsten Lutz,
Maurice Funk,
2021,
IJCAI.
Carsten Lutz,
Antti Kuusisto,
C. Lutz,
2018,
LICS.
Jean Christoph Jung,
Carsten Lutz,
Thomas Schneider,
2020,
J. Artif. Intell. Res..
Carsten Lutz,
Frank Wolter,
Balder ten Cate,
2014,
ACM Trans. Database Syst..
Franz Baader,
Carsten Lutz,
Silvio Ghilardi,
2008,
TOCL.
Michael Wooldridge,
Carsten Lutz,
Dirk Walther,
2006,
J. Log. Comput..
Carsten Lutz,
Frank Wolter,
Michael Zakharyaschev,
2003,
Description Logics.
Boris Konev,
Carsten Lutz,
Frank Wolter,
2010,
KR.
Boris Konev,
Carsten Lutz,
Dirk Walther,
2008,
Description Logics.
C. Lutz,
Leif Sabellek,
Lukas Schulze,
2022,
KR.
Carsten Lutz,
C. Lutz,
2008,
Description Logics.
Carsten Lutz,
C. Lutz,
2007,
Description Logics.
C. Lutz,
F. Wolter,
Inanç Seylan,
2018,
Log. Methods Comput. Sci..
Robert Piro,
Carsten Lutz,
Frank Wolter,
2011,
IJCAI.
Carsten Lutz,
Frank Wolter,
C. Lutz,
2010,
J. Symb. Comput..
Carsten Lutz,
Frank Wolter,
Michael Zakharyaschev,
2011,
IJCAI.
Carsten Lutz,
Frank Wolter,
Michael Zakharyaschev,
2010,
KR.
Carsten Lutz,
Frank Wolter,
David Toman,
2009,
IJCAI.
C. Lutz,
F. Wolter,
B. T. Cate,
2013,
ACM Trans. Database Syst..
C. Lutz,
C. Feier,
Marcin Przybylko,
2021,
ICDT.
Carsten Lutz,
Johannes Marti,
Leif Sabellek,
2020,
KR.
C. Lutz,
F. Wolter,
Anneke Haga,
2020,
Description Logics.
Jean Christoph Jung,
Carsten Lutz,
Frank Wolter,
2019,
Description Logics.
Carsten Lutz,
Pablo Barceló,
Andreas Pieris,
2019,
2019 34th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS).
A Complete Classification of the Complexity and Rewritability of Ontology-Mediated Queries based on the Description Logic EL
pdf
Carsten Lutz,
Leif Sabellek,
C. Lutz,
2019,
Artif. Intell..
Carsten Lutz,
Frank Wolter,
André Hernich,
2018
.
Carsten Lutz,
Frank Wolter,
André Hernich,
2018,
IJCAI.
Carsten Lutz,
Peter Hansen,
C. Lutz,
2017,
Description Logics.
Carsten Lutz,
Leif Sabellek,
C. Lutz,
2017,
IJCAI.
Carsten Lutz,
Frank Wolter,
André Hernich,
2017,
PODS.
Carsten Lutz,
Cristina Feier,
Antti Kuusisto,
2017,
ICDT.
Boris Konev,
Carsten Lutz,
Frank Wolter,
2016,
IJCAI.
Franz Baader,
Carsten Lutz,
Frank Wolter,
2016,
J. Artif. Intell. Res..
Carsten Lutz,
Pierre Bourhis,
C. Lutz,
2016,
KR.
Carsten Lutz,
Frank Wolter,
André Hernich,
2015,
Description Logics.
Carsten Lutz,
Frank Wolter,
Peter Hansen,
2015,
IJCAI.
Carsten Lutz,
Frank Wolter,
Meghyn Bienvenu,
2013,
IJCAI.
Enumerating Answers to Ontology-Mediated Queries: Partial Answers and Efficiency (Extended Abstract)
Carsten Lutz,
Marcin Przybylko,
C. Lutz,
2021,
Description Logics.
Carsten Lutz,
Leif Sabellek,
C. Lutz,
2020,
Description Logics.
Carsten Lutz,
Marcin Przybylko,
Cristina Feier,
2020,
Description Logics.
Jean Christoph Jung,
Carsten Lutz,
Thomas Schneider,
2018,
ICDT.
Carsten Lutz,
Frank Wolter,
Cristina Feier,
2018,
Description Logics.
Carsten Lutz,
Leif Sabellek,
C. Lutz,
2017,
Description Logics.
Carsten Lutz,
Frank Wolter,
André Hernich,
2017,
Description Logics.
Carsten Lutz,
Cristina Feier,
Antti Kuusisto,
2016,
Description Logics.
Carsten Lutz,
C. Lutz,
2015,
Description Logics.
Carsten Lutz,
Frank Wolter,
C. Lutz,
2015,
ICDT.
Boris Konev,
Carsten Lutz,
Frank Wolter,
2015,
Description Logics.
Carsten Lutz,
Frank Wolter,
Peter Hansen,
2014,
Description Logics.
Carsten Lutz,
Frank Wolter,
Meghyn Bienvenu,
2012,
KR.
Franz Baader,
Carsten Lutz,
Frank Wolter,
2010,
KR.
Carsten Lutz,
Adila Krisnadhi,
Adila Alfa Krisnadhi,
2007,
LPAR.
Carsten Lutz,
Adila Krisnadhi,
Adila Alfa Krisnadhi,
2007,
Description Logics.
Boris Konev,
Carsten Lutz,
Dirk Walther,
2008,
OWL: Experiences and Directions.
Ulrike Sattler,
Carsten Lutz,
Lidia Tendera,
2005,
Inf. Comput..
Jean Christoph Jung,
Carsten Lutz,
Frank Wolter,
2020,
KR.
Ian Horrocks,
Ulrike Sattler,
Carsten Lutz,
2007,
IJCAI.
F. Baader,
C. Lutz,
F. Wolter,
2011,
Journal of Artificial Intelligence Research.
Cesare Tinelli,
Ulrike Sattler,
Carsten Lutz,
2019,
Description Logic, Theory Combination, and All That.
Carsten Lutz,
Víctor Gutiérrez-Basulto,
C. Lutz,
2009
.
Carsten Lutz,
Frank Wolter,
Michael Zakharyaschev,
2003,
Description Logics.
Ian Horrocks,
Ulrike Sattler,
Carsten Lutz,
2003,
IJCAI.
Volker Haarslev,
Carsten Lutz,
C. Lutz,
2001
.
Franz Baader,
Carsten Lutz,
Anni-Yasmin Turhan,
2010,
KI - Künstliche Intelligenz.
F. Baader,
C. Lutz,
F. Wolter,
2011,
J. Artif. Intell. Res..
Carsten Lutz,
C. Lutz,
2002,
Logic Journal of the IGPL.
Carsten Lutz,
Maja Milicic Brandt,
C. Lutz,
2007,
Journal of Automated Reasoning.
C. Lutz,
M. M. Brandt,
2004,
ECAI.
Carsten Lutz,
C. Lutz,
2008,
IJCAR.
Carsten Lutz,
Maja Milicic Brandt,
C. Lutz,
2005,
TABLEAUX.
Carsten Lutz,
Frank Wolter,
Silvio Ghilardi,
2006,
International Conference on Principles of Knowledge Representation and Reasoning.
Franz Baader,
Sergio Tessaris,
Ulrike Sattler,
2006,
OWLED.
Jean Christoph Jung,
Carsten Lutz,
Frank Wolter,
2021,
KR.
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.
C. Lutz,
F. Wolter,
M. Martel,
2017,
ICALP.
C. Lutz,
F. Wolter,
R. Kontchakov,
2005
.
Carsten Lutz,
Frank Wolter,
Piero A. Bonatti,
2006,
KR 2006.
Carsten Lutz,
Frank Wolter,
C. Lutz,
2007,
CADE.
C. Lutz,
U. Sattler,
Birte Glimm,
2007,
IJCAI.
Robert Piro,
Carsten Lutz,
Frank Wolter,
2010,
European Conference on Artificial Intelligence.
Carsten Lutz,
Frank Wolter,
Michael Zakharyaschev,
2016,
Description Logics.
Carsten Lutz,
C. Lutz,
1999,
IJCAI.
F. Baader,
C. Lutz,
F. Wolter,
2004
.
Jean Christoph Jung,
Thomas Zeume,
Carsten Lutz,
2020,
KR.
Jean Christoph Jung,
Thomas Zeume,
Carsten Lutz,
2019,
Description Logics.
Carsten Lutz,
C. Lutz,
1999,
LPAR.