The Craig Interpolation Theorem in abstract model theory.

Jouko A. Väänänen

Published in: Synth. (2008)

Keyphrases

computational model
neural network
probabilistic model
high level
bayesian networks
management system
theoretical framework
theoretical analysis
experimental data
database
web services
multi agent systems
probability distribution
input data
maximum likelihood
neural network model