Travelled to:1 × Austria
1 × Canada
1 × United Kingdom
Collaborated with:B.Konev U.Hustadt F.Wolter
Talks about:differ (2) logic (2) interpol (1) uniform (1) practic (1) tempor (1) reason (1) forget (1) comput (1) applic (1)
Person: Michel Ludwig
DBLP: Ludwig:Michel
Contributed to:
2014
2012
2009Wrote 3 papers:
- KR-2014-LudwigK #difference #logic
- Practical Uniform Interpolation and Forgetting for ALC TBoxes with Applications to Logical Difference (ML, BK).
- IJCAR-2012-KonevLW #difference #logic
- Logical Difference Computation with CEX2.5 (BK, ML, FW), pp. 371–377.
- CADE-2009-LudwigH #reasoning
- Fair Derivations in Monodic Temporal Reasoning (ML, UH), pp. 261–276.