Iliano Cervesato, Luca Chittaro, Angelo Montanari  Home/Search
Context Related
| stanford.edu/~iliano...udmi37_96.ps.gz stanford.edu/~iliano...udmi37_96.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: We propose a general and uniform modal framework for the Event Calculus (EC) and its skeptical Appeared as Reasearch Report 37/96-RR, Dipartimento di Matematica e Informatica, Universit`a di Udine, Italy, July 1996. and credulous variants. The resulting temporal formalism, called the Generalized Modal Event Calculus (GMEC), extends considerably the expressive power of EC when information about the ordering of events is incomplete. It provides means of inquiring about the evolution of the... (Update)
Context of citations to this paper: More
...discussed the application of the resulting modal event calculi with preconditions to two real world examples. Elsewhere [2, 4, 13], we systematically investigated modal extensions of EC without preconditions. In particular, we considered the modal event calculi MEC...
.... The keystone of this endeavor has been the definition of an extendible formal specification of the functionalities of this formalism [2]. This has had the e#ects of establishing a semantic reference against which to verify the correctness of implementations [2] of casting EC...
Cited by: More
Temporal Representation and Reasoning in Artificial.. - Chittaro, Montanari (2002) (Correct)
A Graph-Theoretic Approach to Efficiently Reason about.. - Franceschet, Montanari (2002) (Correct)
A graph-theoretic approach to efficiently reason about.. - Franceschet, Montanari (Correct)
Similar documents (at the sentence level):
19.1%: A General Modal Framework for the Event Calculus and.. - Cervesato.. (1996) (Correct)
Active bibliography (related documents): More All
0.3: Modal Event Calculi with Preconditions - Iliano Cervesato Massimo (1997) (Correct)
0.3: A Hierarchy of Modal Event Calculi: Expressiveness and .. - Cervesato.. (1997) (Correct)
0.3: Towards a Sequent Calculus for Negation as Failure - Harland (Correct)
Similar documents based on text: More All
1.3: A Guided Tour Through Some Extensions Of The Event.. - Cervesato, Franceschet.. (2000) (Correct)
1.2: Pairing Transitive Closure and Reduction to Efficiently.. - Franceschet, Montanari (Correct)
1.2: Event Calculus with Explicit Quantifiers - Cervesato, Franceschet, Montanari (1998) (Correct)
Related documents from co-citation: More All
25: A Logic-Based Calculus of Events (context) - Kowalski, Sergot - 1986
21: A Modal Calculus of Partially Ordered Events in a Logic Programming Framework (context) - Cervesato, Chittaro et al. - 1995
18: Skeptical and credulous event calculi for supporting modal queries (context) - Chittaro - 1994
BibTeX entry: (Update)
I. Cervesato, and A. Montanari: "A General Modal Framework for the Event Calculus and its Skeptical and Credulous Variants (extended and revised version of [13])", Submitted for publication, July 1996. http://citeseer.ist.psu.edu/cervesato96general.html More
@article{ cervesato99general,
author = "Iliano Cervesato and Angelo Montanari",
title = "A General Modal Framework for the Event Calculus and Its Skeptical and Credulous Variants",
journal = "Journal of Logic Programming",
volume = "38",
number = "2",
pages = "111-164",
year = "1999",
url = "citeseer.ist.psu.edu/cervesato96general.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
257 Logic programming in a fragment of intuitionistic linear log.. - Hodas, Miller - 1994
203 An Introduction to Modal Logic (context) - Hughes, Cresswell - 1968
166 An overview of Prolog (context) - Miller, Nadathur - 1988
82 Reasoning about partially ordered events (context) - Dean, Boddy - 1988
71 Elf: A language for logic definition and verified metaprogra.. - Pfenning - 1989
56 Temporal reasoning with abductive Event Calculus - Denecker, Missiaen et al. - 1992
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.. - 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
17 On Hereditary Harrop Formulae as a basis for Logic Programmi.. (context) - Harland - 1991
14 Speeding up temporal reasoning by exploiting the notion of k.. - Chittaro, Montanari et al. - 1995
12 N-Prolog: an Extension of Prolog with Hypothetical Implicati.. (context) - Gabbay, Reyle - 1984
12 Modal Queries about Partially-ordered Plans (context) - Moffat, Ritchie - 1990
4 Toward a static proof system for negation as failure (context) - Harland - 1992
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)
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