Combined Logics of Knowledge, Time, and Actions for Reasoning about Multi-agent Systems

Nikolay V. Shilov, Natalya Olegovna Garanina. Combined Logics of Knowledge, Time, and Actions for Reasoning about Multi-agent Systems. In Karl Erich Wolff, Dmitry E. Palchunov, Nikolay G. Zagoruiko, Urs Andelfinger, editors, Knowledge Processing and Data Analysis - First International Conference, KONT 2007, Novosibirsk, Russia, September 14-16, 2007 and First International Conference, KPP 2007,Darmstadt, Germany, September 28-30, 2007. Revised Selected Papers. Volume 6581 of Lecture Notes in Computer Science, pages 48-58, Springer, 2007. [doi]

Authors

Nikolay V. Shilov

This author has not been identified. Look up 'Nikolay V. Shilov' in Google

Natalya Olegovna Garanina

This author has not been identified. Look up 'Natalya Olegovna Garanina' in Google