Michel Ludwig

	2011
6		Boris Konev, Roman Kontchakov, Michel Ludwig, Thomas Schneider, Frank Wolter, Michael Zakharyaschev: Conjunctive Query Inseparability of OWL 2 QL TBoxes. AAAI 2011
5		Boris Konev, Roman Kontchakov, Michel Ludwig, Thomas Schneider, Frank Wolter, Michael Zakharyaschev: Module Extraction via Query Inseparability in OWL 2 QL. Description Logics 2011
	2010
4		Michel Ludwig, Ullrich Hustadt: Implementing a fair monodic temporal logic prover. AI Commun. 23(2-3): 69-96 (2010)
	2009
3		Michel Ludwig, Ullrich Hustadt: Fair Derivations in Monodic Temporal Reasoning. CADE 2009: 261-276
2		Michel Ludwig, Ullrich Hustadt: Resolution-Based Model Construction for PLTL. TIME 2009: 73-80
	2007
1		Michel Ludwig, Uwe Waldmann: An Extension of the Knuth-Bendix Ordering with LPO-Like Properties. LPAR 2007: 348-362

Coauthor Index

1	Ullrich Hustadt	[2] [3] [4]
2	Boris Konev	[5] [6]
3	Roman Kontchakov	[5] [6]
4	Thomas Schneider	[5] [6]
5	Uwe Waldmann	[1]
6	Frank Wolter	[5] [6]
7	Michael Zakharyaschev	[5] [6]

Colors in the list of coauthors

Last update Fri May 25 01:42:58 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page