The 8th IJCAR automated theorem proving system competition - CASC-J8

Research output: Contribution to journalArticle

10 Citations (Scopus)

Abstract

The CADE ATP System Competition (CASC) is the annual evaluation of fully automatic, classical logic Automated Theorem Proving (ATP) systems. CASC-J8 was the twenty-first competition in the CASC series. Twenty-one 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 languageEnglish (US)
Pages (from-to)607-619
Number of pages13
JournalAI Communications
Volume29
Issue number5
DOIs
StatePublished - 2016

Fingerprint

Theorem proving
Adenosinetriphosphate

Keywords

  • Automated theorem proving
  • competition

ASJC Scopus subject areas

  • Artificial Intelligence

Cite this

The 8th IJCAR automated theorem proving system competition - CASC-J8. / Sutcliffe, Geoffrey.

In: AI Communications, Vol. 29, No. 5, 2016, p. 607-619.

Research output: Contribution to journalArticle

@article{7a96edc366db4579b32ce682d2aab785,
title = "The 8th IJCAR automated theorem proving system competition - CASC-J8",
abstract = "The CADE ATP System Competition (CASC) is the annual evaluation of fully automatic, classical logic Automated Theorem Proving (ATP) systems. CASC-J8 was the twenty-first competition in the CASC series. Twenty-one 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",
year = "2016",
doi = "10.3233/AIC-160709",
language = "English (US)",
volume = "29",
pages = "607--619",
journal = "AI Communications",
issn = "0921-7126",
publisher = "IOS Press",
number = "5",

}

TY - JOUR

T1 - The 8th IJCAR automated theorem proving system competition - CASC-J8

AU - Sutcliffe, Geoffrey

PY - 2016

Y1 - 2016

N2 - The CADE ATP System Competition (CASC) is the annual evaluation of fully automatic, classical logic Automated Theorem Proving (ATP) systems. CASC-J8 was the twenty-first competition in the CASC series. Twenty-one 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 the annual evaluation of fully automatic, classical logic Automated Theorem Proving (ATP) systems. CASC-J8 was the twenty-first competition in the CASC series. Twenty-one 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=84997501241&partnerID=8YFLogxK

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

U2 - 10.3233/AIC-160709

DO - 10.3233/AIC-160709

M3 - Article

VL - 29

SP - 607

EP - 619

JO - AI Communications

JF - AI Communications

SN - 0921-7126

IS - 5

ER -