Lifeng He, Yuyan Chao, Shohei Kato, Tetsuo Araki, Hirohisa Seki, Hidenori Itoh. Implementing an Automated Reasoning System for Multi-Agent Knowledge and Time. In Chengqi Zhang, Dickson Lukose, editors, Multi-Agent Systems: Methodologies and Applications, Second Australian Workshop on Distributed Artificial Intelligence, Cairns, Queensland, Australia, August 27, 1996, Revised Papers. Volume 1286 of Lecture Notes in Computer Science, pages 152-165, Springer, 1996.
Abstract is missing.