AD Scientific Index
 Open Nav
Login Login Pricing & Plans Pricing & Plans
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 ABoxes Proceedings of the AAAI Conference on Artificial Intelligence 29 (1), 2015
2-) Finding small proofs for description logic entailments: Theory and practice (extended technical report) arXiv preprint arXiv:2004.08311, 2020
3-) Uniform interpolation of ALC-ontologies using fixpoints International Symposium on Frontiers of Combining Systems, 87-102, 2013
4-) Forgetting concept and role symbols in ALCH-ontologies International Conference on Logic for Programming Artificial Intelligence …, 2013
5-) Count and forget: Uniform interpolation of SHQ-ontologies International Joint Conference on Automated Reasoning, 434-448, 2014