Justifications for logic programs under answer set semantics

Enrico Pontelli, Tran Cao Son, Omar El-Khatib. Justifications for logic programs under answer set semantics. TPLP, 9(1):1-56, 2009. [doi]

Authors

Enrico Pontelli

This author has not been identified. Look up 'Enrico Pontelli' in Google

Tran Cao Son

This author has not been identified. Look up 'Tran Cao Son' in Google

Omar El-Khatib

This author has not been identified. Look up 'Omar El-Khatib' in Google