Fixed-Points for Quantitative Equational Logics.

Radu Mardare Prakash Panangaden Gordon D. Plotkin

Published in: LICS (2021)

Keyphrases

fixed point
default logic
dynamical systems
approximate value iteration
theorem proving
sufficient conditions
linear logic
asymptotic properties
modal logic
inference rules
belief propagation
initial conditions
temporal difference learning
image segmentation
neural network