The development of CASC

Francis Jeffry Pelletier, Geoffrey Sutcliffe, Christian Suttner

Research output: Contribution to journalArticle

36 Citations (Scopus)

Abstract

Researchers who make theoretical advances also need some way to demonstrate that an advance really does have general, overall positive consequences for system performance. For this it is necessary to evaluate the system on a set of problems that is sufficiently large and diverse to be somehow representative of the intended application area as a whole. It is only a small step from system evaluation to a communal system competition. The CADE ATP System Competition (CASC) has been run annually since 1996. Any competition is difficult to design and organize in the first instance, and to then run over the years. In order to obtain the full benefits of a competition, a thoroughly organized event, with an unambiguous and motivated design, is necessary. For some issues relevant to the CASC design, inevitable constraints have emerged. For other issues there have been several choices, and decisions have had to be made. This paper describes the evolution of CASC, paying particular attention to its design, design changes, and organization.

Original languageEnglish (US)
Pages (from-to)79-90
Number of pages12
JournalAI Communications
Volume15
Issue number2
StatePublished - 2002

Fingerprint

Adenosinetriphosphate

Keywords

  • Automated theorem proving
  • Competition
  • History

ASJC Scopus subject areas

  • Control and Systems Engineering
  • Artificial Intelligence

Cite this

Pelletier, F. J., Sutcliffe, G., & Suttner, C. (2002). The development of CASC. AI Communications, 15(2), 79-90.

The development of CASC. / Pelletier, Francis Jeffry; Sutcliffe, Geoffrey; Suttner, Christian.

In: AI Communications, Vol. 15, No. 2, 2002, p. 79-90.

Research output: Contribution to journalArticle

Pelletier, FJ, Sutcliffe, G & Suttner, C 2002, 'The development of CASC', AI Communications, vol. 15, no. 2, pp. 79-90.
Pelletier FJ, Sutcliffe G, Suttner C. The development of CASC. AI Communications. 2002;15(2):79-90.
Pelletier, Francis Jeffry ; Sutcliffe, Geoffrey ; Suttner, Christian. / The development of CASC. In: AI Communications. 2002 ; Vol. 15, No. 2. pp. 79-90.
@article{4d019a1f193e49cca55fee30a07d8b0a,
title = "The development of CASC",
abstract = "Researchers who make theoretical advances also need some way to demonstrate that an advance really does have general, overall positive consequences for system performance. For this it is necessary to evaluate the system on a set of problems that is sufficiently large and diverse to be somehow representative of the intended application area as a whole. It is only a small step from system evaluation to a communal system competition. The CADE ATP System Competition (CASC) has been run annually since 1996. Any competition is difficult to design and organize in the first instance, and to then run over the years. In order to obtain the full benefits of a competition, a thoroughly organized event, with an unambiguous and motivated design, is necessary. For some issues relevant to the CASC design, inevitable constraints have emerged. For other issues there have been several choices, and decisions have had to be made. This paper describes the evolution of CASC, paying particular attention to its design, design changes, and organization.",
keywords = "Automated theorem proving, Competition, History",
author = "Pelletier, {Francis Jeffry} and Geoffrey Sutcliffe and Christian Suttner",
year = "2002",
language = "English (US)",
volume = "15",
pages = "79--90",
journal = "AI Communications",
issn = "0921-7126",
publisher = "IOS Press",
number = "2",

}

TY - JOUR

T1 - The development of CASC

AU - Pelletier, Francis Jeffry

AU - Sutcliffe, Geoffrey

AU - Suttner, Christian

PY - 2002

Y1 - 2002

N2 - Researchers who make theoretical advances also need some way to demonstrate that an advance really does have general, overall positive consequences for system performance. For this it is necessary to evaluate the system on a set of problems that is sufficiently large and diverse to be somehow representative of the intended application area as a whole. It is only a small step from system evaluation to a communal system competition. The CADE ATP System Competition (CASC) has been run annually since 1996. Any competition is difficult to design and organize in the first instance, and to then run over the years. In order to obtain the full benefits of a competition, a thoroughly organized event, with an unambiguous and motivated design, is necessary. For some issues relevant to the CASC design, inevitable constraints have emerged. For other issues there have been several choices, and decisions have had to be made. This paper describes the evolution of CASC, paying particular attention to its design, design changes, and organization.

AB - Researchers who make theoretical advances also need some way to demonstrate that an advance really does have general, overall positive consequences for system performance. For this it is necessary to evaluate the system on a set of problems that is sufficiently large and diverse to be somehow representative of the intended application area as a whole. It is only a small step from system evaluation to a communal system competition. The CADE ATP System Competition (CASC) has been run annually since 1996. Any competition is difficult to design and organize in the first instance, and to then run over the years. In order to obtain the full benefits of a competition, a thoroughly organized event, with an unambiguous and motivated design, is necessary. For some issues relevant to the CASC design, inevitable constraints have emerged. For other issues there have been several choices, and decisions have had to be made. This paper describes the evolution of CASC, paying particular attention to its design, design changes, and organization.

KW - Automated theorem proving

KW - Competition

KW - History

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

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

M3 - Article

AN - SCOPUS:0036322543

VL - 15

SP - 79

EP - 90

JO - AI Communications

JF - AI Communications

SN - 0921-7126

IS - 2

ER -