Occurrences and narratives as constraints in the branching structure of the situation calculus. Pinto, J. Journal of Logic and Computation, 8:777–808, 1998.
Occurrences and narratives as constraints in the branching structure of the situation calculus [pdf]Paper  bibtex   1 download  

Downloads: 1