Binding Logic: Proofs and Models.

Gilles Dowek Thérèse Hardin Claude Kirchner

Published in: LPAR (2002)

Keyphrases

statistical models
computational models
databases
probabilistic model
experimental data
accurate models
real time
neural network
social networks
multi agent
model selection
parameter estimation
regression model
complex systems
automated reasoning