Defining the Semantics of Abstract Argumentation Frameworks through Logic Programs and Partial Stable Models (Extended Abstract).
Gianvincenzo AlfanoSergio GrecoFrancesco ParisiIrina TrubitsynaPublished in: IJCAI (2021)
Keyphrases
- extended abstract
- stable models
- logic programs
- abstract argumentation frameworks
- strong equivalence
- logic programming
- normal logic programs
- stable model semantics
- desirable properties
- fixpoint
- argumentation semantics
- answer sets
- argumentation frameworks
- abstract argumentation
- answer set programming
- computational properties
- semantics for logic programs
- answer set programs
- logic programs with negation
- fixpoint semantics
- deductive databases
- declarative semantics
- model theoretic
- answer set semantics
- disjunctive logic programs
- loop formulas
- inductive logic programming
- reasoning tasks
- search space