The 6th IJCAR automated theorem proving system competition-CASC-J6

Geoff Sutcliffe

doi:10.3233/AIC-130550

The 6th IJCAR automated theorem proving system competition-CASC-J6

Geoff Sutcliffe

Computer Science

Research output: Contribution to journal › Article

18 Scopus citations

Abstract

The CADE ATP System Competition (CASC) is an annual evaluation of fully automatic, classical logic Automated Theorem Proving (ATP) systems. CASC-J6 was the seventeenth competition in the CASC series. Thirty-two 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 language	English (US)
Pages (from-to)	211-223
Number of pages	13
Journal	AI Communications
Volume	26
Issue number	2
DOIs	https://doi.org/10.3233/AIC-130550
State	Published - Jul 22 2013

Keywords

Automated theorem proving
competition

ASJC Scopus subject areas

Artificial Intelligence

Access to Document

10.3233/AIC-130550

Fingerprint Dive into the research topics of 'The 6th IJCAR automated theorem proving system competition-CASC-J6'. Together they form a unique fingerprint.

Cite this

Sutcliffe, G. (2013). The 6th IJCAR automated theorem proving system competition-CASC-J6. AI Communications, 26(2), 211-223. https://doi.org/10.3233/AIC-130550

@article{5256849036f54936b94577ca9c9c0d9b,

title = "The 6th IJCAR automated theorem proving system competition-CASC-J6",

abstract = "The CADE ATP System Competition (CASC) is an annual evaluation of fully automatic, classical logic Automated Theorem Proving (ATP) systems. CASC-J6 was the seventeenth competition in the CASC series. Thirty-two 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 = "Geoff Sutcliffe",

year = "2013",

month = jul,

day = "22",

doi = "10.3233/AIC-130550",

language = "English (US)",

volume = "26",

pages = "211--223",

journal = "AI Communications",

issn = "0921-7126",

publisher = "IOS Press",

number = "2",

}

TY - JOUR

T1 - The 6th IJCAR automated theorem proving system competition-CASC-J6

AU - Sutcliffe, Geoff

PY - 2013/7/22

Y1 - 2013/7/22

N2 - The CADE ATP System Competition (CASC) is an annual evaluation of fully automatic, classical logic Automated Theorem Proving (ATP) systems. CASC-J6 was the seventeenth competition in the CASC series. Thirty-two 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-J6 was the seventeenth competition in the CASC series. Thirty-two 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=84880234469&partnerID=8YFLogxK

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

U2 - 10.3233/AIC-130550

DO - 10.3233/AIC-130550

M3 - Article

AN - SCOPUS:84880234469

VL - 26

SP - 211

EP - 223

JO - AI Communications

JF - AI Communications

SN - 0921-7126

IS - 2

ER -