Login / Signup

On the Uniqueness of Fixpoints Modulo Observation Congruence.

Ed Brinksma
Published in: CONCUR (1992)
Keyphrases
  • logic programs
  • fixpoint
  • sufficient conditions
  • nonmonotonic reasoning
  • deductive databases
  • socio technical
  • probabilistic model
  • autoepistemic logic