Nonstandard Models and Kripke's Proof of the Gödel Theorem.

Published in: Notre Dame J. Formal Log. (2000)

Keyphrases

prior knowledge
probabilistic model
desirable properties
multi agent systems
experimental data
statistical methods
computational models
machine learning
computer vision
markov random field
statistical model
statistical models
neural network model
theorem prover
modeling framework