Defeasibility in Answer Set Programs via Argumentation Theories.

Hui Wan Michael Kifer Benjamin N. Grosof

Published in: RR (2010)

Keyphrases

answer set programs
answer set programming
answer sets
logic programs
stable models
argumentation theory
theoretical framework
deontic logic
machine learning
logic programming
knowledge base
query language
general theory
event calculus
update semantics
update operators