Vladimir Alexiev  Home/Search
Context
Related
| menaik.cs.ualberta.ca/pu...TR9524.ps.Z menaik.cs.ualberta.ca/pub/...event.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: fermivista.math....cs.ualberta.ca (more) From: fermivista.math....cs.ualberta.ca (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: . The traditional presentation of Kowalski's Event Calculus as a logic program uses Negationas -Failure (NAF) in an essential way to support persistence of fluents. In this paper we present an implementation of Event Calculus as a purely logical (without NAF) Linear Logic (LL) program. This work demonstrates some of the internal non-monotonic features of LL and its suitability for knowledge update (as opposed to knowledge revision). Although NAF is an ontologically sufficient solution to the... (Update)
Active bibliography (related documents): More All
0.3: Applications of Linear Logic to Computation: An Overview - Alexiev (1993) (Correct)
0.3: The Design of a Situation-Based Lygon Metainterpreter: I. Simple.. - White (1996) (Correct)
0.2: Ordered Events in a Logic Programming Framework - Cervesato, Chittaro, Montanari (1995) (Correct)
Similar documents based on text: More All
0.3: Variants of the Event Calculus - Iclp Fariba Sadri (1995) (Correct)
0.2: Success and Failure for Hereditary Harrop Formulae - Harland (1993) (Correct)
0.2: A Kripke-like Model for Negation as Failure - Harland (1989) (Correct)
BibTeX entry: (Update)
@techreport{ alexiev95event,
author = "V. Alexiev",
title = "The Event Calculus as a Linear Logic Program",
number = "TR95--24",
year = "1995",
url = "citeseer.ist.psu.edu/alexiev95event.html" }
Citations (may not include all citations):982 Theoretical Computer Science (context) - Girard - 1987 ACM
663 Some philosophical problems from the standpoint of artificia.. (context) - McCarthy, Hayes - 1969 ACM
256 Representing actions and change by logic programs - Gelfond, Lifschitz - 1993
175 Nonmonotonic logic and temporal projection (context) - Hanks, McDermott - 1987 ACM DBLP
104 Annals of Pure and Applied Logic (context) - Girard, unity - 1993
85 First-Order Dynamic Logic (context) - Harel - 1979 ACM
79 A uniform proof-theoretic investigation of linear logic prog.. - Harland, Pym - 1994 DBLP
71 Database updates in the event calculus (context) - Kowalski - 1992 ACM DBLP
69 Temporal reasoning in logic programming: A case for the situ.. - Pinto, Reiter - 1993 DBLP
46 Programming in Lygon: An overview - Harland, Pym et al. - 1995 DBLP
26 Implementing the linear logic programming language Lygon - Winikoff, Harland - 1994 DBLP
25 Variants of the event calculus - Sadri, Kowalski - 1995 DBLP
17 On deductive planning and the frame problem (context) - Holldobler - 1992 ACM DBLP
17 On resolution in fragments of classical linear logic (context) - Harland, Pym - 1992 ACM DBLP
10 Hypothetical reasoning: From situation calculus to event cal.. (context) - Provetti - 1994
6 Classical AI planning as theorem proving: The case of a frag.. - Jacopin - 1993
4 Linear logic and exceptions (context) - Fouquer'e, Vauzeilles - 1994 DBLP
4 Modal event calculus in Lolli - Cervesato, Chittaro et al. - 1994 ACM
4 Lolli: An extension of -Prolog with linear logic context man.. (context) - Hodas - 1992
1 Reformulation of explanation by linear logic: Toward logic f.. (context) - Arima, Sawamura - 1993 DBLP
1 A logic-based caclulus of events (context) - Kowalski, Sergot - 1986
Documents on the same site (http://fermivista.math.jussieu.fr/ftp/menaik.cs.ualberta.ca.html): More
A Stable Algorithm for Multi-dimensional Padé.. - Cabay, Jones, Labahn (1994) (Correct)
A First Implementation of Modular Smalltalk - Holst, Szafron (1993) (Correct)
Global Snapshots for Distributed Debugging: An Overview - Yang, Marsland (1992) (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