Distributed Answer Set Coloring: Stable Models Computation via Graph Coloring.
Marco De BortoliPublished in: ICLP Technical Communications (2019)
Keyphrases
- stable models
- answer sets
- logic programs
- graph coloring
- normal logic programs
- answer set programming
- logic programming
- loop formulas
- answer set programs
- fixpoint
- answer set semantics
- combinatorial problems
- semantics for logic programs
- job shop scheduling
- stable model semantics
- phase transition
- constraint satisfaction problems
- deductive databases
- strong equivalence
- constraint satisfaction
- scheduling problem
- default reasoning
- hyper heuristics
- max sat
- genetic algorithm
- job shop scheduling problem
- knowledge representation