Event calculus answer set programming

Event calculus deduction and temporal projection can be performed using answer set programming.

Download and install Smodels and Lparse.
Download event calculus axiomatizations:
- SEC.lp: logic programming simplified event calculus (SEC) (Kowalski, 1986; Shanahan, 1997, chapter 13)
- EC.lp: classical logic event calculus (EC) (Miller & Shanahan, 2002); uses classical negation
- DEC.lp: classical logic discrete event calculus (DEC) (Mueller, 2004); uses classical negation
Download and run domain descriptions:
- SECSleep.lp EC/DEC Sleep.lp - falling asleep and waking up - SEC output EC output DEC output
  
  lparse SEC.lp SECSleep.lp | smodels lparse --true-negation EC.lp Sleep.lp | smodels lparse --true-negation DEC.lp Sleep.lp | smodels
- SECKitchenSink.lp EC/DEC KitchenSink.lp - a kitchen sink overflowing - SEC output EC output DEC output
  
  lparse SEC.lp SECKitchenSink.lp | smodels lparse --true-negation EC.lp KitchenSink.lp | smodels lparse --true-negation DEC.lp KitchenSink.lp | smodels
- EC/DEC PickUp.lp - picking up and moving a coin - EC output DEC output
  lparse --true-negation EC.lp PickUp.lp | smodels lparse --true-negation DEC.lp PickUp.lp | smodels

Kowalski, Robert A. (1986). Database updates in the event calculus (Technical Report DOC 86/12). London: Imperial College of Science, Technology, and Medicine.
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.
Mueller, Erik T. (2004). Event calculus reasoning through satisfiability. Journal of Logic and Computation, 14(5), 703-730.
Shanahan, Murray (1997). Solving the Frame Problem. Cambridge, MA: MIT Press.