View in EDS PDF Full Text

Stepwise debugging of answer-set programs.

Saved in:
Bibliographic Details
Title: Stepwise debugging of answer-set programs.
Authors: OETSCH, JOHANNES1 johannes.oetsch@tuwien.ac.at, PÜHRER, JÖRG2 puehrer@informatik.uni-leipzig.de, TOMPITS, HANS1 tompits@kr.tuwien.ac.at
Source: Theory & Practice of Logic Programming. Jan2018, Vol. 18 Issue 1, p30-80. 51p.
Database: Mathematics Source
Description
ISSN:14710684
DOI:10.1017/S1471068417000217