| 2025 | ECSQARU | A MaxSAT-Based Approach for Computing Inconsistency Degrees in Linear Temporal Logic on Fixed Traces. | Isabelle Kuhlmann |
| 2025 | KR | Exploring Desirable Configurations in Global Logistics with Heuristic Search in Answer Set Programming. | Olcay Altay-Kern, Emmanuelle Dietz, Isabelle Kuhlmann, Matthias Thimm |
| 2023 | BPM | Non-Automata Based Conformance Checking of Declarative Process Specifications Based on ASP. | Isabelle Kuhlmann, Carl Corea, John Grant |
| 2023 | ECAI | MaxSAT-Based Inconsistency Measurement. | Andreas Niskanen, Isabelle Kuhlmann, Matthias Thimm, Matti Jrvisalo |
| 2023 | JELIA | Computing MUS-Based Inconsistency Measures. | Isabelle Kuhlmann, Andreas Niskanen, Matti Jrvisalo |
| 2023 | KR | A Discussion of Challenges in Benchmark Generation for Abstract Argumentation. | Isabelle Kuhlmann, Matthias Thimm |
| 2022 | COMMA | Graph Neural Networks for Algorithm Selection in Abstract Argumentation. | Jonas Klein, Isabelle Kuhlmann, Matthias Thimm |
| 2022 | COMMA | On the Impact of Data Selection when Applying Machine Learning in Abstract Argumentation. | Isabelle Kuhlmann, Thorsten Wujek, Matthias Thimm |
| 2021 | KR | Distinguishability in Abstract Argumentation. | Isabelle Kuhlmann, Tjitze Rienstra, Lars Bengel, Kenneth Skiba, Matthias Thimm |