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

Geoffrey Sutcliffe; Josef Urban

doi:10.3233/AIC-150691

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

Geoffrey Sutcliffe, Josef Urban

Computer Science

Research output: Contribution to journal › Article

3 Scopus citations

Abstract

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

Original language	English (US)
Pages (from-to)	423-433
Number of pages	11
Journal	AI Communications
Volume	29
Issue number	3
DOIs	https://doi.org/10.3233/AIC-150691
State	Published - Apr 26 2016

Keywords

Automated theorem proving
Competition

ASJC Scopus subject areas

Artificial Intelligence

Access to Document

10.3233/AIC-150691

Fingerprint Dive into the research topics of 'The CADE-25 automated theorem proving system competition-CASC-25'. Together they form a unique fingerprint.

Cite this

Sutcliffe, G., & Urban, J. (2016). The CADE-25 automated theorem proving system competition-CASC-25. AI Communications, 29(3), 423-433. https://doi.org/10.3233/AIC-150691

@article{0f3b4f1387524323bfe2c7179e442122,

title = "The CADE-25 automated theorem proving system competition-CASC-25",

abstract = "The CADE ATP System Competition (CASC) is an annual evaluation of fully automatic, classical logic Automated Theorem Proving (ATP) systems. CASC-25 was the twentieth competition in the CASC series. Twenty-seven ATP systems and system variants competed in the various competition divisions. An outline of the competition design, and a commentated summary of the results, are presented.",

keywords = "Automated theorem proving, Competition",

author = "Geoffrey Sutcliffe and Josef Urban",

year = "2016",

month = apr,

day = "26",

doi = "10.3233/AIC-150691",

language = "English (US)",

volume = "29",

pages = "423--433",

journal = "AI Communications",

issn = "0921-7126",

publisher = "IOS Press",

number = "3",

}

TY - JOUR

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

AU - Sutcliffe, Geoffrey

AU - Urban, Josef

PY - 2016/4/26

Y1 - 2016/4/26

N2 - The CADE ATP System Competition (CASC) is an annual evaluation of fully automatic, classical logic Automated Theorem Proving (ATP) systems. CASC-25 was the twentieth competition in the CASC series. Twenty-seven ATP systems and system variants competed in the various competition 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-25 was the twentieth competition in the CASC series. Twenty-seven ATP systems and system variants competed in the various competition 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=84969834709&partnerID=8YFLogxK

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

U2 - 10.3233/AIC-150691

DO - 10.3233/AIC-150691

M3 - Article

AN - SCOPUS:84969834709

VL - 29

SP - 423

EP - 433

JO - AI Communications

JF - AI Communications

SN - 0921-7126

IS - 3

ER -