Michel Ludwig

According to our database, Michel Ludwig authored at least 29 papers between 2007 and 2019.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2019

Computing Minimal Projection Modules for <i>ELH</i>^r -Terminologies.

Jieying Chen, Michel Ludwig, Yue Ma, Dirk Walther

Proceedings of the Logics in Artificial Intelligence - 16th European Conference, 2019

2018

Computing Minimal Subsumption Modules of Ontologies.

Jieying Chen, Michel Ludwig, Dirk Walther

Proceedings of the GCAI-2018, 2018

Computing Minimal Projection Modules for Conjunctive Queries.

Jieying Chen, Michel Ludwig, Yue Ma, Dirk Walther

Proceedings of the 31st International Workshop on Description Logics co-located with 16th International Conference on Principles of Knowledge Representation and Reasoning (KR 2018), Tempe, Arizona, US, October 27th - to, 2018

2017

Zooming in on Ontologies: Minimal Modules and Best Excerpts.

Jieying Chen, Michel Ludwig, Yue Ma, Dirk Walther

Proceedings of the Semantic Web - ISWC 2017, 2017

2016

Towards a Practical Decision Procedure for Uniform Interpolants of EL-TBoxes - a Proof-Theoretic Approach.

Michel Ludwig, Dirk Walther

Proceedings of the GCAI 2016. 2nd Global Conference on Artificial Intelligence, September 19, 2016

On Computing Minimal EL-Subsumption Modules.

Jieying Chen, Michel Ludwig, Dirk Walther

Proceedings of the Joint Ontology Workshops 2016 Episode 2: The French Summer of Ontology co-located with the 9th International Conference on Formal Ontology in Information Systems (FOIS 2016), 2016

2015

Towards Extracting Ontology Excerpts.

Jieying Chen, Michel Ludwig, Yue Ma, Dirk Walther

Proceedings of the Knowledge Science, Engineering and Management, 2015

Deciding Subsumers of Least Fixpoint Concepts w.r.t. general <i>EL</i> -TBoxes.

Shasha Feng, Michel Ludwig, Dirk Walther

Proceedings of the KI 2015: Advances in Artificial Intelligence, 2015

The Logical Difference for EL: From Terminologies Towards TBoxes.

Shasha Feng, Michel Ludwig, Dirk Walther

Proceedings of the 1st International Workshop on Semantic Technologies (IWOST), 2015

Foundations for the Logical Difference of EL-TBoxes.

Shasha Feng, Michel Ludwig, Dirk Walther

Proceedings of the Global Conference on Artificial Intelligence, 2015

2014

Just: a Tool for Computing Justifications w.r.t. ELH Ontologies.

Michel Ludwig

Proceedings of the Informal Proceedings of the 3rd International Workshop on OWL Reasoner Evaluation (ORE 2014) co-located with the Vienna Summer of Logic (VSL 2014), 2014

Practical Uniform Interpolation and Forgetting for ALC TBoxes with Applications to Logical Difference.

Michel Ludwig, Boris Konev

Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Fourteenth International Conference, 2014

Error-Tolerant Reasoning in the Description Logic $\mathcal{E{\kern-.1em}L}$.

Michel Ludwig, Rafael Peñaloza

Proceedings of the Logics in Artificial Intelligence - 14th European Conference, 2014

The Logical Difference for ℰℒℋ^r-Terminologies using Hypergraphs.

Michel Ludwig, Dirk Walther

Proceedings of the ECAI 2014 - 21st European Conference on Artificial Intelligence, 18-22 August 2014, Prague, Czech Republic, 2014

Brave and Cautious Reasoning in EL.

Michel Ludwig, Rafael Peñaloza

Proceedings of the Informal Proceedings of the 27th International Workshop on Description Logics, 2014

Detecting Conjunctive Query Differences between ELHr-Terminologies using Hypergraphs.

Michel Ludwig, Dirk Walther

Proceedings of the Informal Proceedings of the 27th International Workshop on Description Logics, 2014

Evaluation of Extraction Techniques for Ontology Excerpts.

Jieying Chen, Michel Ludwig, Yue Ma, Dirk Walther

Proceedings of the Informal Proceedings of the 27th International Workshop on Description Logics, 2014

2013

The Concept Difference for EL-Terminologies using Hypergraphs.

Andreas Ecke, Michel Ludwig, Dirk Walther

Proceedings of the International workshop on Document Changes: Modeling, 2013

Towards Practical Uniform Interpolation and Forgetting for ALC TBoxes.

Michel Ludwig, Boris Konev

Proceedings of the Informal Proceedings of the 26th International Workshop on Description Logics, Ulm, Germany, July 23, 2013

2012

The Logical Difference for the Lightweight Description Logic EL.

Boris Konev, Michel Ludwig, Dirk Walther, Frank Wolter

J. Artif. Intell. Res., 2012

Logical Difference Computation with CEX2.5.

Boris Konev, Michel Ludwig, Frank Wolter

Proceedings of the Automated Reasoning - 6th International Joint Conference, 2012

2011

Module Extraction via Query Inseparability in OWL 2 QL.

Boris Konev, Roman Kontchakov, Michel Ludwig, Thomas Schneider, Frank Wolter, Michael Zakharyaschev

Proceedings of the 24th International Workshop on Description Logics (DL 2011), 2011

Conjunctive Query Inseparability of OWL 2 QL TBoxes.

Boris Konev, Roman Kontchakov, Michel Ludwig, Thomas Schneider, Frank Wolter, Michael Zakharyaschev

Proceedings of the Twenty-Fifth AAAI Conference on Artificial Intelligence, 2011

2010

Resolution-based methods for linear-time temporal logics : with applications to formal verification.

Michel Ludwig

PhD thesis, 2010

Implementing a fair monodic temporal logic prover.

Michel Ludwig, Ullrich Hustadt

AI Commun., 2010

2009

Resolution-Based Model Construction for PLTL.

Michel Ludwig, Ullrich Hustadt

Proceedings of the TIME 2009, 2009

Redundancy Elimination in Monodic Temporal Reasoning.

Michel Ludwig, Ullrich Hustadt

Proceedings of the 7th International Workshop on First-Order Theorem Proving, 2009

Fair Derivations in Monodic Temporal Reasoning.

Michel Ludwig, Ullrich Hustadt

Proceedings of the Automated Deduction, 2009

2007

An Extension of the Knuth-Bendix Ordering with LPO-Like Properties.

Michel Ludwig, Uwe Waldmann

Proceedings of the Logic for Programming, 2007