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