A Fixed Point Semantics for Logic Programs Extended with Cuts.

Wim Vanhoof Remko Tronçon Maurice Bruynooghe

Published in: LOPSTR (2002)

Keyphrases

fixed point
sufficient conditions
belief propagation
floating point
logic programs
semantics for logic programs
dynamical systems
databases
higher order
integrity constraints
answer sets
default logic
fixed point theorem