id: 01926646
dt: a
an: 01926646
au: Miller, Rob; Shanahan, Murray
ti: Some alternative formulations of the event calculus.
so: Kakas, Antonis C. (ed.) et al., Computational logic: Logic programming and
    beyond. Essays in honour of Robert A. Kowalski. Part 2. Berlin:
    Springer. Lect. Notes Comput. Sci. 2408, 452-490 (2002).
py: 2002
pu: Berlin: Springer
la: EN
cc: F.4.1 D.1.6
ut: 
ci: 
li: http://link.springer.de/link/service/series/0558/bibs/2408/24080452.htm
ab: Summary: The Event Calculus is a narrative based formalism for reasoning
    about actions and change originally proposed in logic programming form
    by Kowalski and Sergot. In this paper we summarise how variants of the
    Event Calculus may be expressed as classical logic axiomatisations, and
    how under certain circumstances these theories may be reformulated as
    “action description language” domain descriptions using the
    Language $\cal{E}$. This enables the classical logic Event Calculus to
    inherit various provably correct automated reasoning procedures
    recently developed for $\cal{E}$.
rv: