Patrick Koopmann

From MaRDI portal
Person:6700523

Available identifiers

MaRDI QIDQ6700523

List of research outcomes





PublicationDate of PublicationType
Combining Proofs for Description Logic and Concrete Domain Reasoning - RuleML+RR23 - Resources2023-08-02Dataset
Evonne: Interactive Proof Visualization for Description Logics (System Description) - IJCAR22 - Resources2022-05-18Dataset
Finding Small Proofs for Description Logic Entailments: Theory and Practice - LPAR20 - Resources2020-05-27Dataset

This page was built for person: Patrick Koopmann



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