Skip to content

Unifying Justifications and Debugging for Answer-Set Programs.

Carlos Viegas Damsio, Joo Moura Pires, Anastasia Analyti

VenueBICLP
Year2015
ProceedingsICLP (Technical Communications)

Browse the full ICLP paper archive.