Kristof Van BELLEGHEM, MARC DENECKER, DANNY DE SCHREYE  Home/Search
Context Related
| cs.kuleuven.ac.be/...97.vanbelleghem.ps cs.kuleuven.ac.be/~dtai/pu...2165.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: cs.kuleuven.ac.be/...abstracts.96 (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: this paper we make a detailed comparison of the Situation Calculus and the Event Calculus, two logic-based temporal reasoning formalisms. We concentrate on differences between the calculi, considering the similarities sufficiently indicated in the recent literature. We illustrate the inability of Event Calculus to handle counterfactual reasoning problems, and that of Situation Calculus to deal with counterfactual statements in the presence of actions with nondeterministic effects. We present a... (Update)
Context of citations to this paper: More
.... calculus [11] using a more general approach to the representations of situations, in the spirit of Van Belleghem, Denecker and De Schreye [20, 21]. The resulting more general formalisations of both calculi combine the situation calculus ability to represent hypothetical...
.... proposed, including [DeMi 92] DeVa 96] KaMi 97] KaMi 99] Kowa 92] SaKo 95] Shan 90] VaDe 94a] VaDe 94b] VaDe 95] and [VaDe 96] The Event Calculus has also been formulated in modal logic in [CeCh 95] CeCh 96] CeFr 97a] CeFr 97b] CeFr 98] and [ChMo 94]...
Cited by: More
The Event Calculus in Classical Logic - Alternative.. - Miller, Shanahan (1999) (Correct)
Reconciling the Event Calculus with the Situation Calculus - Robert Kowalski (1997) (Correct)
Active bibliography (related documents): More All
0.4: Combining Situation Calculus and Event Calculus - Van Belleghem, Denecker, De.. (1995) (Correct)
0.3: Representing Incomplete Knowledge in Abductive Logic.. - Denecker, De Schreye (1993) (Correct)
0.2: Causal Action Theories and Satisfiability Planning - Turner (1998) (Correct)
Similar documents based on text: More All
0.5: A Quantitative Model of Counterfactual Reasoning - Yarlett, Ramscar (2001) (Correct)
0.5: Scenarios for the Passé Simple and Imparfait - An event.. - Nauze (2002) (Correct)
0.5: SLDNFA: an abductive procedure for normal abductive programs - Denecker, De Schreye (1992) (Correct)
Related documents from co-citation: More All
2: Abductive Planning with Event Calculus (context) - Eshghi - 1988
2: Nonmonotonic reasoning in the framework of situation calculus - Baker - 1991
2: A simple Declarative Language for Describing Narratives With Actions - Kakas, Miller - 1996
BibTeX entry: (Update)
Van Belleghem K., Denecker M. and De Schreye D., On the relation between situation calculus and event calculus, Journal of Logic Programming (this issue) (1997). http://citeseer.ist.psu.edu/vanbelleghem97relation.html More
@article{ vanbelleghem97relation,
author = "Kristof Van Belleghem and Marc Denecker and Danny De Schreye",
title = "On the Relation Between Situation Calculus and Event Calculus",
journal = "Journal of Logic Programming",
volume = "31",
number = "1-3",
pages = "3-37",
year = "1997",
url = "citeseer.ist.psu.edu/vanbelleghem97relation.html" }
Citations (may not include all citations):759 Negation as failure (context) - Clark - 1978
663 Some philosophical problems from the standpoint of artificia.. (context) - McCarthy, Hayes - 1969
388 The frame problem in the situation calculus: a simple soluti.. (context) - Reiter - 1991
324 A logic-based calculus of events (context) - Kowalski, Sergot - 1986
178 Adl: Exploring the middle ground between strips and the situ.. (context) - Pedanult - 1989
128 Nonmonotonic Reasoning in the Framework of the Situation Cal.. - Baker - 1991
117 the relationship between abduction and deduction - Console, Dupre et al. - 1991
103 Prediction is deduction but explanation is abduction - Shanahan - 1989
101 Actions with indirect effects - Kartha, Lifschitz - 1994
88 Abductive planning with event calculus (context) - Eshghi - 1988
87 Monotonic solution of the frame problem in the situation cal.. - Schubert - 1990
78 Acyclic programs (context) - Apt, Bezem - 1990
77 Representing incomplete knowledge in abductive logic program.. - Denecker, De Schreye - 1994
71 Database updates in the event calculus (context) - Kowalski - 1992
70 Soundness and completeness theorems for three formalizations.. - Kartha - 1993
69 Temporal Reasoning in Logic Programming: A Case for the Situ.. - Pinto, Reiter - 1993
56 Temporal reasoning with abductive event calculus - Denecker, Missiaen et al. - 1992
52 Narratives in the situation calculus - Miller, Shanahan - 1994
51 Representing continuous change in the event calculus - Shanahan - 1990
33 Negation as failure as an approach to the Hanks and McDermot.. (context) - Evans - 1989
32 The situation calculus and event calculus compared (context) - Kowalski, Sadri - 1994
31 Representing actions in equational logic programming - Thielscher - 1994
30 Formalizing Database Evolution in the Situation Calculus - Reiter - 1992
30 Localized abductive planning with the event calculus (context) - Missiaen - 1991
26 Knowledge Representation and Reasoning in Incomplete Logic P.. (context) - Denecker - 1993
26 A Terminological Interpretation (context) - Denecker - 1995
25 Variants of the event calculus - Sadri, Kowalski - 1995
13 Describing Action and Change by Logic Programs (context) - Gelfond, Lifschitz - 1992
10 Combining situation calculus and event calculus - Van Belleghem, Denecker et al. - 1995
10 Representing continuous change in the abductive event calcul.. - Van Belleghem, Denecker et al. - 1994
Documents on the same site (http://www.cs.kuleuven.ac.be/cwis/research/dtai/publications/abstracts.96.html): More
Creating Specialised Integrity Checks Through Partial.. - Leuschel, De Schreye (1998) (Correct)
Live-structure Analysis for Logic Programming Languages with.. - Bruynooghe (1996) (Correct)
Inductive Database Design - Blockeel (1996) (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