Login / Signup

A Simple Fixed Point Characterization of Three-Valued Stable Model Semantics.

Staffan BonnierUlf NilssonTorbjörn Näslund
Published in: Inf. Process. Lett. (1991)
Keyphrases
  • fixed point
  • stable model semantics
  • belief propagation
  • answer set programming
  • floating point
  • logic programs
  • fixed point theorem
  • sufficient conditions
  • dynamical systems
  • bayesian networks
  • higher order