Michel Ludwig

ORCID

Publication Activity (10 Years)

Years Active: 2007-2019
Publications (10 Years): 6

Top Venues

Description Logics

GCAI

JELIA

University of Liverpool, UK (PHD)

Education History

University of Liverpool, UK

PHD

Publications

Jieying Chen, Michel Ludwig, Yue Ma, Dirk Walther
^r -Terminologies. JELIA (2019)
Jieying Chen, Michel Ludwig, Dirk Walther
Computing Minimal Subsumption Modules of Ontologies. GCAI (2018)
Jieying Chen, Michel Ludwig, Yue Ma, Dirk Walther
Computing Minimal Projection Modules for Conjunctive Queries. Description Logics (2018)
Jieying Chen, Michel Ludwig, Yue Ma, Dirk Walther
Zooming in on Ontologies: Minimal Modules and Best Excerpts. ISWC (1) (2017)
Michel Ludwig, Dirk Walther
Towards a Practical Decision Procedure for Uniform Interpolants of EL-TBoxes - a Proof-Theoretic Approach. GCAI (2016)
Jieying Chen, Michel Ludwig, Dirk Walther
On Computing Minimal EL-Subsumption Modules. JOWO@FOIS (2016)
Shasha Feng, Michel Ludwig, Dirk Walther
Foundations for the Logical Difference of EL-TBoxes. GCAI (2015)
Shasha Feng, Michel Ludwig, Dirk Walther
-TBoxes. KI (2015)
Shasha Feng, Michel Ludwig, Dirk Walther
The Logical Difference for EL: From Terminologies Towards TBoxes. IWOST-1 (2015)
Jieying Chen, Michel Ludwig, Yue Ma, Dirk Walther
Towards Extracting Ontology Excerpts. KSEM (2015)
Michel Ludwig, Dirk Walther
-Terminologies using Hypergraphs. ECAI (2014)
Michel Ludwig, Dirk Walther
Detecting Conjunctive Query Differences between ELHr-Terminologies using Hypergraphs. Description Logics (2014)
Boris Konev, Michel Ludwig, Dirk Walther, Frank Wolter
The Logical Difference for the Lightweight Description Logic EL. CoRR (2014)
Michel Ludwig
Just: a Tool for Computing Justifications w.r.t. ELH Ontologies. ORE (2014)
Michel Ludwig, Rafael Peñaloza
Error-Tolerant Reasoning in the Description Logic $\mathcal{E{\kern-.1em}L}$. JELIA (2014)
Michel Ludwig, Rafael Peñaloza
Brave and Cautious Reasoning in EL. Description Logics (2014)
Michel Ludwig, Boris Konev
Practical Uniform Interpolation and Forgetting for ALC TBoxes with Applications to Logical Difference. KR (2014)
Jieying Chen, Michel Ludwig, Yue Ma, Dirk Walther
Evaluation of Extraction Techniques for Ontology Excerpts. Description Logics (2014)
Michel Ludwig, Boris Konev
Towards Practical Uniform Interpolation and Forgetting for ALC TBoxes. Description Logics (2013)
Andreas Ecke, Michel Ludwig, Dirk Walther
The Concept Difference for EL-Terminologies using Hypergraphs. DChanges (2013)
Boris Konev, Michel Ludwig, Dirk Walther, Frank Wolter
The Logical Difference for the Lightweight Description Logic EL. J. Artif. Intell. Res. 44 (2012)
Boris Konev, Michel Ludwig, Frank Wolter
Logical Difference Computation with CEX2.5. IJCAR (2012)
Boris Konev, Roman Kontchakov, Michel Ludwig, Thomas Schneider, Frank Wolter, Michael Zakharyaschev
Module Extraction via Query Inseparability in OWL 2 QL. Description Logics (2011)
Boris Konev, Roman Kontchakov, Michel Ludwig, Thomas Schneider, Frank Wolter, Michael Zakharyaschev
Conjunctive Query Inseparability of OWL 2 QL TBoxes. AAAI (2011)
Michel Ludwig, Ullrich Hustadt
Implementing a fair monodic temporal logic prover. AI Commun. 23 (2-3) (2010)
Michel Ludwig, Ullrich Hustadt
Resolution-Based Model Construction for PLTL. TIME (2009)
Michel Ludwig, Ullrich Hustadt
Redundancy Elimination in Monodic Temporal Reasoning. FTP (2009)
Michel Ludwig, Ullrich Hustadt
Fair Derivations in Monodic Temporal Reasoning. CADE (2009)
Michel Ludwig, Uwe Waldmann
An Extension of the Knuth-Bendix Ordering with LPO-Like Properties. LPAR (2007)

Michel Ludwig.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Michel Ludwig