Iliano Cervesato, et al.  Home/Search
Context
Related
| stanford.edu/~iliano/pap...ilps94.ps.gz 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: stanford.edu/~ilian...byYearmain (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: 27.95> , and a set of initiates and terminates relationships R that specify the effects of events on properties, and let o be a partial ordering over E. The relation between derivability (` MEC ) and satisfiability (j= MEC ) in MEC is expressed by the following theorem [1]: Theorem 1 For each structure S, p 2 P , e 1 ; e 2 2 E, and each partial ordering o, S; o `MEC holds(p(e 1 ; e 2 )) iff S; o j= MEC p(e 1 ; e 2 ) S; o `MEC skeHolds(p(e 1 ; e 2 )) iff S; o j= MEC<F (Update)
Active bibliography (related documents): More All
0.5: Modal Event Calculus - Ilps' Bruynooghe Editor (Correct)
0.0: Reasoning about Continuous Change - Tyrone Neill (Correct)
0.0: The Token Reification Approach to Temporal Reasoning - Vila, Reichgelt (1993) (Correct)
Similar documents based on text: More All
0.6: What the Event Calculus actually does, and how to do it .. - Cervesato, Chittaro.. (1994) (Correct)
0.6: A General Modal Framework for the Event Calculus and.. - Cervesato, Chittaro, .. (1996) (Correct)
0.5: Modal Event Calculus in Lolli - Cervesato, Chittaro, Montanari (1994) (Correct)
BibTeX entry: (Update)
@inproceedings{ cervesato94modal,
author = "Iliano Cervesato and Luca Chittaro and Angelo Montanari",
title = "Modal Event Calculus",
booktitle = "Symposium on Logic Programming",
pages = "675",
year = "1994",
url = "citeseer.ist.psu.edu/article/cervesato94modal.html" }
Citations (may not include all citations):324 A Logic-based Calculus of Events (context) - Kowalski - 1986
2 A Modal Logic Interpretation of the Event Calculus (context) - Cervesato, Chittaro et al. - 1994
Documents on the same site (http://theory.stanford.edu/~iliano/byYear-main.html): More
Efficient Resource Management for Linear Logic Proof Search - Cervesato, al. (1996) (Correct)
Modal Event Calculi with Preconditions - Cervesato, Franceschet, Montanari (1997) (Correct)
Petri Nets and Linear Logic: a case study for logic programming - Cervesato (1995) (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