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,642

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.
Michael R. Genesereth and Nils J. Nilsson. Logical foundations of artificial intelligence. Morgan Kaufmann Publishers, Los Altos, Calif., 1987, xviii + 405 pp. [REVIEW]João P. Martins - 1990 - Journal of Symbolic Logic 55 (3):1304-1307.
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.
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.
Extracting mutual exclusion invariants from lifted temporal planning domains.Sara Bernardini, Fabio Fagnani & David E. Smith - 2018 - Artificial Intelligence 258 (C):1-65.
Feature assembly method for extracting relations in Chinese.Yanping Chen, Qinghua Zheng & Ping Chen - 2015 - Artificial Intelligence 228:179-194.

Analytics

Added to PP
2020-12-22

Downloads
4 (#1,644,260)

6 months
5 (#710,311)

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.
A logical theory of robot problem solving.Olga Štěpánková & Ivan M. Havel - 1976 - Artificial Intelligence 7 (2):129-161.
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