ABA-Based Answer Set Justification.

Claudia Schulz Francesca Toni

Published in: Theory Pract. Log. Program. (2013)

Keyphrases

answer sets
logic programs
answer set programming
logic programming
answer set semantics
answer set programs
fixpoint
loop formulas
normal logic programs
relational databases
artificial intelligence
knowledge representation
information retrieval systems
counter examples