Justification and debugging of answer set programs in ASP.

Omar El-Khatib Enrico Pontelli Tran Cao Son

Published in: AADEBUG (2005)

Keyphrases

answer set programs
answer set programming
answer set solvers
answer sets
logic programs
stable models
logic programming
reasoning tasks
update operators
stable model semantics
machine learning
relational databases
answer set semantics