4 papers
Machine Reasoning Explainability
Kristijonas Cyras, Ramamurthy Badrinath, Swarup Kumar Mohalik +5
As a field of AI, Machine Reasoning (MR) uses largely symbolic means to formalize and emulate abstract reasoning. Studies in early MR have notably started inquiries into Explainabl…
Complexity Results and Algorithms for Bipolar Argumentation
Amin Karamlou, Kristijonas Čyras, Francesca Toni
Bipolar Argumentation Frameworks (BAFs) admit several interpretations of the support relation and diverging definitions of semantics. Recently, several classes of BAFs have been ca…
Resolving Conflicts in Clinical Guidelines using Argumentation
Kristijonas Čyras, Tiago Oliveira
Automatically reasoning with conflicting generic clinical guidelines is a burning issue in patient-centric medical reasoning where patient-specific conditions and goals need to be…
Argumentation for Explainable Scheduling (Full Paper with Proofs)
Kristijonas Čyras, Dimitrios Letsios, Ruth Misener +1
Mathematical optimization offers highly-effective tools for finding solutions for problems with well-defined goals, notably scheduling. However, optimization solvers are often unex…