Heuristic Based Induction of Answer Set Programs, From Default theories to Combinatorial problems.
Farhad ShakerinGopal GuptaPublished in: ILP Up-and-Coming / Short Papers (2018)
Keyphrases
- default theories
- combinatorial problems
- answer set programs
- answer set programming
- constraint programming
- answer sets
- logic programs
- logic programming
- metaheuristic
- constraint satisfaction
- constraint satisfaction problems
- traveling salesman problem
- combinatorial optimization
- phase transition
- reasoning tasks
- stable models
- default logic
- nonmonotonic logics
- global constraints
- branch and bound algorithm
- knowledge representation
- revision operators
- np complete
- simulated annealing
- heuristic search
- computational complexity
- default reasoning
- dynamic programming