An Extension of the Knuth-Bendix Ordering with LPO-Like Properties. - Michel Ludwig; Uwe Waldmann (LPAR, 2007)

Fair Derivations in Monodic Temporal Reasoning. - Michel Ludwig; Ullrich Hustadt (CADE, 2009)

Redundancy Elimination in Monodic Temporal Reasoning. - Michel Ludwig; Ullrich Hustadt (FTP, 2009)

Resolution-Based Model Construction for PLTL. - Michel Ludwig; Ullrich Hustadt (TIME, 2009)

Implementing a fair monodic temporal logic prover. - Michel Ludwig; Ullrich Hustadt (AI Commun., 2010)

Resolution-based methods for linear-time temporal logics : with applications to formal verification. - Michel Ludwig (2010)

Conjunctive Query Inseparability of OWL 2 QL TBoxes. - Boris Konev; Roman Kontchakov; Michel Ludwig; Thomas Schneider 002; Frank Wolter; Michael Zakharyaschev (AAAI, 2011)

Module Extraction via Query Inseparability in OWL 2 QL. - Boris Konev; Roman Kontchakov; Michel Ludwig; Thomas Schneider 002; Frank Wolter; Michael Zakharyaschev (Description Logics, 2011)

Logical Difference Computation with CEX2.5. - Boris Konev; Michel Ludwig; Frank Wolter (IJCAR, 2012)

The Logical Difference for the Lightweight Description Logic EL. - Boris Konev; Michel Ludwig; Dirk Walther 002; Frank Wolter (J. Artif. Intell. Res., 2012)

Towards Practical Uniform Interpolation and Forgetting for ALC TBoxes. - Michel Ludwig; Boris Konev (Description Logics, 2013)

The Concept Difference for EL-Terminologies using Hypergraphs. - Andreas Ecke; Michel Ludwig; Dirk Walther 002 (DChanges, 2013)

Evaluation of Extraction Techniques for Ontology Excerpts. - Jieying Chen 001; Michel Ludwig; Yue Ma 009; Dirk Walther 002 (Description Logics, 2014)

Detecting Conjunctive Query Differences between ELHr-Terminologies using Hypergraphs. - Michel Ludwig; Dirk Walther 002 (Description Logics, 2014)

Brave and Cautious Reasoning in EL. - Michel Ludwig; Rafael Peñaloza (Description Logics, 2014)

The Logical Difference for ℰℒℋr-Terminologies using Hypergraphs. - Michel Ludwig; Dirk Walther 002 (ECAI, 2014)

Error-Tolerant Reasoning in the Description Logic $ mathcal{E{ kern-.1em}L}$. - Michel Ludwig; Rafael Peñaloza (JELIA, 2014)

Practical Uniform Interpolation and Forgetting for ALC TBoxes with Applications to Logical Difference. - Michel Ludwig; Boris Konev (KR, 2014)

Just: a Tool for Computing Justifications w.r.t. ELH Ontologies. - Michel Ludwig (ORE, 2014)

Foundations for the Logical Difference of EL-TBoxes. - Shasha Feng; Michel Ludwig; Dirk Walther 002 (GCAI, 2015)

The Logical Difference for EL: From Terminologies Towards TBoxes. - Shasha Feng; Michel Ludwig; Dirk Walther 002 (IWOST-1, 2015)

Deciding Subsumers of Least Fixpoint Concepts w.r.t. general EL -TBoxes. - Shasha Feng; Michel Ludwig; Dirk Walther 002 (KI, 2015)

Towards Extracting Ontology Excerpts. - Jieying Chen 001; Michel Ludwig; Yue Ma 009; Dirk Walther 002 (KSEM, 2015)

On Computing Minimal EL-Subsumption Modules. - Jieying Chen 001; Michel Ludwig; Dirk Walther 002 (JOWO@FOIS, 2016)

Towards a Practical Decision Procedure for Uniform Interpolants of EL-TBoxes - a Proof-Theoretic Approach. - Michel Ludwig; Dirk Walther 002 (GCAI, 2016)

Zooming in on Ontologies: Minimal Modules and Best Excerpts. - Jieying Chen 001; Michel Ludwig; Yue Ma 009; Dirk Walther 002 (ISWC (1), 2017)

Computing Minimal Projection Modules for Conjunctive Queries. - Jieying Chen 001; Michel Ludwig; Yue Ma 009; Dirk Walther 002 (Description Logics, 2018)

Computing Minimal Subsumption Modules of Ontologies. - Jieying Chen 001; Michel Ludwig; Dirk Walther 002 (GCAI, 2018)

Computing Minimal Projection Modules for ELH^r -Terminologies. - Jieying Chen 001; Michel Ludwig; Yue Ma 009; Dirk Walther 002 (JELIA, 2019)