Discrete event calculus theorem proving

Discrete event calculus deduction and temporal projection problems can be solved using automated theorem proving (ATP) systems. The CSR problem domain of the TPTP problem library by Geoff Sutcliffe and Christian Suttner contains sample discrete event calculus deduction problems that can be solved using first-order logic ATP systems.
Commonsense Reasoning home page