The event calculus in classical logic - alternative axiomatisations Export

@misc{miller99event, abstract = {We present several alternative classical logic axiomatisations of the Event Calculus, a narrative based formalism for reasoning about actions and change. We indicate the range of applicability and key characteristics of each alternative formulation. 1 1 Introduction The "Event Calculus" was originally introduced by Kowalski and Sergot [KoSe 86] as a logic program framework for representing and reasoning about actions (or events) and their effects, especially in database applications. However, ...}, author = {Miller, R. and Shanahan, M.}, citeulike-article-id = {349701}, citeulike-linkout-0 = {http://citeseer.ist.psu.edu/miller99event.html}, citeulike-linkout-1 = {http://citeseer.lcs.mit.edu/miller99event.html}, citeulike-linkout-2 = {http://citeseer.ifi.unizh.ch/miller99event.html}, citeulike-linkout-3 = {http://citeseer.comp.nus.edu.sg/miller99event.html}, keywords = {ai, circumscription, depth, frame\_problem, logic, reasoning\_about\_action}, posted-at = {2005-10-13 07:02:16}, priority = {3}, title = {The event calculus in classical logic - alternative axiomatisations}, url = {http://citeseer.ist.psu.edu/miller99event.html}, year = {1999} }

TY - GEN ID - miller99event L3 - citeulike-article-id:349701 N2 - We present several alternative classical logic axiomatisations of the Event Calculus, a narrative based formalism for reasoning about actions and change. We indicate the range of applicability and key characteristics of each alternative formulation. 1 1 Introduction The "Event Calculus" was originally introduced by Kowalski and Sergot [KoSe 86] as a logic program framework for representing and reasoning about actions (or events) and their effects, especially in database applications. However, ... TI - The event calculus in classical logic - alternative axiomatisations KW - ai KW - circumscription KW - depth KW - frame_problem KW - logic KW - reasoning_about_action AU - Miller, R AU - Shanahan, M PY - 1999/// UR - http://citeseer.ist.psu.edu/miller99event.html ER -