Commonsense Reasoning

Online Resources

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

Event Calculus Reasoning Tools

• 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

Courses

• 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