Carsten Lutz

From International Center for Computational Logic

Prof. Dr. rer. nat. habil. Carsten Lutz

Former member

Newest Publications

View full publication list

Boris Konev, Carsten Lutz, Ana Ozaki, Frank Wolter
Exact Learning of Lightweight Description Logic Ontologies
Journal of Machine Learning Research, 18:1-63, 2018
Details Download
Boris Konev, Carsten Lutz, Ana Ozaki, Frank Wolter
Exact Learning of Lightweight Description Logic Ontologies
Principles of Knowledge Representation and Reasoning, July 2014. AAAI Press
Details Download
Franz Baader, Silvio Ghilardi, Carsten Lutz
LTL over Description Logic Axioms
ACM Trans. Comput. Log., 13(3), 2012
Details Download
Hongkai Liu, Carsten Lutz, Maja Milicic, Frank Wolter
Foundations of instance level updates in expressive description logics
Artificial Intelligence, 175(18):2170-2197, 2011
Details Download
Franz Baader, Carsten Lutz, Anni-Yasmin Turhan
Small is again Beautiful in Description Logics
KI – Künstliche Intelligenz, 24(1):25-33, April 2010
Details Download
Franz Baader, Meghyn Bienvenu, Carsten Lutz, Frank Wolter
Query and Predicate Emptiness in Description Logics
In Fangzhen Lin and Ulrike Sattler, eds., Proceedings of the 12th International Conference on Principles of Knowledge Representation and Reasoning (KR2010), 2010. AAAI Press
Details Download
S. Hölldobler, Carsten Lutz, H. Wansing
Logics in Artificial Intelligence
Volume 5293 of Lecture Notes in Artificial Intelligence. Springer, 2008
Details
Franz Baader, Silvio Ghilardi, Carsten Lutz
LTL over Description Logic Axioms
Technical Report, Chair for Automata Theory, Institute for Theoretical Computer Science, Dresden University of Technology, volume 08-01, 2008. LTCS-Report
Details Download
Franz Baader, Sebastian Brandt, Carsten Lutz
Pushing the EL Envelope Further
In Kendall Clark and Peter F. Patel-Schneider, eds., In Proceedings of the OWLED 2008 DC Workshop on OWL: Experiences and Directions, 2008
Details Download
Franz Baader, Silvio Ghilardi, Carsten Lutz
LTL over Description Logic Axioms
Proceedings of the 21st International Workshop on Description Lo gics (DL2008), volume 353 of CEUR-WS, 2008
Details Download
View full publication list