Author:
Alberti Marco,Gavanelli Marco,Lamma Evelina,Mello Paola,Torroni Paolo,Sartor Giovanni
Publisher
Springer Science and Business Media LLC
Subject
Applied Mathematics,Computational Mathematics,Modeling and Simulation,General Computer Science,General Decision Sciences
Reference39 articles.
1. Alberti M, Gavanelli M, Lamma E, Mello P, Torroni P (2003a) An abductive interpretation for open societies. In: Cappelli A, Turini F (eds) AI*IA 2003: Advances in Artificial Intelligence, Proceedings of the 8th Congress of the Italian Association for Artificial Intelligence, Pisa (Lecture Notes in Artificial Intelligence), vol. 2829. Springer-Verlag, pp 287–299
2. Alberti M, Ciampolini A, Gavanelli M, Lamma E, Mello P, Torroni, P (2003b) A social ACL Semantics by Deontic Constraints. In: Maürík V, Müller J, Püechouücek M (eds) Multi-Agent Systems and Applications III. Proceedings of the 3rd International Central and Eastern European Conference on Multi-Agent Systems, CEEMAS 2003. (Lecture Notes in Artificial Intelligence), vol. 2691. Springer-Verlag, Prague, Czech Republic: pp 204–213
3. Alberti M, Gavanelli M, Lamma E, Mello P, Torroni, P (2003c) Specification and Verification of Agent Interactions using Social Integrity Constraints. Electr Notes Theor Comp Sci 85(2)
4. Alberti M, Daolio D, Gavanelli M, Lamma E, Mello P, Torroni P (2004a) Specification and Verification of Agent Interaction Protocols in a Logic-based System. In: Haddad H M, Omicini A, Wainwright R L (eds) Proceedings of the 19th Annual ACM Symposium on Applied Computing (SAC 2004). Special Track on Agents, Interactions, Mobility, and Systems (AIMS). ACM Press, Nicosia, Cyprus pp 72– 78
5. Alberti M, Chesani F, Gavanelli M, Lamma E, Mello P, Torroni P (2005a) The SOCS Computational Logic Approach for the Specification and Verification of Agent Societies. In: Priami C, Quaglia P (eds) Global Computing: IST/FET International Workshop, GC 2004 Rovereto, Italy, March 9–12, 2004 Revised Selected Papers. (Lecture Notes in Artificial Intelligence), vol. 3267. Springer-Verlag, pp 324– 339
Cited by
22 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献