Login / Signup
On the Characterization of Until as a Fixed Point Under Clocked Semantics.
Dana Fisman
Published in:
Haifa Verification Conference (2007)
Keyphrases
</>
fixed point
sufficient conditions
logic programming
floating point
closure operator
dynamical systems
belief propagation
fixed point theorem
free energy
policy iteration
default logic
variational inequalities
query evaluation
constraint databases
database
belief revision
least squares
reinforcement learning