Abstract
Running a competition for Automated Theorem Proving (ATP) systems is a difficult and arguable venture. However, the potential benefits of such an event by far outweigh the controversial aspects. The motivations for running the CADE-13 ATP system competition are to contribute to the evaluation of ATP systems, to stimulate ATP research and system development, and to expose ATP systems to interested researchers both within and outside the ATP community. This paper identifies and discusses the issues that determine the nature of the competition. Choices and motivated decisions, with respect to the issues, are given.
| Original language | English (US) |
|---|---|
| Title of host publication | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) |
| Publisher | Springer Verlag |
| Pages | 146-160 |
| Number of pages | 15 |
| Volume | 1104 |
| ISBN (Print) | 3540615113, 9783540615118 |
| DOIs | |
| State | Published - 1996 |
| Externally published | Yes |
| Event | 13th International Conference on Automated Deduction, CADE 1996 - New Brunswick, United States Duration: Jul 30 1996 → Aug 3 1996 |
Publication series
| Name | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) |
|---|---|
| Volume | 1104 |
| ISSN (Print) | 03029743 |
| ISSN (Electronic) | 16113349 |
Other
| Other | 13th International Conference on Automated Deduction, CADE 1996 |
|---|---|
| Country | United States |
| City | New Brunswick |
| Period | 7/30/96 → 8/3/96 |
Fingerprint
ASJC Scopus subject areas
- Computer Science(all)
- Theoretical Computer Science
Cite this
The design of the CADE-13 ATP system competition. / Suttner, Christian B.; Sutcliffe, Geoffrey.
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 1104 Springer Verlag, 1996. p. 146-160 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 1104).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
}
TY - GEN
T1 - The design of the CADE-13 ATP system competition
AU - Suttner, Christian B.
AU - Sutcliffe, Geoffrey
PY - 1996
Y1 - 1996
N2 - Running a competition for Automated Theorem Proving (ATP) systems is a difficult and arguable venture. However, the potential benefits of such an event by far outweigh the controversial aspects. The motivations for running the CADE-13 ATP system competition are to contribute to the evaluation of ATP systems, to stimulate ATP research and system development, and to expose ATP systems to interested researchers both within and outside the ATP community. This paper identifies and discusses the issues that determine the nature of the competition. Choices and motivated decisions, with respect to the issues, are given.
AB - Running a competition for Automated Theorem Proving (ATP) systems is a difficult and arguable venture. However, the potential benefits of such an event by far outweigh the controversial aspects. The motivations for running the CADE-13 ATP system competition are to contribute to the evaluation of ATP systems, to stimulate ATP research and system development, and to expose ATP systems to interested researchers both within and outside the ATP community. This paper identifies and discusses the issues that determine the nature of the competition. Choices and motivated decisions, with respect to the issues, are given.
UR - http://www.scopus.com/inward/record.url?scp=0013212232&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=0013212232&partnerID=8YFLogxK
U2 - 10.1007/3-540-61511-3_76
DO - 10.1007/3-540-61511-3_76
M3 - Conference contribution
AN - SCOPUS:0013212232
SN - 3540615113
SN - 9783540615118
VL - 1104
T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
SP - 146
EP - 160
BT - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
PB - Springer Verlag
ER -