Person: Alberti, M.

 
EPrints.org
Agentlink Clearinghouse is powered by GNU EPrints developed by the School of Electronics and Computer Science of the University of Southampton.

Number of items: 8.

Alberti, M. and Ciampolini, A. and Gavanelli, M. and Lamma, E. and Mello, P. and Torroni, P. (2003) A social ACL semantics by deontic constraints. In: 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, 2691. Springer-Verlag, Prague, Czech Republic, pp. 204-213.

Alberti, M. and Gavanelli, M. and Lamma, E. and Mello, P. and Torroni, P. (2003) An Abductive Computational Model for Open Societies. In: Proceedings of the 8th National Congress on Artificial Intelligence, AI*IA 2003, Pisa, Italy. LNAI (2829). 2829, pp. 287-299.

Alberti, M. and Chesani, F. and Gavanelli, M. and Lamma, E. and Mello, P. and Torroni, P. (2004) Compliance Verification of Agent Interaction: a Logic-based Tool. In: Symposium "From Agent Theory to Agent Implementation" (AT2AI-4). Proceedings of the 17th European Meeting on Cybernetics and Systems Research (EMCSR2004), II. Austrian Society for Cybernetic Studies, Vienna, Austria, pp. 570-575.

Alberti, M. and Ciampolini, A. and Gavanelli, M. and Lamma, E. and Mello, P. and Torroni, P. (2003) Logic Based Semantics for an Agent Communication Language. In: Proceedings of the International Workshop on Formal Approaches to Multi-Agent Systems (FAMAS). , Warsaw, Poland, pp. 21-36.

Alberti, M. and Gavanelli, M. and Lamma, E. and Mello, P. and Torroni, P. (2003) Modeling interactions using social integrity constraints: a resource sharing case study. In: Declarative Agent Languages and Technologies, First International Workshop, DALT 2003. , Melbourne, Victoria, pp. 81-96.

Alberti, M. and Daolio, D. and Gavanelli, M. and Lamma, E. and Mello, P. and Torroni, P. (2004) Specification and verification of agent interaction protocols in a logic-based system. In: Proceedings of the 19th Annual ACM Symposium on Applied Computing (SAC 2004). Special Track on Agents, Interactions, Mobility, and Systems (AIMS), Nicosa, Cyprus, Mar. 14-17 2004. ACM Press, pp. 72-78.

Alberti, M. and Gavanelli, M. and Lamma, E. and Mello, P. and Torroni, P. (2003) Specification and verification of agent interactions using social integrity constraints. In: Proceedings of the Workshop on Logic and Communication in Multi-Agent Systems, LCMAS 2003, Eindhoven, the Netherlands, 29 June 2003. Electronic Notes in Theoretical Computer Science, 85 (2). Elsevier Science.

Alberti, M. and Lamma, E. (2002) Synthesis of Object Models from Partial Models: A CSP Perspective. In: ECAI 2002, Proceedings of the 15th European Conference on Artificial Intelligence. IOS Press, Lyon, France, pp. 116-120.

This list was generated on Mon Sep 10 16:39:54 BST 2007.

   

AgentLink is the European Commission's IST-funded Coordination Action for Agent-Based Computing
and is coordinated by the
University of Liverpool and University of Southampton
If you encounter any problems with these pages please contact web@agentlink.org.