Mikhail Soutchanski, Eugenia Ternovskaia. Logical Formalization of Concurrent Actions for Multi-Agent Systems. In Michael Wooldridge, Nicholas R. Jennings, editors, Intelligent Agents, ECAI-94 Workshop on Agent Theories, Architectures, and Languages, Amsterdam, The Netherlands, August 8-9, 1994, Proceedings. Volume 890 of Lecture Notes in Computer Science, pages 129-144, Springer, 1994.
Abstract is missing.