Finite State Implementations of Knowledge-Based Programs

Ron van der Meyden. Finite State Implementations of Knowledge-Based Programs. In Vijay Chandru, V. Vinay, editors, Foundations of Software Technology and Theoretical Computer Science, 16th Conference, Hyderabad, India, December 18-20, 1996, Proceedings. Volume 1180 of Lecture Notes in Computer Science, pages 262-273, Springer, 1996.

Abstract

Abstract is missing.