Rushing and Strolling among Answer Sets - Navigation Made Easy.
Johannes Klaus FichteSarah Alice GagglDominik RusovacPublished in: AAAI (2022)
Keyphrases
- answer sets
- logic programs
- answer set programming
- logic programming
- answer set semantics
- answer set programs
- extended logic programs
- normal logic programs
- logic program updates
- fixpoint
- disjunctive logic programming
- loop formulas
- sat solvers
- search space
- dl programs
- propositional logic
- reasoning tasks
- counter examples