Occurrences and Narratives as Constraints in the Branching Structure of the Situation Calculus

Javier Pinto. Occurrences and Narratives as Constraints in the Branching Structure of the Situation Calculus. Journal of Logic and Computation, 8(6):777-808, 1998.

Abstract

Abstract is missing.