Non-resolution theorem proving

Artificial Intelligence 9 (1):1-35 (1977)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1016/0004-3702(77)90012-1

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 100,793

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

Analytic resolution in theorem proving.D. Brand - 1976 - Artificial Intelligence 7 (4):285-318.
Completely non-clausal theorem proving.Neil V. Murray - 1982 - Artificial Intelligence 18 (1):67-85.
The A Priori Meaningfulness Measure and Resolution Theorem Proving.Joseph S. Fulda & Kevin De Fontes - 1989 - Journal of Experimental and Theoretical Artificial Intelligence 1 (3):227-230.
Theorem proving with abstraction.David A. Plaisted - 1981 - Artificial Intelligence 16 (1):47-108.
Automatic theorem proving in set theory.D. Pastre - 1978 - Artificial Intelligence 10 (1):1-27.
A man-machine theorem-proving system.W. W. Bledsoe & Peter Bruell - 1974 - Artificial Intelligence 5 (1):51-72.
Symbolic logic and mechanical theorem proving.Robert B. Anderson - 1973 - Artificial Intelligence 4 (3-4):245-246.
Splitting and reduction heuristics in automatic theorem proving.W. W. Bledsoe - 1971 - Artificial Intelligence 2 (1):55-77.
Man-machine theorem proving in graph theory.Dragoš Cvetković & Irena Pevac - 1988 - Artificial Intelligence 35 (1):1-23.
Renamable paramodulation for automatic theorem proving with equality.C. L. Chang - 1970 - Artificial Intelligence 1 (3-4):247-256.

Analytics

Added to PP
2020-12-22

Downloads
26 (#835,533)

6 months
9 (#433,641)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Methodologies for studying human knowledge.John R. Anderson - 1987 - Behavioral and Brain Sciences 10 (3):467-477.
Theorem proving with abstraction.David A. Plaisted - 1981 - Artificial Intelligence 16 (1):47-108.
Refutational theorem proving using term-rewriting systems.Jieh Hsiang - 1985 - Artificial Intelligence 25 (3):255-300.
Knowledge-based proof planning.Erica Melis & Jörg Siekmann - 1999 - Artificial Intelligence 115 (1):65-105.

View all 41 citations / Add more citations

References found in this work

An improved proof procedure.Dag Prawitz - 1960 - Theoria 26 (2):102-139.
A paradigm for reasoning by analogy.Robert E. Kling - 1971 - Artificial Intelligence 2 (2):147-178.
Computer proofs of limit theorems.W. W. Bledsoe, R. S. Boyer & W. H. Henneman - 1972 - Artificial Intelligence 3 (C):27-60.

View all 13 references / Add more references