Robert Kowalski, Fariba Sadri  Home/Search
Context Related
| lp.doc.ic.ac.uk/Use...reconciling.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: lp.doc.ic.ac.uk/UserPages/s...rak (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: In this paper, to compare the situation calculus and event calculus we formulate both as logic programs and prove properties of these by reasoning with their completions augmented with induction. We thus show that the situation calculus and event calculus imply one another. Whereas our derivation of the event calculus from the situation calculus requires the use of induction, our derivation of the situation calculus from the event calculus does not. We also show that in certain concrete... (Update)
Context of citations to this paper: More
...and [Shan 99c] Finally, much work has been done on both formal and informal comparisons between various formulations of the Situation Calculus (see e.g. McHa 69] Bake 91] Reit 91] and the Event Calculus. This work includes [KaMi 97] KoSa 94] KoSa 97] Mill 95] PiRe...
Cited by: More
Meta-reasoning: a Survey - Costantini (2002) (Correct)
Temporal Representation and Reasoning in Artificial.. - Chittaro, Montanari (2002) (Correct)
A General Framework for Reasoning About Change - Augusto (2002) (Correct)
Active bibliography (related documents): More All
1.0: Reconciling the Event Calculus with the Situation Calculus - Robert Kowalski (1997) (Correct)
0.4: Application of Agent Architecture to Modelling.. - Pollitzer, Da'vila (Correct)
0.3: Representing Ramifications in an Event-based Language - Van Belleghem, Denecker, Dupre (1997) (Correct)
System load high. Please wait...
Timeout. Please try your query later.
Similar documents based on text: More All
0.5: The Event Calculus Explained - Shanahan (1999) (Correct)
0.5: On The Relation Between Situation Calculus And Event.. - Van BELLEGHEM.. (1997) (Correct)
0.5: Variants of the Event Calculus - Iclp Fariba Sadri (1995) (Correct)
Related documents from co-citation: More All
4: A Logic-Based Calculus of Events (context) - Kowalski, Sergot - 1986
3: Database Updates in the Event Calculus (context) - Kowalski - 1992
3: Constraint propagation algorithms for temporal reasoning (context) - Vilain, Kautz - 1986
BibTeX entry: (Update)
R. Kowalski and F. Sachi "Reconciling the Event Calculus with the Situation Calculus" J.Logic Prog. 31(1-3), 39-58, (1997). http://citeseer.ist.psu.edu/kowalski97reconciling.html More
@article{ kowalski97reconciling,
author = "Robert A. Kowalski and Fariba Sadri",
title = "Reconciling the Event Calculus With the Situation Calculus",
journal = "Journal of Logic Programming",
volume = "31",
number = "1-3",
pages = "39-58",
year = "1997",
url = "citeseer.ist.psu.edu/kowalski97reconciling.html" }
Citations (may not include all citations):759 Negation as failure (context) - Clark - 1978
324 A logic-based calculus of events (context) - Kowalski, Sergot - 1986
297 Applications of circumscription to formalizing common sense .. - McCarthy - 1986
128 Nonmonotonic reasoning in the framework of the situation cal.. - Baker - 1991
119 Logic-based approach to semantic query optimization (context) - Charkravarthy, Grant et al. - 1990
103 Prediction is deduction but explanation is abduction - Shanahan - 1989
98 Proving properties of states in the situation calculus - Reiter - 1993
88 Abductive planning with event calculus (context) - Eshghi - 1988
83 The logic of persistence (context) - Kautz - 1986
71 Database updates in the event calculus (context) - Kowalski - 1992
42 Problems and promises of computational logic (context) - Kowalski - 1990
40 A simple declarative language for describing narratives with.. - Kakas, Miller - 1996
32 The situation calculus and event calculus compared (context) - Kowalski, Sadri - 1994
28 A first-order theory of data and programs (context) - Clark, Tarnlund - 1977
25 Variants of the event calculus - Sadri, Kowalski - 1995
25 Explanation in the situation calculus - Shanahan - 1993
24 Elsevier North Holland (context) - Kowalski - 1979
4 Springer Verlag Symbolic Computation Series (context) - Foundations, programming - 1987
3 the relation between situation calculus and event calculus - Van Belleghem, Denecker et al. - 1997
3 Combining situation calculus and event calculus - Van Belleghem, Denecker et al. - 1995
2 Temporal reasoning in logic programming (context) - Pinto, Reiter - 1993
1 The semantics of predicate logic as a logic programming lang.. (context) - Van Emden, Kowalski - 1976
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www-lp.doc.ic.ac.uk/UserPages/staff/rak/rak.html): More
Executing Suspended Logic Programs - Kowalski, Toni, Wetzel (1998) (Correct)
The Role of Abduction in Logic Programming - Kakas, Kowalski, Toni (1998) (Correct)
Logic without Model Theory - Kowalski (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