Event calculus answer set programming

Event calculus deduction and temporal projection can be performed using answer set programming.
  1. Download and install Smodels and Lparse.
  2. Download event calculus axiomatizations:
  3. Download and run domain descriptions:

See also

  1. ASU-CSE Event Calculus Answer Set Programming: Versions of EC.lp and DEC.lp that support abduction as well as deduction, developed by Joohyung Lee and Ravi Palla (added 10/10/2008).


  1. Kowalski, Robert A. (1986). Database updates in the event calculus (Technical Report DOC 86/12). London: Imperial College of Science, Technology, and Medicine.
  2. Miller, Rob & Shanahan, Murray (2002). Some alternative formulations of the event calculus. In Antonis C. Kakas and Fariba Sadri (Eds.), Lecture Notes in Computer Science: Vol. 2408. Computational Logic: Logic Programming and Beyond: Essays in Honour of Robert A. Kowalski, Part II (pp. 452-490). Berlin: Springer.
  3. Mueller, Erik T. (2004). Event calculus reasoning through satisfiability. Journal of Logic and Computation, 14(5), 703-730.
  4. Shanahan, Murray (1997). Solving the Frame Problem. Cambridge, MA: MIT Press.

Commonsense Reasoning home page