Isabelle Kuhlmann

According to our database, Isabelle Kuhlmann authored at least 19 papers between 2019 and 2024.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2024

Paraconsistent reasoning for inconsistency measurement in declarative process specifications.

Carl Corea, Isabelle Kuhlmann, Matthias Thimm, John Grant

Inf. Syst., 2024

Online Handbook of Argumentation for AI: Volume 4.

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

CoRR, 2024

Inconsistency Measurement in LTL_f Based on Minimal Inconsistent Sets and Minimal Correction Sets.

Isabelle Kuhlmann, Carl Corea

Proceedings of the Scalable Uncertainty Management - 16th International Conference, 2024

Cluster-Specific Rule Mining for Argumentation-Based Classification.

Jonas Klein, Isabelle Kuhlmann, Matthias Thimm

Proceedings of the Robust Argumentation Machines - First International Conference, 2024

Enhancing Abstract Argumentation Solvers with Machine Learning-Guided Heuristics: A Feasibility Study.

Sandra Hoffmann, Isabelle Kuhlmann, Matthias Thimm

Proceedings of the Robust Argumentation Machines - First International Conference, 2024

2023

Comparison of SAT-based and ASP-based Algorithms for Inconsistency Measurement.

Isabelle Kuhlmann, Anna Gessler, Vivien Laszlo, Matthias Thimm

CoRR, 2023

An ASP-Based Framework for Solving Problems Related to Declarative Process Specifications.

Isabelle Kuhlmann, Carl Corea, John Grant

Proceedings of the 21st International Workshop on Non-Monotonic Reasoning co-located with the 20th International Conference on Principles of Knowledge Representation and Reasoning (KR 2023) and co-located with the 36th International Workshop on Description Logics (DL 2023), 2023

A Discussion of Challenges in Benchmark Generation for Abstract Argumentation.

Isabelle Kuhlmann, Matthias Thimm

Proceedings of the First International Workshop on Argumentation and Applications co-located with 20th International Conference on Principles of Knowledge Representation and Reasoning (KR 2023), 2023

Computing MUS-Based Inconsistency Measures.

Isabelle Kuhlmann, Andreas Niskanen, Matti Järvisalo

Proceedings of the Logics in Artificial Intelligence - 18th European Conference, 2023

MaxSAT-Based Inconsistency Measurement.

Andreas Niskanen, Isabelle Kuhlmann, Matthias Thimm, Matti Järvisalo

Proceedings of the ECAI 2023 - 26th European Conference on Artificial Intelligence, September 30 - October 4, 2023, Kraków, Poland, 2023

Non-Automata Based Conformance Checking of Declarative Process Specifications Based on ASP.

Isabelle Kuhlmann, Carl Corea, John Grant

Proceedings of the Business Process Management Workshops, 2023

2022

A Comparison of ASP-Based and SAT-Based Algorithms for the Contension Inconsistency Measure.

Isabelle Kuhlmann, Anna Gessler, Vivien Laszlo, Matthias Thimm

Proceedings of the Scalable Uncertainty Management - 15th International Conference, 2022

On the Impact of Data Selection when Applying Machine Learning in Abstract Argumentation.

Isabelle Kuhlmann, Thorsten Wujek, Matthias Thimm

Proceedings of the Computational Models of Argument, 2022

Graph Neural Networks for Algorithm Selection in Abstract Argumentation.

Jonas Klein, Isabelle Kuhlmann, Matthias Thimm

Proceedings of the 1st Workshop on Argumentation & Machine Learning co-located with 9th International Conference on Computational Models of Argument (COMMA 2022), 2022

2021

Distinguishability in Abstract Argumentation.

Isabelle Kuhlmann, Tjitze Rienstra, Lars Bengel, Kenneth Skiba, Matthias Thimm

Proceedings of the 18th International Conference on Principles of Knowledge Representation and Reasoning, 2021

Integrating Feedforward Design into a Generative Network to Synthesize Supplementary Training Data for Object Classification.

Isabelle Kuhlmann, Viktor Seib, Dietrich Paulus

Proceedings of the IEEE International Conference on Autonomous Robot Systems and Competitions, 2021

2020

An Algorithm for the Contension Inconsistency Measure Using Reductions to Answer Set Programming.

Isabelle Kuhlmann, Matthias Thimm

Proceedings of the Scalable Uncertainty Management - 14th International Conference, 2020

2019

Using Graph Convolutional Networks for Approximate Reasoning with Abstract Argumentation Frameworks: A Feasibility Study.

Isabelle Kuhlmann, Matthias Thimm

Proceedings of the Scalable Uncertainty Management - 13th International Conference, 2019

Scratchy: A Lightweight Modular Autonomous Robot for Robotic Competitions.

Raphael Memmesheimer, Isabelle Kuhlmann, Mark Mints, Patrik Schmidt, Christian Korbach, Ida Germann, Dietrich Paulus

Proceedings of the 2019 IEEE International Conference on Autonomous Robot Systems and Competitions, 2019