Splitting and reduction heuristics in automatic theorem proving

Artificial Intelligence 2 (1):55-77 (1971)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1016/0004-3702(71)90004-x

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 93,891

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

The role of heuristics in automated theorem proving.Roberto Cordeschi - 1996 - Mathware and Soft Computing 3:281-293.
Automatic theorem proving in set theory.D. Pastre - 1978 - Artificial Intelligence 10 (1):1-27.
Renamable paramodulation for automatic theorem proving with equality.C. L. Chang - 1970 - Artificial Intelligence 1 (3-4):247-256.
An investigation into the goals of research in automatic theorem proving as related to mathematical reasoning.Frank Malloy Brown - 1980 - Artificial Intelligence 14 (3):221-242.
Refinements to depth-first iterative-deepening search in automatic theorem proving.Xumin Nie & David A. Plaisted - 1989 - Artificial Intelligence 41 (2):223-235.
MUSCADET: An automatic theorem proving system using knowledge and metaknowledge in mathematics.Dominique Pastre - 1989 - Artificial Intelligence 38 (3):257-318.
Logic for Programming, Artificial Intelligence, and Reasoning: 9th International Conference, LPAR 2002, Tbilisi, Georgia, October 14-18, 2002 Proceedings.Matthias Baaz & Andrei Voronkov - 2002 - Springer.
Symbolic logic and mechanical theorem proving.Chin-Liang Chang - 1973 - San Diego: Academic Press. Edited by Richard Char-Tung Lee.
Theorem proving with abstraction.David A. Plaisted - 1981 - Artificial Intelligence 16 (1):47-108.
Analytic resolution in theorem proving.D. Brand - 1976 - Artificial Intelligence 7 (4):285-318.

Analytics

Added to PP
2020-12-22

Downloads
8 (#1,334,194)

6 months
5 (#837,449)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Non-resolution theorem proving.W. W. Bledsoe - 1977 - Artificial Intelligence 9 (1):1-35.
Computer proofs of limit theorems.W. W. Bledsoe, R. S. Boyer & W. H. Henneman - 1972 - Artificial Intelligence 3 (C):27-60.
Towards the automation of set theory and its logic.Frank Malloy Brown - 1978 - Artificial Intelligence 10 (3):281-316.
A man-machine theorem-proving system.W. W. Bledsoe & Peter Bruell - 1974 - Artificial Intelligence 5 (1):51-72.

View all 10 citations / Add more citations

References found in this work

Resolution in type theory.Peter B. Andrews - 1971 - Journal of Symbolic Logic 36 (3):414-432.

Add more references