106 citations
- Umeå UniversitySE36 papers
- University College LondonGB21 papers
- KTH Royal Institute of TechnologySE5 papers
- Linköping UniversitySE3 papers
- Stockholm UniversitySE3 papers
- TU WienAT2 papers
- University of BoråsSE2 papers
- Aalto UniversityFI1 paper
- Birmingham City UniversityGB1 paper
- Blekinge Institute of TechnologySE1 paper
- Board of the Swiss Federal Institutes of TechnologyCH1 paper
- Centre National de la Recherche ScientifiqueFR1 paper
6 papers · 1 filter
Concerning Uncertainty -- A Systematic Survey of Uncertainty-Aware XAI
Helena Löfström, Tuwe Löfström, Anders Hjort +1
This paper surveys uncertainty-aware explainable artificial intelligence (UAXAI), examining how uncertainty is incorporated into explanatory pipelines and how such methods are eval…
Complexity of Faceted Explanations in Propositional Abduction
Johannes Schmidt, Mohamed Maizia, Victor Lagerkvist +1
Abductive reasoning is a popular non-monotonic paradigm that aims to explain observed symptoms and manifestations. It has many applications, such as diagnosis and planning in artif…
ASP-FZN: A Translation-based Constraint Answer Set Solver
Thomas Eiter, Tobias Geibinger, Tobias Kaminski +2
We present the solver asp-fzn for Constraint Answer Set Programming (CASP), which extends ASP with linear constraints. Our approach is based on translating CASP programs into the s…
Visual Graph Question Answering with ASP and LLMs for Language Parsing
Jakob Johannes Bauer, Thomas Eiter, Nelson Higuera Ruiz +1
Visual Question Answering (VQA) is a challenging problem that requires to process multimodal input. Answer-Set Programming (ASP) has shown great potential in this regard to add int…
Calibrated Explanations: with Uncertainty Information and Counterfactuals
Helena Lofstrom, Tuwe Lofstrom, Ulf Johansson +1
While local explanations for AI models can offer insights into individual predictions, such as feature importance, they are plagued by issues like instability. The unreliability of…
A Meta Survey of Quality Evaluation Criteria in Explanation Methods
Helena Löfström, Karl Hammar, Ulf Johansson
Explanation methods and their evaluation have become a significant issue in explainable artificial intelligence (XAI) due to the recent surge of opaque AI models in decision suppor…