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.
@inproceedings{SoutchanskiT94,
title = {Logical Formalization of Concurrent Actions for Multi-Agent Systems},
author = {Mikhail Soutchanski and Eugenia Ternovskaia},
year = {1994},
researchr = {https://researchr.org/publication/SoutchanskiT94},
cites = {0},
citedby = {0},
pages = {129-144},
booktitle = {Intelligent Agents, ECAI-94 Workshop on Agent Theories, Architectures, and Languages, Amsterdam, The Netherlands, August 8-9, 1994, Proceedings},
editor = {Michael Wooldridge and Nicholas R. Jennings},
volume = {890},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {3-540-58855-8},
}