Skip to content Skip to footer

Research Portal of the TU Dresden

Patrick Koopmann Ph.D.
Person

Affiliations

Chair of Automata Theory
- Academic Staff
- patrick.koopmann@tu-dresden.de

Identification Numbers

ORCID	0000-0001-5999-2583
Scopus author ID	52264061900

Explaining Ontology-Mediated Query Answers using Proofs over Universal Models (Technical Report)

Alrabbaa, C., Borgwardt, S., Koopmann, P. & Kovtunova, A., 30 Aug 2022, arXiv.

Research output: Preprint/documentation/report › Preprint

Optimal ABox Repair w.r.t. Static 𝓔𝓛 TBoxes: from Quantified ABoxes back to ABoxes (Extended Abstract) (Slides)

Baader, F., Kriegel, F., Koopmann, P. & Nuradiansyah, A., 9 Aug 2022.

Research output: Contribution to conferences › Presentation slides › Contributed

Evonne: Interactive Proof Visualization for Description Logics (System Description) -- Extended Version

Alrabbaa, C., Baader, F., Borgwardt, S., Dachselt, R., Koopmann, P. & Méndez, J., 19 May 2022, arXiv.

Research output: Preprint/documentation/report › Preprint

Connection-Minimal Abduction in EL via Translation to FOL

Haifani, F., Koopmann, P., Tourret, S. & Weidenbach, C., 2022, Automated Reasoning - 11th International Joint Conference, IJCAR 2022, Haifa, Israel, August 8-10, 2022, Proceedings. Blanchette, J., Kovács, L. & Pattinson, D. (eds.). Springer International Publishing AG, p. 188-207 20 p. (LNCS, Vol. 13385).

Research output: Contribution to book/conference proceedings/anthology/report › Conference contribution › Contributed › peer-review

Connection-minimal Abduction in EL via Translation to FOL – Technical Report

Haifani, F., Koopmann, P., Tourret, S. & Weidenbach, C., 2022, arXiv.

Research output: Preprint/documentation/report › Preprint

View all research output (59)

Research Portal of the TU Dresden

Affiliations

Identification Numbers

Related content