Speeding up Lazy-Grounding Answer Set Solving.
Richard TaupePublished in: ICLP (Technical Communications) (2018)
Keyphrases
- answer sets
- logic programs
- answer set programming
- logic programming
- answer set semantics
- normal logic programs
- answer set programs
- semantics of logic programs
- databases
- sat solvers
- counter examples
- loop formulas
- combinatorial optimization
- orders of magnitude
- knowledge representation
- high level
- artificial intelligence