The CADE-21 automated theorem proving system competition.

Geoff Sutcliffe

Published in: AI Commun. (2008)

Keyphrases

automated theorem proving
theorem prover
theorem proving
answer set programming
search engine
classical logic
neural network
semi supervised
general purpose
graphical models
first order logic