Person: Torroni, P.

Number of items: 11.

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.

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.

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:56:24 BST 2007.