Provider: Schloss Dagstuhl - Leibniz Center for Informatics
Database: dblp computer science bibliography
Content:text/plain; charset="utf-8"
TY - CPAPER
ID - DBLP:conf/wlp/GebserPSTW07
AU - Gebser, Martin
AU - Pührer, Jörg
AU - Schaub, Torsten
AU - Tompits, Hans
AU - Woltran, Stefan
TI - spock: A Debugging Support Tool for Logic Programs under the Answer-Set Semantics.
BT - Applications of Declarative Programming and Knowledge Management, 17th International Conference, INAP 2007, and 21st Workshop on Logic Programming, WLP 2007, Würzburg, Germany, October 4-6, 2007, Revised Selected Papers
SP - 247
EP - 252
PY - 2007//
DO - 10.1007/978-3-642-00675-3_17
UR - https://doi.org/10.1007/978-3-642-00675-3_17
ER -
