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