Login / Signup
A fixpoint semantics for reasoning about finite failure.
Roberta Gori
Published in:
APPIA-GULP-PRODE (1999)
Keyphrases
</>
fixpoint semantics
logic programs
deductive databases
fixpoint
closed world assumption
model theoretic
datalog programs
data complexity
declarative semantics
logic programming
special case
query evaluation
stable models
machine learning