Golog and Linear Logic Programming

Dept. Of Computer Science, Queen Mary and Westfield College (1998)
  Copy   BIBTEX

Abstract

Levesque et al. have defined a programming language, Golog, in order to reason about complex actions within the framework of the situation calculus. We build on previous work of ours and show how to translate Golog into linear logic, suitably augmented.

Categories

Keywords

Reprint years

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 93,642

External links

  • This entry has no external links. Add one.
Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

cc-Golog – An Action Language with Continuous Change.Henrik Grosskreutz & Gerhard Lakemeyer - 2003 - Logic Journal of the IGPL 11 (2):179-221.
Sequent Calculi for Intuitionistic Linear Logic with Strong Negation.Norihiro Kamide - 2002 - Logic Journal of the IGPL 10 (6):653-678.
Reinforcement learning for Golog programs with first-order state-abstraction.D. Beck & G. Lakemeyer - 2012 - Logic Journal of the IGPL 20 (5):909-942.
Linear explicit substitutions.N. Ghani, V. de Paiva & E. Ritter - 2000 - Logic Journal of the IGPL 8 (1):7-31.
A Synopsis on the Identification of Linear Logic Programming Languages.J. A. Harland & David J. Pym - 1992 - LFCS, Department of Computer Science, University of Edinburgh.
Linear logic automata.Max I. Kanovich - 1996 - Annals of Pure and Applied Logic 78 (1-3):147-188.
A proof-theoretic treatment of λ-reduction with cut-elimination: λ-calculus as a logic programming language.Michael Gabbay - 2011 - Journal of Symbolic Logic 76 (2):673 - 699.
Lambda Calculus and Intuitionistic Linear Logic.Simona Ronchi Della Rocca & Luca Roversi - 1997 - Studia Logica 59 (3):417-448.
Lambda calculus and intuitionistic linear logic.Simona Ronchi della Rocca & Luca Roversi - 1997 - Studia Logica 59 (3):417-448.
Logic Programming in a Fragment of Intuitionistic Linear Logic Extended Abstract.Joshua S. Hodas & Dale Miller - 1991 - LFCS, Department of Computer Science, University of Edinburgh.

Analytics

Added to PP
2015-02-13

Downloads
0

6 months
0

Historical graph of downloads

Sorry, there are not enough data points to plot this chart.
How can I increase my downloads?

Author's Profile

Graham White
Queen Mary University of London

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references