Patrick Koopmann

Patrick Koopmann

Technische Universität Dresden - Dresden / Germany
Engineering & Technology / Computer Science
AD Scientific Index ID: 1780674
Dresden University of Technology
person_outline Patrick Koopmann's MOST POPULAR ARTICLES
1-) Uniform interpolation and forgetting for ALC ontologies with ABoxesP Koopmann, RA SchmidtProceedings of the Twenty-Ninth AAAI Conference on Artificial Intelligence …, 2015572015
2-) Finding small proofs for description logic entailments: Theory and practice (extended technical report)C Alrabbaa, F Baader, S Borgwardt, P Koopmann, A KovtunovaarXiv preprint arXiv:2004.08311, 2020622020
3-) Uniform interpolation of ALC-ontologies using fixpointsP Koopmann, RA SchmidtInternational Symposium on Frontiers of Combining Systems, 87-102, 2013602013
4-) Metric temporal description logics with interval-rigid namesF Baader, S Borgwardt, P Koopmann, A Ozaki, V ThostACM Transactions on Computational Logic (TOCL) 21 (4), 1-46, 2020592020
5-) Forgetting concept and role symbols in ALCH-ontologiesP Koopmann, RA SchmidtInternational Conference on Logic for Programming Artificial Intelligence …, 2013572013