Michel Ludwig - Publications

Journal Articles

Boris Konev, Michel Ludwig, Dirk Walther, Frank Wolter: The Logical Diff for the Lightweight Description Logic EL
Journal of Artificial Intelligence Research, Under review
Michel Ludwig and Ullrich Hustadt: Implementing a Fair Monodic Temporal Logic Prover
AI Communications, 23(2-3):69–96, 2010.
BibTeX | PDF (IOS Press)

Boris Konev, Roman Kontchakov, Michel Ludwig, Thomas Schneider, Frank Wolter, Michael Zakharyaschev: Conjunctive Query Inseparability of OWL 2 QL TBoxes
In Proceedings of the Twenty-Fifth AAAI Conference on Artificial Intelligence, AAAI 2011, San Francisco, California, USA, August 7-11, 2011
Abstract (AAAI) | BibTeX (DBLP) | PDF (AAAI)
Michel Ludwig and Ullrich Hustadt: Fair Derivations in Monodic Temporal Reasoning
In Renate A. Schmidt, editor, Proceedings of the 22nd International Conference on Automated Deduction CADE-22 (Montreal, Canada, August 2-7, 2009). LNAI 5663, pages 261-276, Springer.
Abstract (Springer) | BibTeX (DBLP) | PDF (Springer)
Michel Ludwig and Ullrich Hustadt: Resolution-Based Model Construction for PLTL
In Carsten Lutz and Jean-François Raskin, editors, Proceedings of the 16th International Symposium on Temporal Representation and Reasoning TIME-2009 (Brixen-Bressanone, Italy, 23-25 July, 2009). Pages 73-80, IEEE Computer Society.
Abstract (IEEE) | BibTeX (DBLP) | PDF (IEEE)
Michel Ludwig and Uwe Waldmann: An Extension of the Knuth-Bendix Ordering with LPO-Like Properties
In Nachum Dershowitz and Andrei Voronkov, editors, Proceedings of 14th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning LPAR 2007 (Yerevan, Armenia, October 15-19, 2007). LNAI 4790, pages 348-362, Springer.
Abstract (Springer) | BibTeX (DBLP) | PDF (Springer)

William Gatens, Boris Konev, Michel Ludwig, Frank Wolter: Versioning Based on Logical Difference for Lightweight Description Logic Terminologies
In Alan Bundy, Jos Lehmann, and Ivan Varzinczak, editors, Proceedings of the IJCAI-11 Workshop on Automated Reasoning about Context and Ontology Evolution, ARCOE-11 (Barcelona, Spain, July 18, 2011).
Abstract | BibTeX | PDF
Michel Ludwig and Ullrich Hustadt: Redundancy Elimination in Monodic Temporal Reasoning
In Nicolas Peltier and Viorica Sofronie-Stokkermans, editors, Proceedings of the 7th International Workshop on First-Order Theorem Proving FTP 2009 (Oslo, Norway, July 6-7, 2009). Research Report 386, pages 34-48, University of Oslo, Department of Informatics.
Abstract | BibTeX | PDF

Michel Ludwig and Ullrich Hustadt: Resolution-Based Model Construction for PLTL (Extended Version)
Technical Report, Department of Computer Science, University of Liverpool, ULCS-09-008
Abstract | BibTeX | PDF