| Alternate document: Details Modal Event Calculus (94) Iliano Cervesato, et al. |
Iliano Cervesato, Luca Chittaro, Angelo Montanari October 1994 CMU-CS-94-198 ...  Home/Search
Context Related
| cmu.edu/anon/1994/CMUCS94198.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: cmu.edu/anon/1994/ (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: This paper introduces two variants of the Event Calculus (EC) with relative timing of events: the Credulous and the Skeptical Event Calculus (CREC and SKEC respectively). A model that takes into account the dynamics of event ordering updates is constructed for EC. In this model, that appears to be a restriction of the usual model for the modal logic S4, CREC and SKEC are proved to be the modal counterparts of EC. It is then shown how a full propositional modal logic based on these calculi... (Update)
Context of citations to this paper: More
...that LL is appropriate for a logic of explanation and abduction. The only work relating EC and LL that we are aware of is [ Cervesato et al. 1994 ] An implementation of Modal EC in Lolli is presented. The Modal EC is a modification of EC which presumes all events and some...
.... a debugger, was written by the author when working at a Lolli implementation of a form of temporal reasoning, an extended event calculus [2]. The unexpected behavior of his first uncertain attempts and the absence of any programming facility in the first prototypal realization...
Cited by: More
Ordered Events in a Logic Programming Framework - Cervesato, Chittaro, Montanari (1995) (Correct)
What the Event Calculus actually does, and how to do it .. - Cervesato, Chittaro.. (1994) (Correct)
Lollipops taste of Vanilla too (extended abstract) - Cervesato (1994) (Correct)
Similar documents (at the sentence level):
6.2%: Reasoning about Partially Ordered Events in the Event.. - Chittaro, Montanari.. (1994) (Correct)
Active bibliography (related documents): More All
2.1: Modal Event Calculus in Lolli - Cervesato, Chittaro, Montanari (1994) (Correct)
0.3: A Guided Tour Through Some Extensions Of The Event.. - Cervesato, Franceschet.. (2000) (Correct)
0.2: On the Non-monotonic Behavior of Event Calculus for.. - Cervesato.. (1993) (Correct)
Similar documents based on text:
94.0: Unknown - (Correct)
Related documents from co-citation: More All
3: Database Updates in the Event Calculus (context) - Kowalski - 1992
2: A Logic-Based Calculus of Events (context) - Kowalski, Sergot - 1986
2: Skeptical and credulous event calculi for supporting modal queries (context) - Chittaro - 1994
BibTeX entry: (Update)
@techreport{ cervesato94modal,
author = "Iliano Cervesato and Luca Chittaro and Angelo Montanari",
title = "Modal Event Calculus in Lolli",
number = "CS-94-198",
pages = "23",
year = "1994",
url = "citeseer.ist.psu.edu/cervesato94modal.html" }
Citations (may not include all citations):1838 Foundations of Logic Programming (context) - Lloyd - 1987
340 Uniform proofs as a foundation for logic programming (context) - Miller, Nadathur et al. - 1991
324 A Logic-based Calculus of Events (context) - Kowalski, Sergot - 1986
251 A logic programming language with lambda-abstraction, functi.. - Miller - 1989
242 Linear Logic (context) - Girard - 1987
149 A logical analysis of modules in logic programming (context) - Miller - 1989
123 A Companion to Modal Logic (context) - Hughes, Cresswell - 1984
103 Prediction is Deduction but Explanation is Abduction - Shanahan - 1989
71 Database Updates in the Event Calculus (context) - Kowalski - 1992
31 Dealing with Time Granularity in the Event Calculus (context) - Montanari, Maim et al. - 1992
27 Skeptical and Credulous Event Calculi for Supporting Modal Q.. (context) - Chittaro, Montanari et al. - 1994
22 the Non-monotonic Behavior of Event Calculus for Deriving Ma.. - Cervesato, Montanari et al. - 1994
15 Logic Programming in a Fragment of Linear Logic (context) - Hodas, Miller
12 Modal Queries about Partially-ordered Plans (context) - Moffat, Ritchie - 1990
8 A Metalogic Programming Approach to Reasoning about Time in .. (context) - Sripada
6 Reasoning about Discrete Processes in a Logic Programming Fr.. (context) - Chittaro, Montanari - 1993
4 Representation of Continuous Change in the Event Calculus (context) - Shanahan - 1990
3 Some Topics in) Logic Programming in AI (context) - Sergot - 1990
2 available by anonymous ftp from ftp (context) - Hodas, the et al.
2 The Event Calculus as a Modal Theory (context) - Cervesato, Chittaro et al. - 1994
Documents on the same site (http://reports-archive.adm.cs.cmu.edu/anon/1994/): More
Problems in Rewriting applied to Categorical Concepts by the.. - Gehrke (1994) (Correct)
Visual Tracking of Self-Occluding Articulated Objects - Rehg, Kanade (1995) (Correct)
Reducing Network Depth in the Cascade-Correlation Learning.. - Baluja, al. (1994) (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