Refutational theorem proving using term-rewriting systems

Artificial Intelligence 25 (3):255-300 (1985)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1016/0004-3702(85)90074-8

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 101,597

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

Evaluating general purpose automated theorem proving systems.Geoff Sutcliffe & Christian Suttner - 2001 - Artificial Intelligence 131 (1-2):39-54.
Plane geometry theorem proving using forward chaining.Arthur J. Nevins - 1975 - Artificial Intelligence 6 (1):1-23.
MUSCADET: An automatic theorem proving system using knowledge and metaknowledge in mathematics.Dominique Pastre - 1989 - Artificial Intelligence 38 (3):257-318.
Theorem proving with abstraction.David A. Plaisted - 1981 - Artificial Intelligence 16 (1):47-108.
Non-resolution theorem proving.W. W. Bledsoe - 1977 - Artificial Intelligence 9 (1):1-35.
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.
Artificial Intelligence and Symbolic Computation: International Conference AISC'98, Plattsburgh, New York, USA, September 16-18, 1998, Proceedings.Jacques Calmet - 1998 - Boom Koninklijke Uitgevers.
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.

Analytics

Added to PP
2020-12-22

Downloads
11 (#1,423,075)

6 months
4 (#1,258,347)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

CWA Extensions to Multi-Valued Logics.Jinzhao Wu - 2003 - Journal of Applied Non-Classical Logics 13 (2):133-164.

View all 6 citations / Add more citations

References found in this work

Non-resolution theorem proving.W. W. Bledsoe - 1977 - Artificial Intelligence 9 (1):1-35.
A simplified problem reduction format.David A. Plaisted - 1982 - Artificial Intelligence 18 (2):227-261.

Add more references