Login / Signup
Stochastic Logic.
Silviu Guiasu
Published in:
IPMU (1994)
Keyphrases
</>
logic programming
classical logic
stochastic optimization
automated reasoning
modal logic
monte carlo
neural network
stochastic model
probability distribution
search algorithm
learning algorithm
stochastic processes
probabilistic logic
genetic algorithm
database
predicate logic
sound and complete axiomatization