Keyphrases
- answer sets
- logic programs
- answer set programming
- logic programming
- answer set semantics
- search algorithm
- answer set programs
- search space
- extended logic programs
- genetic algorithm
- combinatorial optimization
- normal logic programs
- simulated annealing
- logic program updates
- optimal solution
- fixpoint
- semantics of logic programs
- search strategies
- loop formulas
- reasoning tasks
- general purpose
- data model
- counter examples
- artificial intelligence