Michel Ludwig - RankMe

30 papers A* 2A 3B 3C 2Misc 1Journal 3Unranked 15

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