Logic programs, well-orderings and forward chaining

Annals of Pure and Applied Logic 96 (1-3):231-276 (1999)

Abstract

This article has no associated abstract. (fix it)

Download options

PhilArchive



    Upload a copy of this work     Papers currently archived: 72,694

External links

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

Through your library

Analytics

Added to PP
2014-01-16

Downloads
8 (#1,013,851)

6 months
1 (#388,311)

Historical graph of downloads
How can I increase my downloads?

References found in this work

A Logic for Default Reasoning.Ray Reiter - 1980 - Artificial Intelligence 13 (1-2):81-137.
Non-Monotonic Logic I.Drew McDermott & Jon Doyle - 1980 - Artificial Intelligence 13 (1-2):41-72.
A Truth Maintenance System.Jon Doyle - 1979 - Artificial Intelligence 12 (3):231-272.

Add more references

Similar books and articles

Belief Revision and Verisimilitude.Mark Ryan & Pierre-Yves Schobbens - 1995 - Notre Dame Journal of Formal Logic 36 (1):15-29.
The Metamathematics of Scattered Linear Orderings.P. Clote - 1989 - Archive for Mathematical Logic 29 (1):9-20.
Strategies for Discovering Mechanisms: Schema Instantiation, Modular Subassembly, Forward/Backward Chaining.Lindley Darden - 2002 - Proceedings of the Philosophy of Science Association 2002 (3):S354-S365.
Recursion Theory on Orderings. II.J. B. Remmel - 1980 - Journal of Symbolic Logic 45 (2):317-333.
Evidence for the Chaining Hypothesis of Serial Verbal Learning.Robert G. Crowder - 1968 - Journal of Experimental Psychology 76 (4p1):497.
Mediation and Interference in Verbal Chaining.James G. Martin & George L. Parrott - 1966 - Journal of Experimental Psychology 72 (3):439.
A Reexamination of Implicit Verbal Chaining.Burton H. Cohen & Donald A. Macneil - 1966 - Journal of Experimental Psychology 71 (3):432.
A Recursion Principle for Linear Orderings.Juha Oikkonen - 1992 - Journal of Symbolic Logic 57 (1):82-96.