Memory-Efficient Fixpoint Computation.
Sung Kook KimArnaud J. VenetAditya V. ThakurPublished in: SAS (2020)
Keyphrases
- memory efficient
- fixpoint
- logic programs
- integral image
- deductive databases
- finite state machines
- stable models
- external memory
- recursive queries
- fixpoint semantics
- proof theoretic
- update rule
- model theoretic
- horn clauses
- nonmonotonic reasoning
- sql queries
- answer sets
- logic programming
- knowledge discovery
- data structure