Non-Standard Fixed Points in First Order Logic.
Robert CartwrightPublished in: Logic of Programs (1983)
Keyphrases
- first order logic
- fixed point
- expressive power
- closure operator
- inference rules
- knowledge representation
- theorem prover
- markov networks
- sufficient conditions
- probabilistic graphical models
- dynamical systems
- inductive logic programming
- transitive closure
- belief propagation
- free energy
- machine learning
- markov logic networks
- np complete
- approximate value iteration