Conclusions about the CADE-13 ATP System Competition

Francis Jeffry Pelletier; Geoff Sutcliffe; Christian Suttner

doi:10.1023/A:1005876506808

Conclusions about the CADE-13 ATP System Competition

Francis Jeffry Pelletier, Geoff Sutcliffe, Christian Suttner

Research output: Contribution to journal › Article

2 Scopus citations

Abstract

The CADE-13 ATP System Competition was the first large-scale controlled competition for first-order ATP systems. Many people have commented on various aspects of the competition, including some suggestions for future improvement. These comments, and some discussion of them, are contained in this article. An overview of the major issues that will affect future competitions is given.

Original language	English (US)
Pages (from-to)	287-296
Number of pages	10
Journal	Journal of Automated Reasoning
Volume	18
Issue number	2
DOIs	https://doi.org/10.1023/A:1005876506808
State	Published - Jan 1 1997
Externally published	Yes

Fingerprint

Keywords

Automated theorem proving
Competition
Conclusions

ASJC Scopus subject areas

Software
Computational Theory and Mathematics
Artificial Intelligence

Cite this

Pelletier, F. J., Sutcliffe, G., & Suttner, C. (1997). Conclusions about the CADE-13 ATP System Competition. Journal of Automated Reasoning, 18(2), 287-296. https://doi.org/10.1023/A:1005876506808

@article{3fa351f36d07490f86e9059a26b72ee0,

title = "Conclusions about the CADE-13 ATP System Competition",

abstract = "The CADE-13 ATP System Competition was the first large-scale controlled competition for first-order ATP systems. Many people have commented on various aspects of the competition, including some suggestions for future improvement. These comments, and some discussion of them, are contained in this article. An overview of the major issues that will affect future competitions is given.",

keywords = "Automated theorem proving, Competition, Conclusions",

author = "Pelletier, {Francis Jeffry} and Geoff Sutcliffe and Christian Suttner",

year = "1997",

month = jan,

day = "1",

doi = "10.1023/A:1005876506808",

language = "English (US)",

volume = "18",

pages = "287--296",

journal = "Journal of Automated Reasoning",

issn = "0168-7433",

publisher = "Springer Netherlands",

number = "2",

}

TY - JOUR

T1 - Conclusions about the CADE-13 ATP System Competition

AU - Pelletier, Francis Jeffry

AU - Sutcliffe, Geoff

AU - Suttner, Christian

PY - 1997/1/1

Y1 - 1997/1/1

N2 - The CADE-13 ATP System Competition was the first large-scale controlled competition for first-order ATP systems. Many people have commented on various aspects of the competition, including some suggestions for future improvement. These comments, and some discussion of them, are contained in this article. An overview of the major issues that will affect future competitions is given.

AB - The CADE-13 ATP System Competition was the first large-scale controlled competition for first-order ATP systems. Many people have commented on various aspects of the competition, including some suggestions for future improvement. These comments, and some discussion of them, are contained in this article. An overview of the major issues that will affect future competitions is given.

KW - Automated theorem proving

KW - Competition

KW - Conclusions

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

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

U2 - 10.1023/A:1005876506808

DO - 10.1023/A:1005876506808

M3 - Article

AN - SCOPUS:0031108965

VL - 18

SP - 287

EP - 296

JO - Journal of Automated Reasoning

JF - Journal of Automated Reasoning

SN - 0168-7433

IS - 2

ER -

Access to Document

10.1023/A:1005876506808