November 2014
Intermediate to advanced
516 pages
16h 34m
English
Abstract In this appendix, we present BDEC, a branching time version of the discrete event calculus. We characterize the relationship between BDEC and the linear discrete event calculus, and between BDEC and a simple version of the situation calculus.
Keywords Event calculus, Discrete event calculus with branching time, Situation calculus
In this appendix, we present BDEC, a branching time version of the discrete event calculus.1 We characterize the relationship between BDEC and the linear discrete event calculus, and between BDEC and a simple version of the situation calculus.
We start by defining LDEC, a version of the linear discrete event calculus, which facilitates comparison ...
Read now
Unlock full access