Non-Deterministic Approximation Fixpoint Theory and Its Application in Disjunctive Logic Programming.
Jesse HeyninckOfer ArieliBart BogaertsPublished in: CoRR (2022)
Keyphrases
- fixpoint
- disjunctive logic programming
- logic programs
- deductive databases
- model theoretic
- answer sets
- fixpoint semantics
- stable models
- logic programming
- finite state machines
- horn clauses
- nonmonotonic reasoning
- description logics
- polynomial hierarchy
- orders of magnitude
- integrity constraints
- query evaluation
- data management
- answer set programming
- programming language
- general purpose
- database systems