R08: Spock

  • Due May 2, 2017 by 11:39am
  • Points 10
  • Submitting a file upload
  • File Types html and pdf

“That is Illogical Captain!” – The Debugging Support Tool spock for Answer-Set Programs: System Description

Martin Brain (University of Bath), Martin Gebser (Universität Potsdam), Jörg Pührer (Technische Universität Wien), Torsten Schaub (Universität Potsdam), Hans Tompits (Technische Universität Wien), Stefan Woltran (Technische Universität Wien)

http://ceur-ws.org/Vol-281/proceedings.pdf Links to an external site.

Links to an external site.This 140-page document contains all of the articles from 2007 Software Engineering for Answer Set Programming workshop. You only need to read the (15-page, single column) Spock article. Find it in the table of contents.

1493750340 05/02/2017 11:39am