Commonsense reasoning

Resources

• Discrete Event Calculus Reasoner documentation
• Event calculus axioms (quick reference)

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