The 6th IJCAR automated theorem proving system competition - CASC-J6.

Geoff Sutcliffe

Published in: AI Commun. (2013)

Keyphrases

automated theorem proving
theorem prover
theorem proving
answer set programming
classical logic
international competition
expert systems
machine learning
case study
high level
bayesian networks
active learning
probability distribution
logic programs
first order logic