Author:
Marini Simone,Martelli Maurizio,Mascardi Viviana,Zini Floriano
Publisher
Springer Berlin Heidelberg
Reference17 articles.
1. A. Aretti. Semantica di Sistemi Multi-Agente in Logica Lineare. Master’s thesis, DISI-Universitá di Genova, Genova, Italy, 1999. In Italian.
2. Lect Notes Comput Sci;M. Bozzano,1998
3. F. Brazier, B. Dunin Keplcz, N. R. Jennings, and J. Treur. Formal Specification of Multi-Agent Systems: a Real-World Case. In Proc. of International Conference on Multi Agent Systems (ICMAS’95), San Francisco, CA, USA, 1995.
4. G. Delzanno and M. Martelli. Proofs as Computations in Linear Logic. Theoretical Computer Science. To appear.
5. M. Fisher. Representing Abstract Agent Architectures. In M. P. Singh J. P. Mueller and A. S. Rao, editors, Intelligent Agents V, number 1555 in Lecture Notes in Artificial Intelligence. Springer-Verlag, 1999.
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献