Generating small Models of First Order Axioms.

Published in: GWAI (1981)

Keyphrases

first order logic
computer vision
probabilistic model
small number
model selection
statistical models
real time
neural network
real world
decision making
website
parameter estimation
process model