Stepwise Debugging of Answer-Set Programs

18 May 2017

Papers citing "Stepwise Debugging of Answer-Set Programs"

5 / 5 papers shown

Title
Answering the "why" in Answer Set Programming - A Survey of Explanation Approaches Jorge Fandinno Claudia Schulz ELM 43 42 0 21 Sep 2018
Kara: A System for Visualising and Visual Editing of Interpretations for Answer-Set Programs Christian Kloimüllner J. Oetsch Jörg Pührer H. Tompits 79 29 0 19 Sep 2011
The SeaLion has Landed: An IDE for Answer-Set Programming---Preliminary Report J. Oetsch Jörg Pührer H. Tompits 105 23 0 19 Sep 2011
Logic programs with propositional connectives and aggregates P. Ferraris 97 71 0 08 Dec 2008
Justifications for Logic Programs under Answer Set Semantics Enrico Pontelli Tran Cao Son Omar El-Khatib KELM OffRL 78 94 0 03 Dec 2008