Iliano Cervesato, Massimo Franceschet, Angelo Montanari  Home/Search
Context Related
| stanford.edu/~iliano/pap...time97.ps.gz dimi.uniud.it/~francesc/time97.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: Kowalski and Sergot's Event Calculus (EC) is a simple temporal formalism that, given a set of event occurrences, allows the derivation of the maximal validity intervals (MVIs) over which properties initiated or terminated by those events hold. The limited expressive power of EC is notably augmented by permitting events to initiate or terminate a property only if a given set of preconditions hold at their occurrence time. We define a semantic formalization of the Event Calculus with... (Update)
Context of citations to this paper: More
.... concurrent actions have been proposed in [Eva90, MMCR92, Sha90] preconditions have been incorporated in di#erent variants of basic EC [CFM97b]. However, a uniform framework that allows formally defining and contrasting the expressiveness and complexity of the various...
...expressiveness of EC . In particular, modal versions of EC [2] the interaction between modalities and connectives [3] and preconditions [4] have all been investigated in this context. In this paper, we continue the endeavor to enhance the expressive power of EC by...
Cited by: More
Temporal Representation and Reasoning in Artificial.. - Chittaro, Montanari (2002) (Correct)
Designing and Executing Protocols Using The Event Calculus - Yolum, Singh (2001) (Correct)
A Hierarchy of Modal Event Calculi: Expressiveness and .. - Cervesato.. (1997) (Correct)
Similar documents (at the sentence level):
59.0%: Modal Event Calculi with Preconditions - Cervesato, Franceschet, Montanari (1997) (Correct)
15.4%: A Guided Tour Through Some Extensions Of The Event.. - Cervesato, Franceschet.. (2000) (Correct)
Active bibliography (related documents): More All
0.4: A General Modal Framework for the Event Calculus and.. - Cervesato, Chittaro, .. (1996) (Correct)
0.3: A Graph-Theoretic Approach to Efficiently Reason about.. - Franceschet, Montanari (2002) (Correct)
0.2: A graph-theoretic approach to efficiently reason about.. - Franceschet, Montanari (Correct)
Similar documents based on text: More All
2.1: Event Calculus with Explicit Quantifiers - Cervesato, Franceschet, Montanari (1998) (Correct)
0.9: Pairing Transitive Closure and Reduction to Efficiently.. - Franceschet, Montanari (Correct)
Related documents from co-citation: More All
13: A Logic-Based Calculus of Events (context) - Kowalski, Sergot - 1986
13: A General Modal Framework for the Event Calculus and its Skeptical and Credulous.. - Cervesato, Montanari - 1996
10: A Modal Calculus of Partially Ordered Events in a Logic Programming Framework (context) - Cervesato, Chittaro et al. - 1995
BibTeX entry: (Update)
I. Cervesato, M. Franceschet, and A. Montanari. Modal event calculi with preconditions. In R. Morris and L. Khatib, editors, Fourth International Workshop on Temporal Representation and Reasoning --- TIME'97, pages 38--45, Daytona Beach, FL, 10--11 May 1997. IEEE Computer Society Press. http://citeseer.ist.psu.edu/article/cervesato97modal.html More
@inproceedings{ cervesato97modal,
author = "Iliano Cervesato and Massimo Franceschet and Angelo Montanari",
title = "Modal Event Calculi with Preconditions",
booktitle = "{TIME}",
pages = "38-45",
year = "1997",
url = "citeseer.ist.psu.edu/article/cervesato97modal.html" }
Citations (may not include all citations):324 A Logic-based Calculus of Events (context) - Kowalski, Sergot - 1986
82 Reasoning about partially ordered events (context) - Dean, Boddy - 1988
29 An Essay in Classical Modal Logic (context) - Segerberg - 1971
27 Skeptical and Credulous Event Calculi for Supporting Modal Q.. (context) - Chittaro, Montanari et al. - 1994
25 A General Modal Framework for the Event Calculus and its Ske.. - Cervesato, Montanari - 1996
25 A General Modal Framework for the Event Calculus and its Ske.. - Montanari, Chittaro et al. - 1996
22 the Non-Monotonic Behavior of Event Calculus for Deriving Ma.. - Cervesato, Montanari et al. - 1993
21 A Modal Calculus of Partially Ordered Events in a Logic Prog.. (context) - Cervesato, Chittaro et al. - 1995
14 Speeding up temporal reasoning by exploiting the notion of k.. - Chittaro, Montanari et al. - 1995
12 Modal Queries about Partially-ordered Plans (context) - Moffat, Ritchie - 1990
10 The Complexity of Model Checking in Modal Event Calculi - Cervesato, Franceschet et al. - 1997
3 Springer-Verlag (context) - Nokel, Symptoms et al. - 1991
3 i Eventi: Espressivit`a e Complessit`a (in Italian), Tesi di.. (context) - Franceschet, di Calcoli - 1996
2 Success and Failure for Hereditary Harrop Formulas (context) - Harland - 1993
2 Washbrook: A temporal reasoning framework used in the diagno.. (context) - Keravnou - 1990
The graph only includes citing articles where the year of publication is known.
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 Calculus - Cervesato, al. (1994) (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