Quasipolynomial Computation of Nested Fixpoints.

Daniel Hausmann Lutz Schröder

Published in: TACAS (1) (2021)

Keyphrases

deductive databases
efficient computation
case study
logic programs
e learning
knowledge base
image segmentation
search algorithm
digital libraries