The 9th IJCAR Automated Theorem Proving System Competition CASC-J9

Geoff Sutcliffe

doi:10.3233/AIC-180773

The 9th IJCAR Automated Theorem Proving System Competition CASC-J9

Geoff Sutcliffe

Computer Science

Research output: Contribution to journal › Article › peer-review

14 Scopus citations

Abstract

The CADE ATP System Competition (CASC) is the annual evaluation of fully automatic, classical logic Automated Theorem Proving (ATP) systems. CASC-J9 was the twenty-third competition in the CASC series. Twenty-three ATP systems and system variants competed in the various competition divisions. This paper presents an outline of the competition design, and a commentated summary of the results.

Original language	English (US)
Pages (from-to)	495-507
Number of pages	13
Journal	AI Communications
Volume	31
Issue number	6
DOIs	https://doi.org/10.3233/AIC-180773
State	Published - 2018

Keywords

Automated theorem proving
competition

ASJC Scopus subject areas

Artificial Intelligence

Access to Document

10.3233/AIC-180773

Cite this

@article{6583f9d13dcc458081c98af0a7a18da1,

title = "The 9th IJCAR Automated Theorem Proving System Competition CASC-J9",

abstract = "The CADE ATP System Competition (CASC) is the annual evaluation of fully automatic, classical logic Automated Theorem Proving (ATP) systems. CASC-J9 was the twenty-third competition in the CASC series. Twenty-three ATP systems and system variants competed in the various competition divisions. This paper presents an outline of the competition design, and a commentated summary of the results.",

keywords = "Automated theorem proving, competition",

author = "Geoff Sutcliffe",

note = "Funding Information: Development of the CSE family has been partially supported by the National Natural Science Foundation of China (NSFC) (Grant No.61673320) and the Fundamental Research Funds for the Central Universities in China (Grant No.2682018ZT10). Publisher Copyright: {\textcopyright} 2018 AI Communications. All rights reserved.",

year = "2018",

doi = "10.3233/AIC-180773",

language = "English (US)",

volume = "31",

pages = "495--507",

journal = "AI Communications",

issn = "0921-7126",

publisher = "IOS Press",

number = "6",

}

TY - JOUR

T1 - The 9th IJCAR Automated Theorem Proving System Competition CASC-J9

AU - Sutcliffe, Geoff

N1 - Funding Information: Development of the CSE family has been partially supported by the National Natural Science Foundation of China (NSFC) (Grant No.61673320) and the Fundamental Research Funds for the Central Universities in China (Grant No.2682018ZT10). Publisher Copyright: © 2018 AI Communications. All rights reserved.

PY - 2018

Y1 - 2018

N2 - The CADE ATP System Competition (CASC) is the annual evaluation of fully automatic, classical logic Automated Theorem Proving (ATP) systems. CASC-J9 was the twenty-third competition in the CASC series. Twenty-three ATP systems and system variants competed in the various competition divisions. This paper presents an outline of the competition design, and a commentated summary of the results.

AB - The CADE ATP System Competition (CASC) is the annual evaluation of fully automatic, classical logic Automated Theorem Proving (ATP) systems. CASC-J9 was the twenty-third competition in the CASC series. Twenty-three ATP systems and system variants competed in the various competition divisions. This paper presents an outline of the competition design, and a commentated summary of the results.

KW - Automated theorem proving

KW - competition

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

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

U2 - 10.3233/AIC-180773

DO - 10.3233/AIC-180773

M3 - Article

AN - SCOPUS:85056790246

VL - 31

SP - 495

EP - 507

JO - AI Communications

JF - AI Communications

SN - 0921-7126

IS - 6

ER -

The 9th IJCAR Automated Theorem Proving System Competition CASC-J9

Abstract

Keywords

ASJC Scopus subject areas

Access to Document

Other files and links

Fingerprint

Cite this