CASC-J3 - The 3rd IJCAR ATP System Competition.

Geoff Sutcliffe

Published in: IJCAR (2006)

Keyphrases

automated theorem proving
theorem prover
international competition
databases
database
bayesian networks
real world
machine learning
learning algorithm
multiscale
multi agent
mobile robot
probability distribution