Iliano Cervesato, Angelo Montanari  Home/Search
Context Related
| stanford.edu/~iliano/pap...time00.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: The need of constraining the temporal relationships among sets of related events arises in several temporal reasoning tasks, including monitoring, plan validation, planning, and diagnosis. Process constructors provide an e ective way of packaging up related events into individual conceptual chunks, called macro-events. In this paper, we present a rst attempt at de ning a Calculus of Macro-Events that extends Kowalski and Sergot's Event Calculus with process constructors to express e ects... (Update)
Cited by: More
STEEL: A Spatio-Temporal Extended Event Language for Tracking.. - Chaudet (Correct)
Active bibliography (related documents): More All
2.1: Temporal Representation and Reasoning in Artificial.. - Chittaro, Montanari (2002) (Correct)
0.3: The steam boiler controller problem in ESTEREL and its.. - Bourdellès (1997) (Correct)
0.3: The Analysis of a Conveyor Belt System - a case study in Hybrid.. - Willemse (1999) (Correct)
Similar documents based on text: More All
0.7: The Wolf Within - Cervesato (2002) (Correct)
0.6: A Linear Spine Calculus - Cervesato, Pfenning (2003) (Correct)
0.5: A Guided Tour Through Some Extensions Of The Event.. - Cervesato, Franceschet.. (2000) (Correct)
BibTeX entry: (Update)
Cervesato I, Montanari A. A calculus of macroevents: progress report. In: A Trudel, SD Goodwin (eds), 7 International Workshop on Temporal Representation and Reasoning (TIME'00); Cape Breton, Nova Scotia, Canada; 7-9 July 2000. http://citeseer.ist.psu.edu/cervesato00calculus.html More
@inproceedings{ cervesato00calculus,
author = "Iliano Cervesato and Angelo Montanari",
title = "A Calculus of Macro-Events: Progress Report",
booktitle = "{TIME}",
pages = "47-58",
year = "2000",
url = "citeseer.ist.psu.edu/cervesato00calculus.html" }
Citations (may not include all citations):484 A Calculus of Communicating Systems (context) - Milner - 1980
324 A logic-based calculus of events (context) - Kowalski, Sergot - 1986
112 The Art of Prolog: Advanced Programming Techniques (context) - Sterling, Shapiro - 1994
84 What are the limitations of the situation calculus (context) - Gelfond, Lifschitz et al. - 1991
79 Representing concurrent actions in extended logic programmin.. (context) - Baral, Gelfond - 1993
71 Concurrent actions in the situation calculus (context) - Lin, Shoham - 1992
65 Actions and events in interval temporal logic - Allen, Ferguson - 1994
58 Solving the Frame Problem (context) - Shanahan - 1997
52 Narratives in the situation calculus - Miller, Shanahan - 1994
30 A logical approach to high-level robot programming | a progr.. (context) - Lesp, Levesque et al. - 1994
25 A general modal framework for the event calculus and its ske.. - Cervesato, Montanari - 1999
21 A modal calculus of partially ordered events in a logic prog.. (context) - Cervesato, Chittaro et al. - 1995
18 The macro-event calculus: Representing temporal granularity (context) - Evans - 1990
10 Communicating Sequencial Processes (context) - Hoare - 1985
9 Predicate path expressions (context) - Andler - 1979
8 ects of concurrent actions (context) - Baral, Gelfond - 1997
6 Reasoning about discrete processes in a logic programming fr.. (context) - Chittaro, Montanari - 1993
6 A model of events and processes - Belegrinos, George - 1991
6 Reasoning about actions in a multi-agent environment (context) - Gustafsson, Karlsson - 1997
3 Steam-boiler control specication problem (context) - Abrial - 1995
2 Reasoning about concurrent actions with features and uents (context) - Yi - 1996
2 Localized temporal reasoning using subgoals and abstract eve.. - Lin, Dean - 1996
2 Ecient temporal reasoning in the cached event calculus (context) - Chittaro, Montanari - 1996
1 Concurrent actions and interacting e ects (context) - Pinto - 1998
1 A guided through some extensions of the event calculus (context) - Cervesato, Franceschet et al. - 2000
1 La modellazione di sistemi complessi nel calcolo degli event.. (context) - Mizzaro - 1997
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)
Modal Event Calculi with Preconditions - Cervesato, Franceschet, Montanari (1997) (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