In proceedings details

Unifying Justifications and Debugging for Answer-Set Programs

Sep 2015

Organization:

Authors: Anastasia Analyti, Carlos Viegas Damásio, João Moura

Editors:

Series:

Volume:

ISSN:

ISBN:

Url:

Notes:

Bibtex Key:

DOI:

Publication Date: 1 Sep 2015

Publication File: