Sign in
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