Sign in

The 4th IJCAR Automated Theorem Proving System Competition - CASC-J4.

Geoff Sutcliffe
Published in: AI Commun. (2009)
Keyphrases
  • automated theorem proving
  • theorem prover
  • theorem proving
  • answer set programming
  • classical logic
  • first order logic
  • bayesian networks
  • case study
  • logic programming
  • constraint satisfaction