Non-resolution theorem proving

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

Abstract

This article has no associated abstract. (fix it)

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 92,931

External links

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

Through your library

Similar books and articles

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.
Symbolic logic and mechanical theorem proving.Chin-Liang Chang - 1973 - San Diego: Academic Press. Edited by Richard Char-Tung Lee.
Analytic resolution in theorem proving.D. Brand - 1976 - Artificial Intelligence 7 (4):285-318.
The Complexity of Resolution Refinements.Joshua Buresh-Oppenheim & Toniann Pitassi - 2007 - Journal of Symbolic Logic 72 (4):1336 - 1352.

Analytics

Added to PP
2020-12-22

Downloads
16 (#933,170)

6 months
9 (#356,042)

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