Disjunctive logic programs, answer sets, and the cut rule.
Eric MartinPublished in: Arch. Math. Log. (2022)
Keyphrases
- answer sets
- answer set programming
- disjunctive logic programming
- logic programs
- logic programming
- polynomial hierarchy
- answer set semantics
- stable model semantics
- reasoning tasks
- classification rules
- stable models
- fixpoint
- knowledge representation and reasoning
- default logic
- knowledge representation
- anti monotone
- programming language
- general purpose