Papers
Communities
Events
Blog
Pricing
Search
Open menu
Home
Papers
1705.06564
Cited By
Stepwise Debugging of Answer-Set Programs
18 May 2017
J. Oetsch
Jörg Pührer
H. Tompits
LRM
Re-assign community
ArXiv (abs)
PDF
HTML
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
1