Login / Signup
On the Proof Theory of Regular Fixed Points.
David Baelde
Published in:
TABLEAUX (2009)
Keyphrases
</>
fixed point
proof theory
default reasoning
default logic
automated reasoning
sufficient conditions
reasoning problems
approximate value iteration
dynamical systems
belief propagation
similarity measure
higher order
stereo matching
nonmonotonic reasoning