Strong Equivalence of Qualitative Optimization Problems
Wolfgang FaberMiroslaw TruszczynskiStefan WoltranPublished in: CoRR (2011)
Keyphrases
- optimization problems
- strong equivalence
- logic programs
- stable models
- evolutionary algorithm
- answer sets
- cost function
- answer set programming
- objective function
- logic programming
- answer set semantics
- qualitative and quantitative
- reasoning tasks
- fixpoint
- argumentation semantics
- sufficient conditions
- argumentation frameworks
- probability distribution
- dynamic programming
- computational complexity