A Logical Framework for Multi-Agent Systems and Joint Attitudes

Lawrence Cavedon, Gil Tidhar. A Logical Framework for Multi-Agent Systems and Joint Attitudes. In Chengqi Zhang, Dickson Lukose, editors, Distributed Artificial Intelligence: Architecture and Modelling, First Australian Workshop on DAI, Canberra, ACT, Australia, November 13, 1995, Proceedings. Volume 1087 of Lecture Notes in Computer Science, pages 16-30, Springer, 1995.

Abstract

Abstract is missing.