Stepwise Debugging of Answer-Set Programs

18 May 2017

Papers citing "Stepwise Debugging of Answer-Set Programs"

4 / 4 papers shown

Title
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 58 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 71 23 0 19 Sep 2011
Logic programs with propositional connectives and aggregates P. Ferraris 93 71 0 08 Dec 2008
Justifications for Logic Programs under Answer Set Semantics Enrico Pontelli Tran Cao Son Omar El-Khatib KELM OffRL 55 94 0 03 Dec 2008