The CADE-28 Automated Theorem Proving System Competition - CASC-28.

Geoff Sutcliffe Martin Desharnais

Published in: AI Commun. (2021)

Keyphrases

automated theorem proving
theorem prover
theorem proving
answer set programming
classical logic
inference rules
first order logic
search engine
high level
information retrieval
incomplete information
international competition