Advanced Conflict-Driven Disjunctive Answer Set Solving.
Martin GebserBenjamin KaufmannTorsten SchaubPublished in: IJCAI (2013)
Keyphrases
- answer sets
- logic programs
- answer set programming
- logic programming
- answer set semantics
- normal logic programs
- answer set programs
- polynomial hierarchy
- loop formulas
- stable models
- high level
- fixpoint
- conflict resolution
- counter examples
- relational databases
- semantics of logic programs
- reasoning tasks
- heuristic search
- general purpose
- lower bound