Strong Equivalence for Logic Programs with Preferences.
Wolfgang FaberKathrin KonczakPublished in: IJCAI (2005)
Keyphrases
- strong equivalence
- logic programs
- argumentation frameworks
- logic programming
- stable models
- answer sets
- answer set semantics
- answer set programming
- fixpoint
- inductive logic programming
- preference relations
- general logic programs
- normal logic programs
- decision making
- argumentation semantics
- autoepistemic logic
- multi attribute
- artificial intelligence
- data exchange
- sufficient conditions