Detail

Publication date: 01/09/2015

Unifying Justifications and Debugging for Answer-Set Programs

Authors

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

Publisher Universitat Politècnica de Catalunya
Publisher Universitat Politècnica de Catalunya