On Optimal Solutions of Answer Set Optimization Problems.
Ying ZhuMiroslaw TruszczynskiPublished in: LPNMR (2013)
Keyphrases
- answer sets
- optimization problems
- optimal solution
- metaheuristic
- objective function
- logic programs
- answer set programming
- logic programming
- evolutionary algorithm
- answer set semantics
- answer set programs
- combinatorial optimization
- cost function
- normal logic programs
- traveling salesman problem
- branch and bound
- search space
- np hard
- lower bound
- loop formulas
- search methods
- counter examples
- databases
- semantics of logic programs
- description logics
- general purpose
- artificial intelligence
- genetic algorithm