Extracting information from resolution proof trees

&
Artificial Intelligence 2 (1):27-54 (1971)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1016/0004-3702(71)90003-8

Links

PhilArchive



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

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

Review: Michael R. Genesereth, Nils J. Nilsson, Logical Foundations of Artificial Intelligence. [REVIEW]Joao P. Martins - 1990 - Journal of Symbolic Logic 55 (3):1304-1307.
Nils J. Nilsson. The Quest for Artificial Intelligence: A History of Ideas and Achievements. xv + 562 pp., index. Cambridge/New York: Cambridge University Press, 2010. $39.99. [REVIEW]Nathan Ensmenger - 2011 - Isis 102 (3):588-589.
Understanding Beliefs, by Nils J. Nilsson.John P. Sullins - 2016 - Teaching Philosophy 39 (1):103-106.
The resolution calculus, Alexander Leitsch.Hans de Nivelle - 1998 - Journal of Logic, Language and Information 7 (4):499-502.
Automatic ambiguity resolution in natural language, Alexander Franz.Christof Monz - 1999 - Journal of Logic, Language and Information 8 (1):111-114.
Basic proof theory, A.S. Troelstra and H. Schwichtenberg.Harold Schellinx - 1998 - Journal of Logic, Language and Information 7 (2):221-223.
Extracting the resolution algorithm from a completeness proof for the propositional calculus.Robert Constable & Wojciech Moczydłowski - 2010 - Annals of Pure and Applied Logic 161 (3):337-348.
Artificial intelligence and artificial consciousness.Keith A. Chandler - unknown
Introduction: On proof. [REVIEW]Antonio A. Martino - 2001 - Artificial Intelligence and Law 9 (2-3):95-98.
Artificial intelligence—A personal view.David Marr - 1977 - Artificial Intelligence 9 (September):37-48.

Analytics

Added to PP
2020-12-22

Downloads
5 (#1,562,871)

6 months
4 (#862,833)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

A logic for default reasoning.Ray Reiter - 1980 - Artificial Intelligence 13 (1-2):81-137.
Artificial intelligence: A modern approach.Nils J. Nilsson - 1996 - Artificial Intelligence 82 (1-2):369-380.
Using logical relevance for question answering.Marco De Boni - 2007 - Journal of Applied Logic 5 (1):92-103.

View all 8 citations / Add more citations

References found in this work

No references found.

Add more references