Sign in

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