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

Geoffrey Sutcliffe

Research output: Contribution to journal › Article

18 Citations (Scopus)

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 languageEnglish (US)
Pages (from-to)211-223
Number of pages13
JournalAI Communications
Volume26
Issue number2
DOIs
StatePublished - 2013

Fingerprint

Theorem proving
Adenosinetriphosphate
Demonstrations

Keywords

  • Automated theorem proving
  • competition

ASJC Scopus subject areas

  • Artificial Intelligence

Cite this

The 6th IJCAR automated theorem proving system competition-CASC-J6. / Sutcliffe, Geoffrey.

In: AI Communications, Vol. 26, No. 2, 2013, p. 211-223.

Research output: Contribution to journal › Article

Sutcliffe, G 2013, 'The 6th IJCAR automated theorem proving system competition-CASC-J6', AI Communications, vol. 26, no. 2, pp. 211-223. https://doi.org/10.3233/AIC-130550
Sutcliffe G. The 6th IJCAR automated theorem proving system competition-CASC-J6. AI Communications. 2013;26(2):211-223. https://doi.org/10.3233/AIC-130550
Sutcliffe, Geoffrey. / The 6th IJCAR automated theorem proving system competition-CASC-J6. In: AI Communications. 2013 ; Vol. 26, No. 2. pp. 211-223.
@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 = "Geoffrey Sutcliffe",
year = "2013",
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, Geoffrey

PY - 2013

Y1 - 2013

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 -

Access to Document