Argumentation for Answer Set Programming and other Non-monotonic Reasoning Systems.

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

Keyphrases

answer set programming
logic programs
logic programming
answer set solvers
answer sets
constraint logic programming
knowledge representation
search space
programming language
answer set semantics
disjunctive logic programming
causal theories