M. Shanahan, `The event calculus explained', Lecture Notes in Computer Science, 1600, (1999). Home/Search Document Details and Download
Summary Related Articles Check |
This paper is cited in the following contexts:
A Platform Supporting Coordinated Adaptation in Mobile .. - Efstratiou, Friday.. (2002) (2 citations) (Correct)
....A central concept within our architecture is the ability to specify policies using a policy description language. In order to satisfy the requirements specified 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 specifically, event calculus defines two distinct entities: events and fluents. An event is something that takes place at a specific point in time. A fluent can ....
M. Shanahan. The event calculus explained. In M. J. Wooldridge and M. Veloso, editors, Articial Intelligence Today, Vol. 1600 of LNCS, pages 409--430. Springer, 1999.
Utilising the Event Calculus for Policy Driven.. - Efstratiou.. (2002) (2 citations) (Correct)
....is the decoupling of the adaptive mechanisms supported by each application and their adaptation policies directing when and how adaptation should take place. All 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 policy language that handles adaptation allows the dynamic modification of the adaptive behaviour in order to overcome potential conflicts or to better satisfy the ....
M. Shanahan. The event calculus explained. In M. J. Wooldridge and M. Veloso, editors, Articial Intelligence Today, Vol. 1600 of LNCS, pages 409--430. Springer, 1999.
The Representation of Actions in KM and Cyc - Parmar (2001) (Correct)
..... 23 1 Representation of Actions in Cyc This study of the actions in Cyc is based on version 12, patch 1.652 of the IKB. Cyc makes no commitment to any formalism for representing change, such as situation calculus [McCarthy and Hayes, 1969] event calculus [Shanahan, 1999], or STRIPS [Fikes and Nilsson, 1971] Actions are de ned by their location in the Action hierarchy and what axioms and slots (predicates) apply to them. For example, Cracking is a subclass of the actions classes SeparationEvent, IntrinsicStateChangeEvent, and PhysicalEvent. Through the type ....
Shanahan, M. (1999). The Event Calculus Explained . In Wooldridge, M. J. and Veloso, M., editors, Springer-Verlag Lecture Notes in Arti cial Intelligence, 1600, pages 409-430. Springer-Verlag.
A Unifying Semantics for Time and Events - Bennett, Galton (2000) (1 citation) (Correct)
....the semantics of actions, events and temporal relations. Among the most in uential of the large number of formalisms proposed to deal with these are: the Situation Calculus (McCarthy and Hayes 1969) Allen s theory of action and time (Allen 1984) and the Event Calculus (Kowalski and Sergot 1986, Shanahan 1999). Philosophers have also examined various logical aspects of events and we aim to take into account in particular the analyses given by Davidson (1980) and Galton (1984) We present unifying language that we call Versatile Event Logic (VEL) embodying a range of insights into the logic of time and ....
Shanahan, M.: 1999, The event calculus explained, in M.J.Wooldridge and M. Veloso (eds), Articial Intelligence Today, Vol. 1600 of LNCS, Springer-Verlag, pp. 409{ 430.
The Event Calculus in Classical Logic - Alternative.. - Miller, Shanahan (1999) (4 citations) Self-citation (Shanahan) (Correct)
.... to deal with continuous change and mathematical modelling in [MiSh 96] Shan 90] and [VaDe 94a] to deal with ramifications in [DeTh 98] KaMi 98] and [Shan 99a] to deal with representing agent beliefs in [LeQu 98] and to deal with programming constructs and compound events in [Davi 96] 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 93] Prov 95] VaDe 95] and ....
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.
On-line Decision-Theoretic Golog for Unpredictable Domains - Ferrein, Fritz, Lakemeyer (2004) (Correct)
No context found.
M. Shanahan, `The event calculus explained', Lecture Notes in Computer Science, 1600, (1999).
On-line Decision-Theoretic Golog for Unpredictable Domains - Ferrein, Fritz, Lakemeyer (Correct)
No context found.
M. Shanahan, `The event calculus explained', Lecture Notes in Computer Science, 1600, (1999).
Princess Cassie: An Embodied Cognitive Agent in a Virtual.. - Vikranth Rao Department (Correct)
No context found.
M. P. Shanahan. The event calculus explained. In M. J. Wooldridge and M. Veloso, editors, Artificial Intelligence Today: Recent Trends and Developments, number 1600 in Lecture Notes in Artificial Intelligence, pages 409--430. Springer-Verlag, Berlin, 1999.
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