## Commonsense Reasoningby Erik T. MuellerISBN-13: 978-0128014165 Morgan Kaufmann/Elsevier |

- Discrete Event Calculus Reasoner documentation
- Event calculus axioms (quick reference)
- Answers to exercises for instructors

- Event calculus answer set programming: solve event calculus deduction and temporal projection problems using answer set programming
- Discrete Event Calculus Reasoner: solve event calculus deduction, temporal projection, abduction, planning, postdiction, and model finding problems efficiently using SAT solvers
- Discrete event calculus theorem proving: solve event calculus deduction and temporal projection problems using automated theorem proving

- Massachusetts Institute of Technology, Media Arts and Sciences, MAS 761(G): Common Sense Reasoning for Interactive Applications, Henry Lieberman
- University at Buffalo, The State University of New York, Department of Computer Science and Engineering, CSE663: Advanced Knowledge Representation, Prof. Stuart C. Shapiro
- Johns Hopkins University, Department of Computer Science, 600.325/425: Declarative Methods, Prof. Jason Eisner
- University of California, Los Angeles, Computer Science Department, CS 263A: Language and Thought, Prof. Michael G. Dyer