Mario R. F. Benevides, Carla A. D. M. Delgado, Michel Carlini. Proving Epistemic and Temporal Properties from Knowledge Based Programs. In Gerson Zaverucha, Augusto Cesar Pinto Loureiro da Costa, editors, Advances in Artificial Intelligence - SBIA 2008, 19th Brazilian Symposium on Artificial Intelligence, Savador, Brazil, October 26-30, 2008. Proceedings. Volume 5249 of Lecture Notes in Computer Science, pages 134-144, Springer, 2008. [doi]
Abstract is missing.