Discrete event calculus with branching time

We add branching time to the linear discrete event calculus, which yields a formalism for commonsense reasoning that combines the benefits of the situation calculus and the event calculus. We show how the branching discrete event calculus can be used to solve commonsense reasoning problems involving hypothetical events, concurrent events with cumulative and canceling effects, and triggered events. Copyright © 2007, Association for the Advancement of Artificial Intelligence (www.aaai.org). All rights reserved.