Keyphrases
- fixed point
- knowledge base
- dynamical systems
- logic programming
- initial conditions
- temporal difference learning
- linear logic
- complete axiomatization
- belief propagation
- asymptotic properties
- approximate value iteration
- sufficient conditions
- stationary points
- closure operator
- logic programs
- distributed systems
- pairwise
- neural network