Michel Ludwig

Available identifiers

zbMath Open ludwig.michelMaRDI QIDQ2296719

List of research outcomes

Publication	Date of Publication	Type
Computing minimal projection modules for \(\mathcal{ELH}^r\)-terminologies	2020-02-18	Paper
https://portal.mardi4nfdi.de/entity/Q5283020	2017-07-18	Paper
Error-Tolerant Reasoning in the Description Logic $\mathcal{E{\kern-.1em}L}$	2015-01-14	Paper
Logical Difference Computation with CEX2.5	2012-09-05	Paper
The Logical Difference for the Lightweight Description Logic EL	2012-08-27	Paper
Implementing a fair monodic temporal logic prover	2010-06-17	Paper
Fair Derivations in Monodic Temporal Reasoning	2009-07-28	Paper
An Extension of the Knuth-Bendix Ordering with LPO-Like Properties	2008-05-15	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Michel Ludwig