M. Ludwig

From MaRDI portal
Person:2296719

Available identifiers

zbMath Open ludwig.michelMaRDI QIDQ2296719

List of research outcomes





PublicationDate of PublicationType
Computing minimal projection modules for \(\mathcal{ELH}^r\)-terminologies2020-02-18Paper
https://portal.mardi4nfdi.de/entity/Q52830202017-07-18Paper
Error-tolerant reasoning in the description logic \(\mathcal{EL}\)2015-01-14Paper
Logical Difference Computation with CEX2.52012-09-05Paper
The logical difference for the lightweight description logic \(\mathcal {EL}\)2012-08-27Paper
Implementing a fair monodic temporal logic prover2010-06-17Paper
Fair Derivations in Monodic Temporal Reasoning2009-07-28Paper
An Extension of the Knuth-Bendix Ordering with LPO-Like Properties2008-05-15Paper

Research outcomes over time

This page was built for person: M. Ludwig

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:2296719&oldid=6744537"
Powered by MediaWiki