On Procedure Recognition in the Situation Calculus

Jorge A. Baier. On Procedure Recognition in the Situation Calculus. In 22nd International Conference of the Chilean Computer Science Society (SCCC 2002), 6-8 November 2002, Copiapo, Chile. pages 33-42, IEEE Computer Society, 2002. [doi]

Abstract

Abstract is missing.