| Uniform interpolation and forgetting for ALC ontologies with ABoxes P Koopmann, R Schmidt Proceedings of the AAAI Conference on Artificial Intelligence 29 (1), 2015 | 75 | 2015 |
| Finding small proofs for description logic entailments: Theory and practice (extended technical report) C Alrabbaa, F Baader, S Borgwardt, P Koopmann, A Kovtunova arXiv preprint arXiv:2004.08311, 2020 | 69 | 2020 |
| Uniform interpolation of ALC-ontologies using fixpoints P Koopmann, RA Schmidt International Symposium on Frontiers of Combining Systems, 87-102, 2013 | 66 | 2013 |
| Forgetting concept and role symbols in ALCH-ontologies P Koopmann, RA Schmidt International Conference on Logic for Programming Artificial Intelligence …, 2013 | 64 | 2013 |
| Metric temporal description logics with interval-rigid names F Baader, S Borgwardt, P Koopmann, A Ozaki, V Thost ACM Transactions on Computational Logic (TOCL) 21 (4), 1-46, 2020 | 62 | 2020 |
| Count and forget: Uniform interpolation of SHQ-ontologies P Koopmann, RA Schmidt International Joint Conference on Automated Reasoning, 434-448, 2014 | 62 | 2014 |
| Signature-based abduction for expressive description logics P Koopmann, W Del-Pinto, S Tourret, RA Schmidt Proceedings of the International Conference on Principles of Knowledge …, 2020 | 58 | 2020 |
| Finding Good Proofs for Description Logic Entailments using Recursive Quality Measures. C Alrabbaa, F Baader, S Borgwardt, P Koopmann, A Kovtunova CADE 28, 291-308, 2021 | 44 | 2021 |
| Computing Optimal Repairs of Quantified ABoxes wrt Static EL TBoxes. F Baader, P Koopmann, F Kriegel, A Nuradiansyah CADE, 309-326, 2021 | 37 | 2021 |
| Practical uniform interpolation for expressive description logics P Koopmann PQDT-UK & Ireland, 2015 | 37 | 2015 |
| LETHE: Forgetting and uniform interpolation for expressive description logics P Koopmann KI-Künstliche Intelligenz 34 (3), 381-387, 2020 | 35 | 2020 |
| Optimal ABox Repair w.r.t. Static TBoxes: From Quantified ABoxes Back to ABoxes F Baader, P Koopmann, F Kriegel, A Nuradiansyah European Semantic Web Conference, 130-146, 2022 | 34 | 2022 |
| Signature-based abduction with fresh individuals and complex concepts for description logics P Koopmann International Joint Conference on Artificial Intelligence (IJCAI), 2021 | 34 | 2021 |
| LETHE: Saturation-Based Reasoning for Non-Standard Reasoning Tasks. P Koopmann, RA Schmidt ORE, 23-30, 2015 | 27 | 2015 |
| Deductive module extraction for expressive description logics P Koopmann, J Chen IJCAI, 2020 | 26 | 2020 |
| Connection-Minimal Abduction in via Translation to FOL F Haifani, P Koopmann, S Tourret, C Weidenbach International Joint Conference on Automated Reasoning, 188-207, 2022 | 25 | 2022 |
| Evonne: A Visual Tool for Explaining Reasoning with OWL Ontologies and Supporting Interactive Debugging J Méndez, C Alrabbaa, P Koopmann, R Langner, F Baader, R Dachselt Computer Graphics Forum 42 (6), e14730, 2023 | 24 | 2023 |
| On the Complexity of Finding Good Proofs for Description Logic Entailments. C Alrabbaa, F Baader, S Borgwardt, P Koopmann, A Kovtunova Description Logics, 2020 | 23 | 2020 |
| Evonne: Interactive Proof Visualization for Description Logics (System Description) C Alrabbaa, F Baader, S Borgwardt, R Dachselt, P Koopmann, J Méndez International Joint Conference on Automated Reasoning, 271-280, 2022 | 22 | 2022 |
| Ontology-mediated probabilistic model checking C Dubslaff, P Koopmann, AY Turhan International Conference on Integrated Formal Methods, 194-211, 2019 | 22 | 2019 |
Franz BaaderProfessor of Theoretical Computer Science, TU Dresden, and SCADS.AI Dresden/LeipzigVerified email at tu-dresden.de
