Justifications for Logic Programs under Answer Set Semantics

3 December 2008

Papers citing "Justifications for Logic Programs under Answer Set Semantics"

20 / 20 papers shown

Title
Explainable Answer-set Programming Tobias Geibinger LRM 58 1 0 30 Aug 2023
Explanations for Answer Set Programming Mario Alviano L. L. Trieu Tran Cao Son M. Balduccini 31 2 0 30 Aug 2023
On Establishing Robust Consistency in Answer Set Programs Andre Thevapalan G. Kern-Isberner 13 0 0 17 Aug 2022
exp(ASPc) : Explaining ASP Programs with Choice Atoms and Constraint Rules L. L. Trieu Tran Cao Son M. Balduccini 23 4 0 17 Sep 2021
Generating explanations for answer set programming applications L. L. Trieu T. Son Enrico Pontelli M. Balduccini LRM 21 2 0 18 Apr 2021
A System for Explainable Answer Set Programming Pedro Cabalar Jorge Fandinno Brais Muñiz LRM 35 21 0 22 Sep 2020
Machine Reasoning Explainability K. Čyras R. Badrinath S. Mohalik A. Mujumdar Alexandros Nikou Alessandro Previti Vaishnavi Sundararajan Aneta Vulgarakis Feljan LRM 65 13 0 01 Sep 2020
Explanation Generation for Multi-Modal Multi-Agent Path Finding with Optimal Resource Utilization using Answer Set Programming Aysu Bogatarkan Esra Erdem 44 8 0 08 Aug 2020
An Application of ASP in Nuclear Engineering: Explaining the Three Mile Island Nuclear Accident Scenario Botros N. Hanna L. L. Trieu T. Son Truc-Nam Dinh 13 5 0 04 Aug 2020
A Rule-Based System for Explainable Donor-Patient Matching in Liver Transplantation Felicidad Aguado Pedro Cabalar Jorge Fandinno Brais Muñiz Gilberto Perez Francisco Suárez 8 1 0 18 Sep 2019
Abstraction for Zooming-In to Unsolvability Reasons of Grid-Cell Problems Thomas Eiter Z. G. Saribatur P. Schüller 38 11 0 11 Sep 2019
Towards Generating Explanations for ASP-Based Link Analysis using Declarative Program Transformations M. Atzmüller Çiçek Güven Dietmar Seipel LRM 18 2 0 08 Sep 2019
Answering the "why" in Answer Set Programming - A Survey of Explanation Approaches Jorge Fandinno Claudia Schulz ELM 33 42 0 21 Sep 2018
Debugging Non-Ground ASP Programs: Technique and Graphical Tools Carmine Dodaro Philip Gasteiger Kristian Reale Francesco Ricca Konstantin Schekotihin 37 22 0 01 Aug 2018
Stepwise Debugging of Answer-Set Programs J. Oetsch Jörg Pührer H. Tompits LRM 48 14 0 18 May 2017
Enablers and Inhibitors in Causal Justifications of Logic Programs Pedro Cabalar Jorge Fandinno 28 7 0 22 Feb 2016
Justifying Answer Sets using Argumentation Claudia Schulz Francesca Toni 47 60 0 20 Nov 2014
Interactive Debugging of ASP Programs Konstantin Schekotihin LRM 75 3 0 20 Mar 2014
An Algebra of Causal Chains Pedro Cabalar Jorge Fandinno LRM 45 7 0 20 Dec 2013
The SeaLion has Landed: An IDE for Answer-Set Programming---Preliminary Report J. Oetsch Jörg Pührer H. Tompits 91 23 0 19 Sep 2011