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
Showing 2025 · cs.AIShow all
3 papers · 2 filters
cs.AI2025
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…
cs.AI2025
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…
cs.AI2025★ 2 cited
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…