| Uniform interpolation and forgetting for ALC ontologies with ABoxes P Koopmann, RA Schmidt Proceedings of the Twenty-Ninth AAAI Conference on Artificial Intelligence …, 2015 | 55 | 2015 |
| Count and Forget: Uniform Interpolation of SHQ-Ontologies P Koopmann, RA Schmidt Automated Reasoning, 434-448, 2014 | 53* | 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 | 47* | 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 | 39 | 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 | 39 | 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 | 23 | 2020 |
| LETHE: Saturation-Based Reasoning for Non-Standard Reasoning Tasks P Koopmann, RA Schmidt Proceedings of ORE'15, 2015 | 21 | 2015 |
| Practical Uniform Interpolation for Expressive Description Logics P Koopmann University of Manchester, 2015 | 20 | 2015 |
| Using Ontologies to Query Probabilistic Numerical Data (Extended Abstract)⋆ F Baader, P Koopmann, AY Turhan Description Logic Workshop, 2017 | 17* | 2017 |
| Saturation-Based Forgetting in the Description Logic SIF P Koopmann, RA Schmidt Description Logics Workshop 2015, 439-451, 2015 | 17 | 2015 |
| Implementation and Evaluation of Forgetting In ALC-Ontologies P Koopmann, RA Schmidt Workshop on Modular Ontologies (WoMO) 2013, 37-49, 2013 | 17 | 2013 |
| Ontology-based realtime activity monitoring using beam search W Bohlken, B Neumann, L Hotz, P Koopmann International Conference on Computer Vision Systems, 112-121, 2011 | 16 | 2011 |
| Ontology-Based Query Answering for Probabilistic Temporal Data (Abstract)⋆ P Koopmann Description Logic Workshop, 2019 | 15* | 2019 |
| Ontology-mediated probabilistic model checking C Dubslaff, P Koopmann, AY Turhan International Conference on Integrated Formal Methods, 194-211, 2019 | 12 | 2019 |
| From Horn-SRIQ to Datalog: A data-independent transformation that preserves assertion entailment D Carral, L González, P Koopmann Proceedings of the AAAI Conference on Artificial Intelligence 33 (01), 2736-2743, 2019 | 12 | 2019 |
| Deductive Module Extraction for Expressive Description Logics P Koopmann, J Chen Twenty-Ninth International Joint Conference on Artificial Intelligence …, 2020 | 11 | 2020 |
| Finding good proofs for description logic entailments using recursive quality measures C Alrabbaa, F Baader, S Borgwardt, P Koopmann, A Kovtunova Automated Deduction-CADE, 12-15, 2021 | 10 | 2021 |
| Ontology-mediated query answering over temporal and inconsistent data C Bourgaux, P Koopmann, AY Turhan Semantic Web 10 (3), 475-521, 2019 | 10 | 2019 |
| Towards ontology-based realtime behaviour interpretation W Bohlken, P Koopmann, L Hotz, B Neumann Human Behavior Recognition Technologies: Intelligent Applications for …, 2013 | 10 | 2013 |
Renate A SchmidtSchool of Computer Science, The University of ManchesterVerified email at cs.man.ac.uk
