The CADE-23 automated theorem proving system competition - CASC-23

Research output: Contribution to journalArticle

13 Citations (Scopus)

Abstract

The CADE ATP System Competition (CASC) is an annual evaluation of fully automatic, classical logic Automated Theorem Proving (ATP) systems. CASC-23 was the sixteenth competition in the CASC series. Thirty-six ATP systems and system variants competed in the various competition and demonstration divisions. An outline of the competition design, and a commentated summary of the results, are presented.

Original languageEnglish (US)
Pages (from-to)49-63
Number of pages15
JournalAI Communications
Volume25
Issue number1
DOIs
StatePublished - 2012

Fingerprint

Theorem proving
Adenosinetriphosphate
Demonstrations

Keywords

  • Automated theorem proving
  • competition

ASJC Scopus subject areas

  • Artificial Intelligence

Cite this

The CADE-23 automated theorem proving system competition - CASC-23. / Sutcliffe, Geoffrey.

In: AI Communications, Vol. 25, No. 1, 2012, p. 49-63.

Research output: Contribution to journalArticle

@article{00833a5f67b54b11810a8786a81ad504,
title = "The CADE-23 automated theorem proving system competition - CASC-23",
abstract = "The CADE ATP System Competition (CASC) is an annual evaluation of fully automatic, classical logic Automated Theorem Proving (ATP) systems. CASC-23 was the sixteenth competition in the CASC series. Thirty-six ATP systems and system variants competed in the various competition and demonstration divisions. An outline of the competition design, and a commentated summary of the results, are presented.",
keywords = "Automated theorem proving, competition",
author = "Geoffrey Sutcliffe",
year = "2012",
doi = "10.3233/AIC-2012-0512",
language = "English (US)",
volume = "25",
pages = "49--63",
journal = "AI Communications",
issn = "0921-7126",
publisher = "IOS Press",
number = "1",

}

TY - JOUR

T1 - The CADE-23 automated theorem proving system competition - CASC-23

AU - Sutcliffe, Geoffrey

PY - 2012

Y1 - 2012

N2 - The CADE ATP System Competition (CASC) is an annual evaluation of fully automatic, classical logic Automated Theorem Proving (ATP) systems. CASC-23 was the sixteenth competition in the CASC series. Thirty-six ATP systems and system variants competed in the various competition and demonstration divisions. An outline of the competition design, and a commentated summary of the results, are presented.

AB - The CADE ATP System Competition (CASC) is an annual evaluation of fully automatic, classical logic Automated Theorem Proving (ATP) systems. CASC-23 was the sixteenth competition in the CASC series. Thirty-six ATP systems and system variants competed in the various competition and demonstration divisions. An outline of the competition design, and a commentated summary of the results, are presented.

KW - Automated theorem proving

KW - competition

UR - http://www.scopus.com/inward/record.url?scp=84858167689&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=84858167689&partnerID=8YFLogxK

U2 - 10.3233/AIC-2012-0512

DO - 10.3233/AIC-2012-0512

M3 - Article

AN - SCOPUS:84858167689

VL - 25

SP - 49

EP - 63

JO - AI Communications

JF - AI Communications

SN - 0921-7126

IS - 1

ER -