Login / Signup
Fixpoints Revisited.
Joachim Lambek
Published in:
Logic at Botik (1989)
Keyphrases
</>
logic programs
fixpoint
nonmonotonic reasoning
deductive databases
databases
data mining
general purpose
database
computational complexity
query processing
domain knowledge
autoepistemic logic
fixpoint semantics