Sign in
Back
CASC-J3 The 3rd IJCAR ATP System Competition
Book chapter

CASC-J3 The 3rd IJCAR ATP System Competition

Geoff Sutcliffe
Automated Reasoning, pp.572-573
Lecture Notes in Computer Science, Springer Berlin Heidelberg
DOI: https://doi.org/10.1007/11814771_46

Abstract

Automate Reasoning Automate Theorem Prove System Common Sense Knowledge Proof Obligation World Championship
The CADE ATP System Competition (CASC) is an annual evaluation of fully automatic, first-order Automated Theorem Proving (ATP) systems – the world championship for such systems. CASC-J3 was held on 18th August 2006, as part of the 3rd International Joint Conference on Automated Reasoning, in Seattle, Washington. It was the eleventh competition in the CASC series.

Metrics

53 Record Views

Details