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
Be the first to leave a comment!
You must be logged in first