Joshua S. Hodas, Kevin M. Watkins, Naoyuki Tamura, and Kyoung-Sun Kang. Ecient implementation of a linear logic programming language. In Proceedings of the Joint International Conference and Symposium on Logic Programming, pages 145-159, Manchester, June 1998. Home/Search Document Details and Download
Summary Related Articles Check |
This paper is cited in the following contexts:
Agents via Mixed-mode Computation in Linear Logic - Harland, Winikoff (2004) (1 citation) (Correct)
.... [16, 20, 17] It has also been shown that this logic has a natural notion of actions, such as those required by the classic blocks world scenario [29, 30] Given also the existence of a number of logic programming languages based on linear logic (such as LO [6] Lolli [20] Forum [31] LLP [21] and Lygon [17] it seems natural to explore the use of linear logic as a basis for BDI style agent systems. Some initial work in this direction was done by Abdullah Al Amin [3] however, that was limited to the use of a particular language (Lygon) and did not take reactive behaviour into ....
J. Hodas, K. Watkins, N. Tamura and K-S. Kang, Ecient Implementation of a Linear Logic Programming Language, Proceedings of the Joint International Conference and Symposium on Logic Programming 145-159, June, Manchester, 1998.
Linear Logic Programming for AI Planning - Küngas (2002) (Correct)
....languages interpreters are built on top of Prolog interpreters. Tamura and Kaneda [91] have developed an extension to Warren Abstract Machine (a commonly used machine model for logic programming) to perform ecient resource management already at interpreter level. Using that extension, in [40] it has been shown for the rst time that a LL solution to a problem can be executed more eciently than the traditional logic programming solutions. Despite of the eciency of particular implementation, it seems to be so far the only attempt to implement an interpreter optimised for LL. We show ....
J. Hodas, K. Watkins, N. Tamura and K.-S. Kang, Ecient Implementation of a Linear Logic Programming Language. In Proceedings of the Joint International Conference and Symposium on Logic Programming, Manchester, June 1998.
A concurrent logical framework I: Judgments and.. - Watkins, Cervesato.. (2003) (2 citations) Self-citation (Watkins) (Correct)
....logic programming interpretation for CLF will draw heavily from it. However, in Forum proofs cannot be manipulated as rst class objects not even cut elimination is treated, let al..one an equational theory on proofs. The same is true of LinLog [And92] LO [AP91] ACL [KY93] Lygon [HPW96] and LLP [HWTK98], all of which treat logic programming over other fragments of classical or intuitionistic linear logic. Perrier describes how the basic idea of linear logic programming as concurrent computation can be improved by adopting proof nets [Gir87] rather than sequent calculus proofs as the fundamental ....
Joshua S. Hodas, Kevin M. Watkins, Naoyuki Tamura, and Kyoung-Sun Kang. Ecient implementation of a linear logic programming language. In Proceedings of the Joint International Conference and Symposium on Logic Programming, pages 145-159, Manchester, June 1998.
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