Commonsense Reasoning with the Discrete Event Calculus Reasoner

Commonsense reasoning is the human ability to make inferences about
properties and events in the everyday world. The Discrete Event
Calculus Reasoner is an open source program for performing automated
commonsense reasoning using the event calculus, a comprehensive and
highly usable logic-based formalism. It solves problems efficiently by
converting them into satisfiability (SAT) problems. The program
complements the book
Commonsense
Reasoning.