On the Semantics of Recursive Bipolar AFs and Partial Stable Models.
Gianvincenzo AlfanoSergio GrecoFrancesco ParisiIrina TrubitsynaPublished in: AI³@AI*IA (2020)
Keyphrases
- stable models
- logic programs
- logic programming
- stable model semantics
- normal logic programs
- fixpoint
- datalog programs
- answer set programming
- general theory
- semantics for logic programs
- deductive databases
- strong equivalence
- background knowledge
- derivation rules
- loop formulas
- model theoretic
- argumentation frameworks
- answer set semantics
- minimal models
- valued logic
- default reasoning
- answer sets
- abstract argumentation frameworks
- artificial intelligence
- databases