A note on linear resolution strategies in consequence-finding

&
Artificial Intelligence 3 (C):175-180 (1972)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1016/0004-3702(72)90047-1

Links

PhilArchive



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

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

Linear resolution for consequence finding.Katsumi Inoue - 1992 - Artificial Intelligence 56 (2-3):301-353.
Linear resolution with selection function.Robert Kowalski & Donald Kuehner - 1971 - Artificial Intelligence 2 (3-4):227-260.
Finding optimal satisficing strategies for and-or trees.Russell Greiner, Ryan Hayward, Magdalena Jankowska & Michael Molloy - 2006 - Artificial Intelligence 170 (1):19-58.
Finding optimal derivation strategies in redundant knowledge bases.Russell Greiner - 1991 - Artificial Intelligence 50 (1):95-115.
Logics for Artificial Intelligence.Raymond Turner - 1984 - New York, NY, USA: Ellis Horwood.
Review: Raymond Turner, Logics for Artificial Intelligence. [REVIEW]Francis Jeffry Pelletier & Lenhart K. Schubert - 1991 - Journal of Symbolic Logic 56 (1):339-340.
Resolution graphs.Robert A. Yates, Bertram Raphael & Timothy P. Hart - 1970 - Artificial Intelligence 1 (3-4):257-289.
Raymond Turner. Logics for artificial intelligence. Ellis Horwood series in artificial intelligence. Ellis Horwood, Chichester 1984, also distributed by Halsted Press, New York, 121 pp. [REVIEW]Francis Jeffry Pelletier & Lenhart K. Schubert - 1991 - Journal of Symbolic Logic 56 (1):339-340.
Resolution for Max-SAT.María Luisa Bonet, Jordi Levy & Felip Manyà - 2007 - Artificial Intelligence 171 (8-9):606-618.
Relational linear programming.Kristian Kersting, Martin Mladenov & Pavel Tokmakov - 2017 - Artificial Intelligence 244 (C):188-216.

Analytics

Added to PP
2020-12-22

Downloads
8 (#1,345,183)

6 months
5 (#710,311)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Linear resolution for consequence finding.Katsumi Inoue - 1992 - Artificial Intelligence 56 (2-3):301-353.
Default reasoning using classical logic.Rachel Ben-Eliyahu & Rina Dechter - 1996 - Artificial Intelligence 84 (1-2):113-150.

Add more citations

References found in this work

Resolution graphs.Robert A. Yates, Bertram Raphael & Timothy P. Hart - 1970 - Artificial Intelligence 1 (3-4):257-289.

Add more references