The 4th IJCAR automated theorem proving system competition - CASC-J4

Research output: Contribution to journalArticle

21 Citations (Scopus)

Abstract

The CADE ATP System Competition (CASC) is an annual evaluation of fully automatic, first order Automated Theorem Proving (ATP) systems. CASC-J4 was the thirteenth competition in the CASC series. Twenty-six 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)59-72
Number of pages14
JournalAI Communications
Volume22
Issue number1
DOIs
StatePublished - 2009

Fingerprint

Theorem proving
Adenosinetriphosphate
Demonstrations

Keywords

  • Automated theorem proving
  • Competition

ASJC Scopus subject areas

  • Artificial Intelligence

Cite this

The 4th IJCAR automated theorem proving system competition - CASC-J4. / Sutcliffe, Geoffrey.

In: AI Communications, Vol. 22, No. 1, 2009, p. 59-72.

Research output: Contribution to journalArticle

@article{31599a9337544a51b57eefa40d0ec6d2,
title = "The 4th IJCAR automated theorem proving system competition - CASC-J4",
abstract = "The CADE ATP System Competition (CASC) is an annual evaluation of fully automatic, first order Automated Theorem Proving (ATP) systems. CASC-J4 was the thirteenth competition in the CASC series. Twenty-six 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 = "2009",
doi = "10.3233/AIC-2009-0441",
language = "English (US)",
volume = "22",
pages = "59--72",
journal = "AI Communications",
issn = "0921-7126",
publisher = "IOS Press",
number = "1",

}

TY - JOUR

T1 - The 4th IJCAR automated theorem proving system competition - CASC-J4

AU - Sutcliffe, Geoffrey

PY - 2009

Y1 - 2009

N2 - The CADE ATP System Competition (CASC) is an annual evaluation of fully automatic, first order Automated Theorem Proving (ATP) systems. CASC-J4 was the thirteenth competition in the CASC series. Twenty-six 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, first order Automated Theorem Proving (ATP) systems. CASC-J4 was the thirteenth competition in the CASC series. Twenty-six 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=63849210284&partnerID=8YFLogxK

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

U2 - 10.3233/AIC-2009-0441

DO - 10.3233/AIC-2009-0441

M3 - Article

AN - SCOPUS:63849210284

VL - 22

SP - 59

EP - 72

JO - AI Communications

JF - AI Communications

SN - 0921-7126

IS - 1

ER -