## 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