Author:
Alberti Marco,Chesani Federico,Gavanelli Marco,Lamma Evelina,Mello Paola,Torroni Paolo
Publisher
Springer Berlin Heidelberg
Reference30 articles.
1. LNAI;P. Davidsson,2002
2. Guerin, F., Pitt, J.: Proving properties of open agent systems. In: Castelfranchi, C., Lewis Johnson, W. (eds.) Proceedings of the First International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2002), Part II, Bologna, Italy, pp. 557–558. ACM Press, New York (2002)
3. Societies Of ComputeeS (SOCS): a computational logic model for the description, analysis and verification of global and open societies of heterogeneous computees. IST-2001-32530 (2001), Home Page: http://lia.deis.unibo.it/Research/SOCS/
4. LNAI;M. Alberti,2003
5. Alberti, M., Gavanelli, M., Lamma, E., Mello, P., Torroni, P.: Specification and verification of agent interactions using social integrity constraints. Electronic Notes in Theoretical Computer Science 85 (2003)
Cited by
17 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献