Strong Equivalence of Qualitative Optimization Problems.
Wolfgang FaberMiroslaw TruszczynskiStefan WoltranPublished in: J. Artif. Intell. Res. (2013)
Keyphrases
- optimization problems
- strong equivalence
- logic programs
- evolutionary algorithm
- answer set programming
- stable models
- cost function
- objective function
- logic programming
- answer sets
- reasoning tasks
- argumentation frameworks
- classical logic
- fixpoint
- possibility theory
- autoepistemic logic
- qualitative and quantitative
- argumentation semantics