| Alternate document: Details The Event Calculus in Classical Logic Alternative Axiomatisations (99) Rob Miller, Murray Shanahan |
Murray Shanahan  Home/Search
Context Related
| ics.ee.ic.ac.uk/~mps...ECExplained.ps.Z 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: ics.ee.ic.ac.uk/~mpsha/pubs (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: This article presents the event calculus, a logic-based formalism for representing actions and their effects. A circumscriptive solution to the frame problem is deployed which reduces to monotonic predicate completion. Using a number of benchmark examples from the literature, the formalism is shown to apply to a variety of domains, including those featuring actions with indirect effects, actions with non-deterministic effects, concurrent actions, and continuous change. Introduction... (Update)
Context of citations to this paper: More
.... adaptation policies of each host are handled by an adaptation control module based on a policy language derived from the Event Calculus [20]. Our approach allows sharing of application status information among all applications running on the system. The introduction of a...
...in section 4. 4 we have chosen to use an event driven policy language derived from the event calculus logic programming formalism [15, 24]. The event calculus provides a framework in which it is possible to reason about the effects of events in an eventbased system. More...
Cited by: More
On-line Decision-Theoretic Golog for Unpredictable Domains - Ferrein, Fritz, Lakemeyer (2004) (Correct)
Princess Cassie: An Embodied Cognitive Agent in a Virtual.. - Vikranth Rao Department (Correct)
A Platform Supporting Coordinated Adaptation in Mobile .. - Efstratiou, Friday.. (2002) (Correct)
Similar documents (at the sentence level):
10.9%: The Ramification Problem in the Event Calculus - Shanahan (1999) (Correct)
Active bibliography (related documents): More All
0.6: The Event Calculus in Classical Logic - Alternative.. - Miller, Shanahan (1999) (Correct)
0.2: A Logic-Based Calculus of Fluents - Brandano (1998) (Correct)
0.2: A Logical Account of the Common Sense Informatic Situation for a .. - Shanahan (1996) (Correct)
Similar documents based on text: More All
0.5: Scenarios for the Passé Simple and Imparfait - An event.. - Nauze (2002) (Correct)
0.5: Reconciling the Event Calculus with the Situation Calculus - Kowalski, Sadri (1997) (Correct)
0.4: The Event Calculus - van Lambalgen (Correct)
Related documents from co-citation: More All
3: Some philosophical problems from the standpoint of Artificial Intelligence (context) - McCarthy, Hayes - 1969
2: Decision-theoretic, high-level agent programming in the situation calculus - Boutilier, Reiter et al. - 2000
2: Developing Adaptive Applications: The MOST Experience - Friday, Davies et al.
BibTeX entry: (Update)
M. P. Shanahan, The Event Calculus Explained, in Artificial Intelligence Today, eds. M. J. Wooldridge and M. Veloso, Springer-Verlag Lecture Notes in Artificial Intelligence no. 1600, Springer-Verlag, pages 409-430, 1999. http://citeseer.ist.psu.edu/shanahan99event.html More
@article{ shanahan99event,
author = "Murray Shanahan",
title = "The Event Calculus Explained",
journal = "Lecture Notes in Computer Science",
volume = "1600",
pages = "409--??",
year = "1999",
url = "citeseer.ist.psu.edu/shanahan99event.html" }
Citations (may not include all citations):850 A Logic for Default Reasoning (context) - Reiter - 1980
663 Some Philosophical Problems from the Standpoint of Artificia.. (context) - McCarthy, Hayes - 1969
451 Circumscription --- A Form of Non-Monotonic Reasoning (context) - McCarthy - 1980
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
175 Nonmonotonic Logic and Temporal Projection (context) - Hanks, McDermott - 1987
128 Nonmonotonic Reasoning in the Framework of the Situation Cal.. - Baker - 1991
105 Solving the Frame Problem: A Mathematical Investigation of t.. (context) - Shanahan - 1997
101 Actions with Indirect Effects - Kartha, Lifschitz - 1994
87 Monotonic Solution of the Frame Problem in the Situation Cal.. - Schubert - 1990
84 What Are the Limitations of the Situation Calculus (context) - Gelfond, Lifschitz et al. - 1991
76 Ramification and Causality - Thielscher - 1997
71 Database Updates in the Event Calculus (context) - Kowalski - 1992
71 Concurrent Actions in the Situation Calculus (context) - Lin, Shoham - 1992
60 The Case for Domain-Specific Frame Axioms (context) - Haas - 1987
51 Representing Continuous Change in the Event Calculus - Shanahan - 1990
41 Robotics and the Common Sense Informatic Situation - Shanahan - 1996
38 Reasoning about Action and Change Using Occlusion (context) - Doherty - 1994
33 Features and Fluents: The Representation of Knowledge about .. (context) - Sandewall - 1994
29 Mathematical Logic in Artificial Intelligence (context) - McCarthy - 1988
26 Event Calculus Planning Revisited - Shanahan - 1997
22 Formalizing Reasoning about Change: A Qualitative Reasoning .. - Crawford, Etherington - 1992
9 Reasoning about Discontinuities in the Event Calculus - Miller, Shanahan - 1996
9 Department of Computer and Information Science (context) - Sandewall, Fluents et al. - 1991
6 AAAI Fall Symposium on Cognitive Robotics (context) - Shanahan, Shakey et al. - 1998
5 The Ramification Problem in the Event Calculus - Shanahan - 1999
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www-ics.ee.ic.ac.uk/~mpsha/pubs.html): More
Reasoning about Discontinuities in the Event Calculus - Miller, Shanahan (1996) (Correct)
A Logical Account of the Common Sense Informatic Situation for a .. - Shanahan (1996) (Correct)
Robotics and the Common Sense Informatic Situation - Shanahan (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