Heuristic Based Induction of Answer Set Programs: From Default theories to combinatorial problems.
Farhad ShakerinGopal GuptaPublished in: CoRR (2018)
Keyphrases
- default theories
- combinatorial problems
- answer set programs
- answer set programming
- constraint programming
- answer sets
- logic programming
- logic programs
- constraint satisfaction problems
- metaheuristic
- constraint satisfaction
- combinatorial optimization
- traveling salesman problem
- phase transition
- default logic
- reasoning tasks
- stable models
- nonmonotonic logics
- branch and bound algorithm
- global constraints
- default reasoning
- knowledge representation
- revision operators
- optimal solution
- artificial intelligence
- integer programming
- branch and bound
- simulated annealing
- fixpoint