Login / Signup
Fixpoint Semantics of L lambda.
Maurizio Martelli
Alessandro Messora
Catuscia Palamidessi
Alain Hui-Bon-Hoa
Published in:
GULP-PRODE (1) (1994)
Keyphrases
</>
fixpoint semantics
logic programs
deductive databases
fixpoint
model theoretic
datalog programs
closed world assumption
logic programming
fixed point
data complexity
stable models
declarative semantics
machine learning
integrity constraints