The 10th IJCAR automated theorem proving system competition - CASC-J10.

Geoff Sutcliffe

Published in: AI Commun. (2021)

Keyphrases

automated theorem proving
theorem prover
theorem proving
answer set programming
classical logic
data mining
international competition
inference rules
real time
learning algorithm
case study
logic programming
first order logic