SMT-Based Constraint Answer Set Solver EZSMT+ for Non-Tight Programs.
Da ShenYuliya LierlerPublished in: KR (2018)
Keyphrases
- answer sets
- logic programs
- answer set programming
- answer set semantics
- logic programming
- answer set programs
- anti monotone
- normal logic programs
- constraint solver
- constraint solving
- fixpoint
- lower bound
- statistical machine translation
- stable models
- upper bound
- sat solvers
- loop formulas
- stable model semantics
- constraint solvers
- semantics of logic programs
- linear constraints
- expert systems