Murray Shanahan  Home/Search
Context
Related
| lp.doc.ic.ac.uk/_lp/Shanaha...incr.ps.Z Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: dcs.qmw.ac.uk/~mps/pubs (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: this paper was done at the University of Cambridge Computer Laboratory, whilst working on my PhD, supervised by William Clocksin. 1 Introduction (Update)
Active bibliography (related documents): More All
0.8: Knowledge Assimilation and Proof Restoration through the Addition .. - Hayashi (1998) (Correct)
0.3: Prediction is Deduction but Explanation is Abduction - Shanahan (1989) (Correct)
0.3: Feedback Directed Optimization - Liew (1994) (Correct)
Similar documents based on text: More All
0.3: Reason Maintenance for Production Systems - van der Gaag, de Koning (1994) (Correct)
0.3: Incremental Parsing and Reason Maintenance - Wirén (1990) (Correct)
0.2: A Note on the Utility of Incremental Learning - Giraud-Carrier (2000) (Correct)
BibTeX entry: (Update)
@incollection{ shanahan88incrementality,
author = "Murray Shanahan",
title = "Incrementality and Logic Programming",
booktitle = "Reason Maintenance Systems and Their Applications",
publisher = "Ellis Horwood, Ltd.",
address = "Chichester",
editor = "Barbara Smith and Gerald Kelleher",
pages = "21--34",
year = "1988",
url = "citeseer.ist.psu.edu/shanahan88incrementality.html" }
Citations (may not include all citations):561 Constraint Logic Programming (context) - Jaffar - 1987
334 A Truth Maintenance System (context) - Doyle - 1979
155 Forward Reasoning and Dependency Directed Backtracking in a .. (context) - Stallman, Sussman - 1977
132 An Assumption-Based TMS (context) - de Kleer - 1986
107 Foundations of Assumption-Based Truth Maintenance Systems (context) - Reiter, de Kleer - 1987
99 Logic and Databases: A Deductive Approach (context) - Gallaire, Minker - 1984
48 A Theorem-Proving Approach to Database Integrity (context) - Sadri, Kowalski - 1988
47 Linear Resolution with Selection Function (context) - Kowalski, Kuehner - 1971
39 Artificial Intelligence Programming (context) - Charniak, Riesbeck et al. - 1987
32 Deduction Revision by Intelligent Backtracking (context) - Bruynooghe, Periera - 1984
12 Abduction through Deduction (context) - Eshghi, Kowalski - 1988
8 Choices Without Backtracking (context) - de Kleer - 1984
6 Back to Backtracking: Controlling the ATMS (context) - de Kleer - 1986
5 Intelligent Backtracking in Plan-Based Deduction (context) - Matwin, Pietrzykowski - 1985
3 An Incremental Theorem Prover (context) - Shanahan - 1987
2 Exploiting Dependencies in Search and Inference Mechanisms (context) - Shanahan - 1987
Documents on the same site (http://www.dcs.qmw.ac.uk/~mps/pubs.html): More
Representing Continuous Change in The Event Calculus - Shanahan (1990) (Correct)
Narratives in the Situation Calculus - Miller, al. (1994) (Correct)
Robotics and the Common Sense Informatic Situation - Shanahan (1996) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC