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