Chunping Li. Representing the Process Semantics in the Situation Calculus. In Dominik Slezak, Guoyin Wang, Marcin S. Szczuka, Ivo Düntsch, Yiyu Yao, editors, Rough Sets, Fuzzy Sets, Data Mining, and Granular Computing, 10th International Conference, RSFDGrC 2005, Regina, Canada, August 31 - September 3, 2005, Proceedings, Part I. Volume 3641 of Lecture Notes in Computer Science, pages 591-600, Springer, 2005. [doi]
Abstract is missing.