Automatic models of first order theories.

Pavel Semukhin Frank Stephan

Published in: Ann. Pure Appl. Log. (2013)

Keyphrases

neural network
three dimensional
experimental data
statistical models
genetic algorithm
social networks
image segmentation
probabilistic model
theoretical framework
complex systems
statistical model
statistical methods
parametric models
horn clauses