Fixed-Points for Quantitative Equational Logics.

Radu Mardare Prakash Panangaden Gordon D. Plotkin

Published in: CoRR (2021)

Keyphrases

fixed point
default logic
approximate value iteration
sufficient conditions
temporal difference learning
initial conditions
theorem proving
dynamical systems
belief propagation
modal logic
linear logic
inference rules
stationary points
asymptotic properties
probabilistic model