Search Results for author: Isabelle Kuhlmann

Found 4 papers, 1 papers with code

Online Handbook of Argumentation for AI: Volume 4

no code implementations20 Dec 2023 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

This volume contains revised versions of the papers selected for the fourth volume of the Online Handbook of Argumentation for AI (OHAAI).

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

no code implementations28 Apr 2023 Isabelle Kuhlmann, Anna Gessler, Vivien Laszlo, Matthias Thimm

In an extensive experimental analysis, we compare the SAT-based and ASP-based approaches with each other, as well as with a set of naive baseline algorithms.

Cannot find the paper you are looking for? You can Submit a new open access paper.