Answer Set Programming as SAT modulo Acyclicity.
Martin GebserTomi JanhunenJussi RintanenPublished in: ECAI (2014)
Keyphrases
- answer set programming
- answer set solvers
- modulo theories
- answer sets
- logic programming
- answer set programs
- logic programs
- constraint logic programming
- sat solvers
- stable model semantics
- causal theories
- data exchange
- satisfiability problem
- search algorithm
- satisfiability modulo theories
- query answering
- stable models
- phase transition
- general purpose
- update semantics
- high level
- qualitative spatial and temporal reasoning
- lower bound
- artificial intelligence
- haplotype inference
- disjunctive logic programming
- boolean satisfiability
- bounded treewidth
- max sat
- search strategies
- knowledge representation