| 2026 | AAAI | Can You Tell the Difference? Contrastive Explanations for ABox Entailments. | Patrick Koopmann, Yasir Mahmood, Axel-Cyrille Ngonga Ngomo, Balram Tiwari |
| 2026 | KR | ABox Abduction for Inconsistent Knowledge Bases under Repair Semantics. | Anselm Haak, Patrick Koopmann, Yasir Mahmood, Anni-Yasmin Turhan |
| 2025 | CADE | Concrete Domains Meet Expressive Cardinality Restrictions in Description Logics. | Franz Baader, Stefan Borgwardt, Filippo De Bortoli, Patrick Koopmann |
| 2024 | ECAI | Planning with OWL-DL Ontologies. | Tobias John, Patrick Koopmann |
| 2024 | ITP | Lean Formalization of Completeness Proof for Coalition Logic with Common Knowledge. | Kai Obendrauf, Anne Baanen, Patrick Koopmann, Vera Stebletsova |
| 2024 | KR | Explaining Reasoning Results for OWL Ontologies with Evee. | Christian Alrabbaa, Stefan Borgwardt, Tom Friese, Anke Hirsch, Nina Knieriemen, Patrick Koopmann, Alisa Kovtunova, Antonio Krger, Alexej Popovic, Ida S. R. Siahaan |
| 2023 | IJCAI | Efficient Computation of General Modules for ALC Ontologies. | Hui Yang, Patrick Koopmann, Yue Ma, Nicole Bidoit |
| 2023 | JELIA | Optimal Repairs in the Description Logic | Franz Baader, Patrick Koopmann, Francesco Kriegel |
| 2022 | CADE | Evonne: Interactive Proof Visualization for Description Logics (System Description). | Christian Alrabbaa, Franz Baader, Stefan Borgwardt, Raimund Dachselt, Patrick Koopmann, Julin Mndez |
| 2022 | CADE | Connection-Minimal Abduction in | Fajar Haifani, Patrick Koopmann, Sophie Tourret, Christoph Weidenbach |
| 2021 | CADE | Finding Good Proofs for Description Logic Entailments using Recursive Quality Measures. | Christian Alrabbaa, Franz Baader, Stefan Borgwardt, Patrick Koopmann, Alisa Kovtunova |
| 2021 | CADE | Computing Optimal Repairs of Quantified ABoxes w.r.t. Static | Franz Baader, Patrick Koopmann, Francesco Kriegel, Adrian Nuradiansyah |
| 2021 | IJCAI | Signature-Based Abduction with Fresh Individuals and Complex Concepts for Description Logics. | Patrick Koopmann |
| 2021 | KR | Abduction in EL via Translation to FOL. | Fajar Haifani, Patrick Koopmann, Sophie Tourret |
| 2021 | KR | Signature-Based ABox Abduction in ALC is Hard. | Patrick Koopmann |
| 2020 | IJCAI | Deductive Module Extraction for Expressive Description Logics. | Patrick Koopmann, Jieying Chen |
| 2020 | KR | Signature-Based Abduction for Expressive Description Logics. | Patrick Koopmann, Warren Del-Pinto, Sophie Tourret, Renate A. Schmidt |
| 2020 | LPAR | Finding Small Proofs for Description Logic Entailments: Theory and Practice. | Christian Alrabbaa, Franz Baader, Stefan Borgwardt, Patrick Koopmann, Alisa Kovtunova |
| 2019 | AAAI | From Horn-SRIQ to Datalog: A Data-Independent Transformation That Preserves Assertion Entailment. | David Carral, Larry Gonzlez, Patrick Koopmann |
| 2019 | AAAI | Ontology-Based Query Answering for Probabilistic Temporal Data. | Patrick Koopmann |
| 2019 | IFM | Ontology-Mediated Probabilistic Model Checking. | Clemens Dubslaff, Patrick Koopmann, Anni-Yasmin Turhan |
| 2018 | KI | Ontology-Mediated Query Answering for Probabilistic Temporal Data with EL Ontologies. | Patrick Koopmann |
| 2017 | AAAI | Small Is Beautiful: Computing Minimal Equivalent EL Concepts. | Nadeschda Nikitina, Patrick Koopmann |
| 2015 | AAAI | Uniform Interpolation and Forgetting for ALC Ontologies with ABoxes. | Patrick Koopmann, Renate A. Schmidt |
| 2014 | CADE | Count and Forget: Uniform Interpolation of $\mathcal{SHQ}$ -Ontologies. | Patrick Koopmann, Renate A. Schmidt |
| 2013 | LPAR | Forgetting Concept and Role Symbols in $\mathcal{ALCH}$ -Ontologies. | Patrick Koopmann, Renate A. Schmidt |
| 2011 | ICVS | Ontology-Based Realtime Activity Monitoring Using Beam Search. | Wilfried Bohlken, Bernd Neumann, Lothar Hotz, Patrick Koopmann |