Person: Gavanelli, 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: 12.

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.

Gavanelli, M. (2002) An Algorithm Computing the Pareto Frontier in Constraint Satisfaction Problems. AI*IA Notizie, XV (2). pp. 15-23.

Gavanelli, M. (2002) An Algorithm for Multi-Criteria Optimization in CSPs. In: Proceedings of the 15th European Conference on Artificial Intelligence (ECAI 2002). IOS Press, Lyon, France, pp. 136-140.

Gavanelli, M. (2002) An Implementation of Pareto Optimality in CLP(FD). In: CP-AI-OR - International Workshop on Integration of AI and OR techniques in Constraint Programming for Combinatorial Optimisation Problems. , Le Croisic, France, pp. 49-64.

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.

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.

This list was generated on Mon Sep 10 16:44:10 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.