Embedding justification theory in approximation fixpoint theory.

Simon Marynissen Bart Bogaerts Marc Denecker

Published in: Artif. Intell. (2024)

Keyphrases

fixpoint
database systems
deductive databases
difference equations
databases
logic programs
orders of magnitude