The 12th IJCAR Automated Theorem Proving System Competition—CASC-J12
The CADE ATP System Competition (CASC) is the annual evaluation of fully automatic, classical logic, automated theorem proving (ATP) systems—the world championship for such systems. CASC-J12 was the 29th competition in the CASC series. Nineteen ATP systems competed in the various divisions. This paper presents an outline of the competition design and a commentated summary of the results.
Authors
- Geoff Sutcliffe (ORCID: https://orcid.org/0000-0001-9120-3927)
Institutions
- University of Miami (US)
Publication Details
- Journal
- The European Journal on Artificial Intelligence
- Published
- 2025-01-28
- DOI
- https://doi.org/10.1177/30504554241305110
- Primary Topic
- Logic, programming, and type systems
- Type
- article
- Field-Weighted Citation Impact
- 0.00