Efficient Computation of Answer Sets via SAT Modulo Acyclicity and Vertex Elimination.
Masood Feyzbakhsh RankoohTomi JanhunenPublished in: LPNMR (2022)
Keyphrases
- efficient computation
- answer sets
- answer set solvers
- sat solvers
- answer set programming
- logic programs
- answer set programs
- logic programming
- computational efficiency
- normal logic programs
- data exchange
- orders of magnitude
- semantics of logic programs
- general purpose
- fixpoint
- stable model semantics
- search space
- search strategies
- query answering
- deductive databases
- programming language
- knowledge base