Model existence theorem in superrelevant predicate logics.

Miroslaw Szatkowski

Published in: Arch. Math. Log. (1987)

Keyphrases

probabilistic model
theoretical framework
formal model
object model
prior knowledge
probability distribution
statistical model
expressive power
bayesian framework
artificial intelligence
case study
high level
evolutionary algorithm
markov chain
experimental data