Login / Signup
A Simple Fixed Point Characterization of Three-Valued Stable Model Semantics.
Staffan Bonnier
Ulf Nilsson
Torbjö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