Search    Browse

The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Michel Ludwig" ( http://dblp.L3S.de/Authors/Michel_Ludwig )

  Author page on DBLP  Author page in RDF  Community of Michel Ludwig in ASPL-2

Publication years (Num. hits)
2007 (1) 2009 (2) 2010 (1) 2011 (2)
Publication types (Num. hits)
article(1) inproceedings(5)
Venues (Conferences, Journals, ...)
AAAI(1) AI Commun.(1) CADE(1) Description Logics(1) LPAR(1) TIME(1)
Authors
Michel Ludwig(6) Ullrich Hustadt(3) Boris Konev(2) Frank Wolter(2) Michael Zakharyaschev(2) Roman Kontchakov(2) Thomas Schneider 0002(2) Uwe Waldmann(1)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 1 occurrences of 1 keywords
Results
Found 6 publication records. Showing 6 according to the selection in the facets
Hits ?▲ Authors Title Venue Year Link Author keywords
1Boris Konev, Roman Kontchakov, Michel Ludwig, Thomas Schneider 0002, Frank Wolter, Michael Zakharyaschev Module Extraction via Query Inseparability in OWL 2 QL. Search on Bibsonomy Description Logics The full citation details ... 2011 DBLP  BibTeX  RDF
1Boris Konev, Roman Kontchakov, Michel Ludwig, Thomas Schneider 0002, Frank Wolter, Michael Zakharyaschev Conjunctive Query Inseparability of OWL 2 QL TBoxes. Search on Bibsonomy AAAI The full citation details ... 2011 DBLP  BibTeX  RDF
1Michel Ludwig, Ullrich Hustadt Implementing a fair monodic temporal logic prover. Search on Bibsonomy AI Commun. The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Michel Ludwig, Ullrich Hustadt Fair Derivations in Monodic Temporal Reasoning. Search on Bibsonomy CADE The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Michel Ludwig, Ullrich Hustadt Resolution-Based Model Construction for PLTL. Search on Bibsonomy TIME The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Propositional Linear-Time Temporal Logic, Automated Model Construction, Resolution
1Michel Ludwig, Uwe Waldmann An Extension of the Knuth-Bendix Ordering with LPO-Like Properties. Search on Bibsonomy LPAR The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #6 of 6 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.