The 9th IJCAR Automated Theorem Proving System Competition - CASC-J9.

Geoff Sutcliffe

Published in: AI Commun. (2018)

Keyphrases

automated theorem proving
theorem prover
theorem proving
answer set programming
classical logic
learning algorithm
search algorithm
probability distribution
first order logic
inference rules
real time
state space
supply chain
software engineering
logic programs
international competition