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

Other Versions

No versions found

Links

PhilArchive



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

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

Michael R. Genesereth and Nils J. Nilsson. Logical foundations of artificial intelligence. Morgan Kaufmann Publishers, Los Altos, Calif., 1987, xviii + 405 pp. [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.
N.J. Nilsson, Artificial Intelligence: A New Synthesis T. Dean, J. Allen and Y. Aloimonos, Artificial Intelligence: Theory and Practice D. Poole, A. Mackworth and R. Goebel, Computational Intelligence: A Logical Approach S. Russell and P. Norvig, Artificial Intelligence: A Modern Approach. [REVIEW]Benedict du Boulay - 2001 - Artificial Intelligence 125 (1-2):227-232.
Clause trees: a tool for understanding and implementing resolution in automated reasoning.J. D. Horton & Bruce Spencer - 1997 - Artificial Intelligence 92 (1-2):25-89.
Extracting qualitative relations from categorical data.Jure Žabkar, Ivan Bratko & Janez Demšar - 2016 - Artificial Intelligence 239 (C):54-69.
Extracting mutual exclusion invariants from lifted temporal planning domains.Sara Bernardini, Fabio Fagnani & David E. Smith - 2018 - Artificial Intelligence 258 (C):1-65.
Transferring skills to humanoid robots by extracting semantic representations from observations of human activities.Karinne Ramirez-Amaro, Michael Beetz & Gordon Cheng - 2017 - Artificial Intelligence 247 (C):95-118.
Feature assembly method for extracting relations in Chinese.Yanping Chen, Qinghua Zheng & Ping Chen - 2015 - Artificial Intelligence 228:179-194.
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.

Analytics

Added to PP
2020-12-22

Downloads
13 (#1,324,742)

6 months
7 (#715,360)

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.
Rule-oriented methods in problem solving.Masamichi Shimura & Frank H. George - 1973 - Artificial Intelligence 4 (3-4):203-223.

View all 8 citations / Add more citations

References found in this work

No references found.

Add more references