ASSAT: computing answer sets of a logic program by SAT solvers.
Fangzhen LinYuting ZhaoPublished in: Artif. Intell. (2004)
Keyphrases
- sat solvers
- answer sets
- answer set programming
- orders of magnitude
- answer set semantics
- constraint satisfaction
- logic programs
- search space
- normal logic programs
- extended logic programs
- search strategies
- loop formulas
- answer set programs
- answer set solvers
- fixpoint
- semantics of logic programs
- logic program updates
- constraint satisfaction problems
- knowledge base
- stable model semantics
- state space
- search algorithm
- objective function
- artificial intelligence