The CADE-14 ATP System Competition

Journal article

Peer reviewed

Christian Suttner and Geoff Sutcliffe

Journal of automated reasoning, Vol.21(1), pp.99-134

1998-08

Abstract

automated theorem proving

Artificial Intelligence (incl. Robotics)

competition

Logic

Symbolic and Algebraic Manipulation

Philosophy

Mathematical Logic and Foundations

This paper documents the design, competing systems, results, and conclusions of the CADE-14 ATP System Competition (CASC-14).

4 Record Views

These are selected metrics from InCites Benchmarking & Analytics tool, related to this output

Collaboration types: Domestic collaboration; International collaboration
Citation topics: 4 Electrical Engineering, Electronics & Computer Science; 4.47 Software Engineering; 4.47.281 Abstract Interpretation
Web Of Science research areas: Computer Science, Artificial Intelligence
ESI research areas: Computer Science

This output has contributed to the advancement of the following goals:

Source: InCites

Title: The CADE-14 ATP System Competition
Creators: Christian Suttner - Institut für Informatik TU München Munich Germany
Geoff Sutcliffe - Department of Computer Science James Cook University Townsville Australia
Publication Details: Journal of automated reasoning, Vol.21(1), pp.99-134
Publisher: Kluwer Academic Publishers
Academic Unit: Leadership Department; College of A&S; A&S - Computer Science
Language: English
Resource Type: Journal article
Record Identifier: 991031598620002976