A Reconstruction of Abstract Argumentation Admissible Semantics into Defaults and Answer Sets Programming.
Farid NouiouaVincent RischPublished in: ICAART (1) (2012)
Keyphrases
- abstract argumentation
- answer sets
- logic programming
- logic programs
- answer set semantics
- answer set programming
- default logic
- normal logic programs
- default reasoning
- extended logic programs
- programming language
- default theories
- abstract argumentation frameworks
- argumentation frameworks
- nonmonotonic reasoning
- semantics of logic programs
- logic program updates
- theorem proving
- answer set programs
- strong equivalence
- stable models
- disjunctive logic programming
- fixpoint
- reasoning tasks
- knowledge representation
- description logic programs
- semantics for logic programs
- state space
- autoepistemic logic
- belief revision
- dl programs
- expressive power
- nonmonotonic logics
- defeasible logic
- stable model semantics
- argumentation semantics
- preference relations
- sat solvers
- object oriented
- machine learning