J. Harland, D. Pym and M. Winiko#. Programming in Lygon: a system demonstration. This volume. Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
A Linear Meta-interpreter for the Situation Calculus - White (Correct)
....for them. Thanks are due to Adam Eppendahl, Wilfrid Hodges, Peter O Hearn, David Pym, Rob Miller, Edmund Robinson, Murray Shanahan and Paul Taylor for wide ranging and stimulating discussions. 1 The Lygon home page is at [15] further theoretical and practical details can be found in [22, 28, 29, 11, 12]. After a brief introduction, which describes the basic concepts, we will give some examples, applying Lygon to various standard cases of the frame problem. We then describe the general framework (computation as proof search) underlying this work, and give the detailed proof theoretic analysis ....
....be describing a computationally efficient framework which will allow for simple changes together with nondeterminacy, leaving the other components of the frame problem to subsequent papers. 1. 2 Previous Work There has been some previous work in this area: as well as direct uses of linear logic [16, 11, 12], there are two other approaches, which are each equivalent to linear proof search [3, 9] the first uses Bibel s connection method with modifications to the proof search procedure which effectively turn it into a theorem prover for (multiplicative) linear logic [6, 7] Secondly, there a ....
James Harland, David Pym and Michael Winikoff, "Programming in Lygon: a System Demonstration", in M. Wirsing and M. Nivat (eds.), AMAST 96, Lecture Notes in Computer Science 1101, Berlin: Springer 1996, p. 599.
Programming in Lygon: an overview - Harland, Pym, Winikoff (1995) (28 citations) Self-citation (Harland Pym Winiko) (Correct)
No context found.
J. Harland, D. Pym and M. Winiko#. Programming in Lygon: a system demonstration. This volume.
Programming in Lygon: An Overview - Harland, Pym, Winikoff (1995) (28 citations) Self-citation (Harland Pym Winikoff) (Correct)
....can be systematically applied to the class of formula used in Lygon. It turns out that this approach requires some significant revisions to the proof system. A full description of this process, which is beyond the scope of this paper, can be found in [22] A brief summary can also be found in [10]. An important point to note that this method of implementation provides us with a method of state passing , in that we can think of the passage of excess resources from one branch to another as a means of state transition. As we shall see, there are some restrictions placed on this process, in ....
J. Harland, D. Pym and M. Winikoff. Programming in Lygon: a system demonstration. This volume.
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