Sign in
Back
Conclusions about the CADE-13 ATP System Competition
Journal article   Peer reviewed

Conclusions about the CADE-13 ATP System Competition

Francis Pelletier, Geoff Sutcliffe and Christian Suttner
Journal of automated reasoning, Vol.18(2), pp.287-296
1997-04
DOI: https://doi.org/10.1023/A:1005876506808

Abstract

automated theorem proving conclusions Artificial Intelligence (incl. Robotics) competition Logic Symbolic and Algebraic Manipulation Philosophy Mathematical Logic and Foundations
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.

Metrics

4 Record Views
2 Times Cited - Web of Science

InCites Highlights

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

UN Sustainable Development Goals (SDGs)

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

undefined

Source: InCites

Details