Person: Lamma, E.

 
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: 14.

Ciampolini, A. and Lamma, E. and Mello, P. and Torroni, P. (2002) A Proof System for the Safe Execution of Tasks in Multi-Agent Systems. In: Proceedings of the 8th European Conference on Logics in Artificial Intelligence (JELIA02). LNAI (2424). Springer-Verlag, pp. 14-26.

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.

Gavanelli, M. and Lamma, E. and Mello, P. and Torroni, P. (2004) An abductive framework for information sharing in multi-agent systems. In: CLIMA-IV: Computational Logic in Multi-Agent Systems, Fourth International Workshop. Proceedings, Fort Lauderdale, FL, USA, Jan. 6-7 2004. Lecture Notes in Artificial Intelligence. Springer-Verlag.

Lamma, E. and Pereira, L.M. and Riguzzi, F. (2003) Belief Revision via Lamarckian Evolution. New Generation Computing, 21 (3). pp. 247-275.

Ciampolini, A. and Lamma, E. and Mello, P. and Toni, F. and Torroni, P. (2003) Co-operation and competition in ALIAS: a logic framework for agents that negotiate. Computational Logic in Multi-Agent Systems, Annals of Mathematics and Artificial Intelligence, 37 (1-2). pp. 65-92.

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.

Lamma, E. and Mello, P. and Riguzzi, F. and Storari, S. (2003) Discovering Validation Rules from Micro-biological Data. New Generation Computing, 21 (2). pp. 123-134.

Gavanelli, M. and Lamma, E. and Mello, P. and Milano, M. and Torroni, P. (2003) Interpreting Abduction in CLP. In: APPIA-GULP-PRODE Joint Conference on Declarative Programming. , Universita Mediterranea di Reggio Calabria, Italy, pp. 25-35.

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:51:13 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.