The CADE ATP System Competition (CASC) is an annual competition of fully
automated theorem provers for
classical logic
Classical logic (or standard logic) or Frege–Russell logic is the intensively studied and most widely used class of deductive logic. Classical logic has had much influence on analytic philosophy.
Characteristics
Each logical system in this c ...
Competition
CASC is associated with the
Conference on Automated Deduction and the
International Joint Conference on Automated Reasoning organized by the
Association for Automated Reasoning. It has inspired similar competition in related fields, in particular the successful SMT-COMP competition for
satisfiability modulo theories
In computer science and mathematical logic, satisfiability modulo theories (SMT) is the problem of determining whether a mathematical formula is satisfiable. It generalizes the Boolean satisfiability problem (SAT) to more complex formulas involv ...
, the SAT Competition for
propositional reasoners, and the
modal logic
Modal logic is a kind of logic used to represent statements about Modality (natural language), necessity and possibility. In philosophy and related fields
it is used as a tool for understanding concepts such as knowledge, obligation, and causality ...
reasoning competition.
The first CASC, CASC-13, was held as part of the 13th Conference on Automated Deduction at
Rutgers University
Rutgers University ( ), officially Rutgers, The State University of New Jersey, is a Public university, public land-grant research university consisting of three campuses in New Jersey. Chartered in 1766, Rutgers was originally called Queen's C ...
, New Brunswick, NJ, in 1996.
Among the systems competing were
Otter
Otters are carnivorous mammals in the subfamily Lutrinae. The 13 extant otter species are all semiaquatic, aquatic, or marine. Lutrinae is a branch of the Mustelidae family, which includes weasels, badgers, mink, and wolverines, among ...
and
SETHEO.
See also
*
List of computer science awards
This list of computer science awards is an index to articles on notable awards related to computer science. It includes lists of awards by the Association for Computing Machinery, the Institute of Electrical and Electronics Engineers, other comput ...
References
{{Reflist
External links
Archive of original CASC websiteCASC Website
Artificial intelligence competitions
Computer science competitions