"Justifications for logic programs under answer set semantics."

Enrico Pontelli, Tran Cao Son, Omar El-Khatib (2009)

Details and statistics

DOI: 10.1017/S1471068408003633

access: closed

type: Journal Article

metadata version: 2020-10-26

a service of  Schloss Dagstuhl - Leibniz Center for Informatics