G. White  Home/Search
Context Related
| dcs.qmw.ac.uk/pub/appli...metadesign.ps dcs.qmw.ac.uk/applied_l...metadesign.ps 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/~graham/ (more) From: dcs.qmw.ac.uk/~graham/ (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: this report, the author was supported by Project Dynamo, funded by EPSRC. The views expressed in the report are the author's own, and the principal investigators of the project -- John Bell and Wilfred Hodges -- bear no responsibility for them. 5 Two-Sided Resolution 16 6 Implementation 17 (Update)
Context of citations to this paper: More
...language, Golog, in order to reason about complex actions within the framework of the situation calculus. We build on previous work [17] and show how to translate this language into linear logic, suitably augmented. 0.1 Notation Multisets will be written a; a; a; b; c;...
.... this gives us an approach to the frame problem in which lack of change is represented by identity; it is thus computationally tractable [20, 22], unlike the standard approach. In fact, the search for a computationally tractable solution to the frame problem led Bibel [1] to...
Cited by: More
Simulation, Ramification, and Linear Logic - White (1998) (Correct)
Actions, Ramification and Linear Modalities - White (1998) (Correct)
Simulation, Theory, and Cut Elimination - White (1998) (Correct)
Similar documents (at the sentence level):
63.7%: A Linear Meta-interpreter for the Situation Calculus - White (Correct)
Active bibliography (related documents): More All
0.5: Teleology In Aristotle And Contemporary Philosophy Of Biology: An .. - Cameron (2000) (Correct)
0.3: Carnap, Quine and the Fate of Metaphysics - Price (Correct)
0.3: Applications of Linear Logic to Computation: An Overview - Alexiev (1993) (Correct)
Similar documents based on text: More All
0.1: Dynamic Configuration Of Distributed Multimedia Components - Robert Scott Mitchell (2000) (Correct)
0.1: Programming in Lygon: An Overview - Harland, Pym, Winikoff (1996) (Correct)
0.1: A Policymaker's Guide to Hate Crimes - Reno, al. (Correct)
Related documents from co-citation: More All
5: Solving the Frame Problem: A Mathematical Investigation of the Common Sense Law .. (context) - Shanahan
4: Ramification and causality - Thielscher - 1997
4: A linear meta-interpreter for the situation calculus - White
BibTeX entry: (Update)
Graham White. The design of a situation-based Lygon metainterpreter: I. simple changes and persistence. Technical Report 729, Department of Computer Science, Queen Mary and Westfield College, London, October 1996. http://citeseer.ist.psu.edu/white96design.html More
@misc{ white96design,
author = "G. White",
title = "The design of a situation-based Lygon metainterpreter",
text = "Graham White. The design of a situation-based Lygon metainterpreter: I.
simple changes and persistence. Technical Report 729, Department of Computer
Science, Queen Mary and Westfield College, London, October 1996.",
year = "1996",
url = "citeseer.ist.psu.edu/white96design.html" }
Citations (may not include all citations):430 Structure and Interpretation of Computer Programs (context) - Abelson, Sussman et al. - 1985
117 Features and Fluents (context) - Sandewall - 1994
99 The Logical Form of Action Sentences (context) - Davidson - 1980
97 The Craft of Prolog (context) - O'Keefe - 1990
79 A Uniform Proof-Theoretic Investigation of Linear Logic Prog.. - Pym, Harland - 1994
66 Generating Plans in Linear Logic (context) - Masseron, Tollu et al. - 1990
58 A Survey on Complexity Results for Non-Monotonic Logics - Cadoli, Schaerf - 1993
58 Solving the Frame Problem (context) - Shanahan
26 Implementing the Linear Logic Programming Language Lygon - Winikoff, Harland
12 Tutorial on Linear Logic (context) - Troelstra - 1993
12 The Range of Applicability of some Non-Monotonic Logics for .. - Sandewall - 1994
8 Deterministic Resource Management for the Linear Logic Progr.. - Winikoff, Harland - 1994
7 Linear Deductive Planning - Grosse, Holldobler et al. - 1996
6 Natural Actions, Concurrency and Continuous Time in the Situ.. - Reiter - 1996
6 Non-Monotonic Reasoning (context) - Brewka - 1991
4 Linear Logic and Exceptions (context) - Fouquer'e, Vauzeilles - 1994
3 London: Hutchinson (context) - Ryle, of - 1949
3 Linear Proofs and Linear Logic (context) - Fronhofer - 1992
2 Properties versus Resources: Solving Simple Frame Problems (context) - Holldobler, Thielscher - 1996
2 London: Routledge and Kegan Paul (context) - von Wright, Action et al. - 1963
2 Prediction Theories and Explanation Theories (context) - Bell
2 and Blame: Perspectives on Aristotle's Theory (context) - Sorabji, Cause - 1980
1 email message to the linear mailing-list (context) - Barwise - 1992
Documents on the same site (http://www.dcs.qmw.ac.uk/~graham/): More
A Linear Meta-interpreter for the Situation Calculus - White (Correct)
Balls and String: Simulations and Theories - White (1997) (Correct)
January 6, 1998 - Ua Ry (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