The CADE ATP system competition

Geoffrey Sutcliffe, Christian Suttner

Research output: Chapter in Book/Report/Conference proceedingConference contribution

3 Citations (Scopus)

Abstract

Several objectives of the CADE ATP System Competition (CASC) are discussed. The CASC is an evaluation of fully automatic, first-order Automated Theorem Proving (ATP) systems. In addition to the primary aim of evaluating the relative capabilities of ATP system, CASC aims to stimulate ATP research in general and to stimulate ATP research towards autonomous systems. It also provide an inspiring environment for personal interaction between ATP researchers and to expose ATP systems both within and beyond the ATP community.

Original languageEnglish (US)
Title of host publicationLecture Notes in Artificial Intelligence (Subseries of Lecture Notes in Computer Science)
EditorsD. Basin
Pages490-491
Number of pages2
Volume3097
StatePublished - 2004
EventSecond International Joint Conference, IJCAR 2004 - Cork, Ireland
Duration: Jul 4 2004Jul 8 2004

Other

OtherSecond International Joint Conference, IJCAR 2004
CountryIreland
CityCork
Period7/4/047/8/04

Fingerprint

Theorem proving
Adenosinetriphosphate

ASJC Scopus subject areas

  • Hardware and Architecture

Cite this

Sutcliffe, G., & Suttner, C. (2004). The CADE ATP system competition. In D. Basin (Ed.), Lecture Notes in Artificial Intelligence (Subseries of Lecture Notes in Computer Science) (Vol. 3097, pp. 490-491)

The CADE ATP system competition. / Sutcliffe, Geoffrey; Suttner, Christian.

Lecture Notes in Artificial Intelligence (Subseries of Lecture Notes in Computer Science). ed. / D. Basin. Vol. 3097 2004. p. 490-491.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Sutcliffe, G & Suttner, C 2004, The CADE ATP system competition. in D Basin (ed.), Lecture Notes in Artificial Intelligence (Subseries of Lecture Notes in Computer Science). vol. 3097, pp. 490-491, Second International Joint Conference, IJCAR 2004, Cork, Ireland, 7/4/04.
Sutcliffe G, Suttner C. The CADE ATP system competition. In Basin D, editor, Lecture Notes in Artificial Intelligence (Subseries of Lecture Notes in Computer Science). Vol. 3097. 2004. p. 490-491
Sutcliffe, Geoffrey ; Suttner, Christian. / The CADE ATP system competition. Lecture Notes in Artificial Intelligence (Subseries of Lecture Notes in Computer Science). editor / D. Basin. Vol. 3097 2004. pp. 490-491
@inproceedings{ab52f1fe3bcd46a6b46874a3d51e6c00,
title = "The CADE ATP system competition",
abstract = "Several objectives of the CADE ATP System Competition (CASC) are discussed. The CASC is an evaluation of fully automatic, first-order Automated Theorem Proving (ATP) systems. In addition to the primary aim of evaluating the relative capabilities of ATP system, CASC aims to stimulate ATP research in general and to stimulate ATP research towards autonomous systems. It also provide an inspiring environment for personal interaction between ATP researchers and to expose ATP systems both within and beyond the ATP community.",
author = "Geoffrey Sutcliffe and Christian Suttner",
year = "2004",
language = "English (US)",
volume = "3097",
pages = "490--491",
editor = "D. Basin",
booktitle = "Lecture Notes in Artificial Intelligence (Subseries of Lecture Notes in Computer Science)",

}

TY - GEN

T1 - The CADE ATP system competition

AU - Sutcliffe, Geoffrey

AU - Suttner, Christian

PY - 2004

Y1 - 2004

N2 - Several objectives of the CADE ATP System Competition (CASC) are discussed. The CASC is an evaluation of fully automatic, first-order Automated Theorem Proving (ATP) systems. In addition to the primary aim of evaluating the relative capabilities of ATP system, CASC aims to stimulate ATP research in general and to stimulate ATP research towards autonomous systems. It also provide an inspiring environment for personal interaction between ATP researchers and to expose ATP systems both within and beyond the ATP community.

AB - Several objectives of the CADE ATP System Competition (CASC) are discussed. The CASC is an evaluation of fully automatic, first-order Automated Theorem Proving (ATP) systems. In addition to the primary aim of evaluating the relative capabilities of ATP system, CASC aims to stimulate ATP research in general and to stimulate ATP research towards autonomous systems. It also provide an inspiring environment for personal interaction between ATP researchers and to expose ATP systems both within and beyond the ATP community.

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

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

M3 - Conference contribution

VL - 3097

SP - 490

EP - 491

BT - Lecture Notes in Artificial Intelligence (Subseries of Lecture Notes in Computer Science)

A2 - Basin, D.

ER -