| Uniform interpolation and forgetting for ALC ontologies with ABoxes P Koopmann, RA Schmidt Proceedings of the Twenty-Ninth AAAI Conference on Artificial Intelligence …, 2015 | 60 | 2015 |
| Count and Forget: Uniform Interpolation of SHQ-Ontologies P Koopmann, RA Schmidt Automated Reasoning, 434-448, 2014 | 54 | 2014 |
| Uniform Interpolation of ALC-Ontologies Using Fixpoints P Koopmann, RA Schmidt Frontiers of Combining Systems, 87-102, 2013 | 53 | 2013 |
| Forgetting Concept and Role Symbols in ALCH-Ontologies P Koopmann, RA Schmidt Logic in Programming, Artificial Intelligence and Reasoning, 2013 | 51 | 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 | 48 | 2020 |
| Metric temporal description logics with interval-rigid names F Baader, S Borgwardt, P Koopmann, A Ozaki, V Thost International Symposium on Frontiers of Combining Systems, 60-76, 2017 | 48 | 2017 |
| 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 | 42 | 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 | 26 | 2021 |
| Signature-Based Abduction for Expressive Description Logics P Koopmann, W Del-Pinto, S Tourret, RA Schmidt 17th International Conference on Principles of Knowledge Representation and …, 2020 | 24 | 2020 |
| Practical Uniform Interpolation for Expressive Description Logics P Koopmann University of Manchester, 2015 | 24 | 2015 |
| LETHE: Saturation-Based Reasoning for Non-Standard Reasoning Tasks P Koopmann, RA Schmidt Proceedings of ORE'15, 2015 | 24 | 2015 |
| Signature-Based Abduction with Fresh Individuals and Complex Concepts for Description Logics P Koopmann Proceedings of IJCAI 2021, 2021 | 18 | 2021 |
| Visualizing Proofs and the Modular Structure of Ontologies to Support Ontology Repair C Alrabbaa, F Baader, R Dachselt, T Flemisch, P Koopmann Description Logic Workshop, 2020 | 17 | 2020 |
| Ontology-based query answering for probabilistic temporal data P Koopmann Proceedings of the AAAI Conference on Artificial Intelligence 33 (01), 2903-2910, 2019 | 17 | 2019 |
| Using ontologies to query probabilistic numerical data F Baader, P Koopmann, AY Turhan International Symposium on Frontiers of Combining Systems, 77-94, 2017 | 17 | 2017 |
| Implementation and Evaluation of Forgetting In ALC-Ontologies P Koopmann, RA Schmidt Workshop on Modular Ontologies (WoMO) 2013, 37-49, 2013 | 17 | 2013 |
| Computing Optimal Repairs of Quantified ABoxes wrt Static EL TBoxes F Baader, P Koopmann, F Kriegel, A Nuradiansyah Proceedings of CADE, 2021 | 16 | 2021 |
| Ontology-based realtime activity monitoring using beam search W Bohlken, B Neumann, L Hotz, P Koopmann Computer Vision Systems: 8th International Conference, ICVS 2011, Sophia …, 2011 | 16 | 2011 |
| On the Complexity of Finding Good Proofs for Description Logic Entailments C Alrabbaa, F Baader, S Borgwardt, P Koopmann, A Kovtunova Description Logic Workshop, 2020 | 15 | 2020 |
| LETHE: Forgetting and uniform interpolation for expressive description logics P Koopmann KI-Künstliche Intelligenz 34 (3), 381-387, 2020 | 14 | 2020 |
Franz BaaderProfessor of Theoretical Computer Science, TU DresdenBestätigte E-Mail-Adresse bei tu-dresden.de
