Strong Equivalence of Qualitative Optimization Problems.
Wolfgang FaberMiroslaw TruszczynskiStefan WoltranPublished in: KR (2012)
Keyphrases
- optimization problems
- strong equivalence
- logic programs
- evolutionary algorithm
- cost function
- answer sets
- stable models
- objective function
- answer set programming
- argumentation frameworks
- logic programming
- qualitative and quantitative
- answer set semantics
- argumentation semantics
- sufficient conditions
- reasoning tasks
- autoepistemic logic
- programming language
- possibility theory