Login / Signup
Fixed Points and Proof Theory: An Extended Abstract.
Dale Miller
Published in:
FICS (2010)
Keyphrases
</>
extended abstract
fixed point
proof theory
default reasoning
default logic
automated reasoning
sufficient conditions
approximate value iteration
dynamical systems
reasoning problems
belief propagation
nonmonotonic reasoning
belief revision
neural network
positive and negative
stereo matching
lower bound