Isabelle Kuhlmann

24 papers A* 2A 1B 1C 1Journal 5Unranked 13
YearRankTypeTitle / Venue / Authors
2025 — conf
A MaxSAT-Based Approach for Computing Inconsistency Degrees in Linear Temporal Logic on Fixed Traces.
ECSQARU (Workshops and Tutorials)
Isabelle Kuhlmann
2025 J jnl
Comparison of SAT-Based and ASP-Based Algorithms for Inconsistency Measurement.
J. Artif. Intell. Res.
Isabelle Kuhlmann, Anna Gessler, Vivien Laszlo, Matthias Thimm
2025 A* conf
Exploring Desirable Configurations in Global Logistics with Heuristic Search in Answer Set Programming.
KR
Olcay Altay-Kern, Emmanuelle Dietz, Isabelle Kuhlmann, Matthias Thimm
2024 — conf
Cluster-Specific Rule Mining for Argumentation-Based Classification.
RATIO
Jonas Klein, Isabelle Kuhlmann, Matthias Thimm
2024 — conf
Enhancing Abstract Argumentation Solvers with Machine Learning-Guided Heuristics: A Feasibility Study.
RATIO
Sandra Hoffmann, Isabelle Kuhlmann, Matthias Thimm
2024 — conf
Inconsistency Measurement in LTL
SUM
Isabelle Kuhlmann, Carl Corea
2024 J jnl
Online Handbook of Argumentation for AI: Volume 4.
CoRR
Lars Bengel, Lydia Blümel, Elfia Bezou-Vrakatseli, Federico Castagna, Giulia D'Agostino, Isabelle Kuhlmann, Jack Mumford, Daphne Odekerken, Fabrizio Russo, Stefan Sarkadi, Madeleine Waller, Andreas Xydis
2024 J jnl
Paraconsistent reasoning for inconsistency measurement in declarative process specifications.
Inf. Syst.
Carl Corea, Isabelle Kuhlmann, Matthias Thimm, John Grant
2023 — conf
A Discussion of Challenges in Benchmark Generation for Abstract Argumentation.
Arg&App
Isabelle Kuhlmann, Matthias Thimm
2023 — conf
An ASP-Based Framework for Solving Problems Related to Declarative Process Specifications.
NMR
Isabelle Kuhlmann, Carl Corea, John Grant
2023 J jnl
Comparison of SAT-based and ASP-based Algorithms for Inconsistency Measurement.
CoRR
Isabelle Kuhlmann, Anna Gessler, Vivien Laszlo, Matthias Thimm
2023 B conf
Computing MUS-Based Inconsistency Measures.
JELIA
Isabelle Kuhlmann, Andreas Niskanen, Matti Järvisalo
2023 A conf
MaxSAT-Based Inconsistency Measurement.
ECAI
Andreas Niskanen, Isabelle Kuhlmann, Matthias Thimm, Matti Järvisalo
2023 — conf
Non-Automata Based Conformance Checking of Declarative Process Specifications Based on ASP.
Business Process Management Workshops
Isabelle Kuhlmann, Carl Corea, John Grant
2022 — conf
A Comparison of ASP-Based and SAT-Based Algorithms for the Contension Inconsistency Measure.
SUM
Isabelle Kuhlmann, Anna Gessler, Vivien Laszlo, Matthias Thimm
2022 — conf
Graph Neural Networks for Algorithm Selection in Abstract Argumentation.
ArgML@COMMA
Jonas Klein, Isabelle Kuhlmann, Matthias Thimm
2022 C conf
On the Impact of Data Selection when Applying Machine Learning in Abstract Argumentation.
COMMA
Isabelle Kuhlmann, Thorsten Wujek, Matthias Thimm
2022 — ed.
Proceedings of the 1st Workshop on Argumentation & Machine Learning co-located with 9th International Conference on Computational Models of Argument (COMMA 2022), Cardiff, Wales, September 13th, 2022.
ArgML@COMMA
Isabelle Kuhlmann, Jack Mumford, Stefan Sarkadi
2021 A* conf
Distinguishability in Abstract Argumentation.
KR
Isabelle Kuhlmann, Tjitze Rienstra, Lars Bengel, Kenneth Skiba, Matthias Thimm
2021 — conf
Integrating Feedforward Design into a Generative Network to Synthesize Supplementary Training Data for Object Classification.
ICARSC
Isabelle Kuhlmann, Viktor Seib, Dietrich Paulus
2020 — conf
An Algorithm for the Contension Inconsistency Measure Using Reductions to Answer Set Programming.
SUM
Isabelle Kuhlmann, Matthias Thimm
2019 — conf
Scratchy: A Lightweight Modular Autonomous Robot for Robotic Competitions.
ICARSC
Raphael Memmesheimer, Isabelle Kuhlmann, Mark Mints, Patrik Schmidt, Christian Korbach, Ida Germann, Dietrich Paulus
2019 J jnl
Scratchy: A Lightweight Modular Autonomous Robot for Robotic Competitions.
CoRR
Raphael Memmesheimer, Isabelle Kuhlmann, Mark Mints, Patrik Schmidt, Christian Korbach, Ida Germann, Dietrich Paulus
2019 — conf
Using Graph Convolutional Networks for Approximate Reasoning with Abstract Argumentation Frameworks: A Feasibility Study.
SUM
Isabelle Kuhlmann, Matthias Thimm