Login / Signup
An Empirical Assessment of Progress in Automated Theorem Proving.
Geoff Sutcliffe
Christian B. Suttner
Lars Kotthoff
C. Raymond Perrault
Zain Khalid
Published in:
IJCAR (1) (2024)
Keyphrases
</>
automated theorem proving
theorem prover
theorem proving
answer set programming
classical logic
inference rules
assessment tool
probability distribution
general purpose
logic programming
orders of magnitude
risk assessment
assessment process