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

Geoffrey Sutcliffe

doi:10.3233/AIC-180773

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

Geoffrey Sutcliffe

Computer Science

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

12 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 - Jan 1 2018

Keywords

Automated theorem proving
competition

ASJC Scopus subject areas

Artificial Intelligence

Access to Document

10.3233/AIC-180773

Fingerprint Dive into the research topics of 'The 9th IJCAR Automated Theorem Proving System Competition CASC-J9'. Together they form a unique fingerprint.

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 = "Geoffrey Sutcliffe",

year = "2018",

month = jan,

day = "1",

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, Geoffrey

PY - 2018/1/1

Y1 - 2018/1/1

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

Cite this