M. Alberti; M. Gavanelli; E. Lamma; P. Mello; P.Torroni, The SCIFF Abductive Proof Procedure, 2005. [software]
M. Alberti; M. Gavanelli; E. Lamma; P. Mello; P. Torroni, The SCIFF abductive proof-procedure, in: AI*IA 2005: Advances in Artificial Intelligence, «LECTURE NOTES IN COMPUTER SCIENCE», 2005, 3673, pp. 135 - 147 (atti di: 9th Congress of the Italian Association for Artificial Intelligence, Milan, September 21-32, 2005) [Contributo in Atti di convegno]
Alberti, M.; Chesani, Federico; Gavanelli, M.; Lamma, E.; Mello, Paola; Torroni, Paolo, The SOCS Computational Logic Approach to the Specification and Verification of Agent Societies, in: Global Computing, «LECTURE NOTES IN COMPUTER SCIENCE», 2005, 3267, pp. 314 - 339 (atti di: IST/FET International Workshop, GC, Rovereto, March 9-12, 2004) [Contributo in Atti di convegno]
Baldoni Matteo; Endriss Ulle; Omicini Andrea; Torroni Paolo, 3rd International Workshop "Declarative Agent Languages and Technologies" (DALT 2005), 2005. [mostra o esposizione]
F. Toni; P. Torroni, 6th International Workshop on Computational Logic in Multi-Agent Systems, «AGENTLINK NEWSLETTER», 2005, 18, pp. 38 - 39 [articolo]
ALBERTI M.; GAVANELLI M.; LAMMA E.; CHESANI F.; MELLO P.; TORRONI P., A Logic based Approach to Interaction Design in Open Multi-Agent Systems, in: AA.VV., Proceedings of the 13th IEEE International workshops on Enabling technologies: Infrastructures for collaborative enterprises (WETICE-2004), LOS ALAMITOS, CA, IEEE Press, 2004, pp. 387 - 392 (atti di: 13th IEEE International Workshops on Enabling Technologies (WETICE 2004), , ) [Contributo in Atti di convegno]
BRACCIALI A.; TORRONI P., A New Framework for Knowledge Revision of Abductive Agents Through Their Interaction, in: Computational Logic in Multi-Agent Systems, Berlin, Springer, «LECTURE NOTES IN COMPUTER SCIENCE», 2004, 3259, pp. 159 - 177 (atti di: 4th International Workshop, CLIMA IV, Fort Lauderdale, FL, January 6-7, 2004) [Contributo in Atti di convegno]
Alberti Marco; Gavanelli Marco; Lamma Evelina; Mello Paola; Torroni Paolo, Abduction with Hypothesis Confirmation, in: PANEGAI ELIO; ROSSI GIANFRANCO, Proceedings of CILC'04 Italian Conference on Computational Logic, PARMA, Dipartimento di Matematica, Università di Parma, 2004, pp. 13 - 27 [Contributo in Atti di convegno]
KAKAS A.; TORRONI P.; DEMETRIOU N., Agent Planning, Negotiation, and Control of Operation, in: RAMON LÓPEZ DE MÁNTARAS E LORENZA SAITTA, EDITORS, Proceedings of the 16th Biennal European Conference on Artificial Intelligence, ECAI 2004, AMSTERDAM, IOS Press, 2004, pp. 28 - 32 (atti di: 16th European Conference on Artificial Intelligence (ECAI), , ) [Contributo in Atti di convegno]
Ciampolini A.; Lamma E.; Mello P.; Torroni P.; Bellavia G., ALIAS: The Abductive LogIc AgentS architecture, 2004. [software]
GAVANELLI M.; LAMMA E.; MELLO P.; TORRONI P., An Abductive Framework for Information Exchange in Multi-Agent systems, in: Computational Logic in Multi-Agent Systems, «LECTURE NOTES IN COMPUTER SCIENCE», 2004, 3259, pp. 34 - 52 (atti di: 4th International Workshop, CLIMA IV, Fort Lauderdale, FL, January 6-7, 2004) [Contributo in Atti di convegno]
J. LEITE; P. TORRONI, CLIMA V: Fifth International Workshop on Computational Logic in Multi-Agent Systems, 2004. [mostra o esposizione]
M. ALBERTI; F. CHESANI; M. GAVANELLI; E. LAMMA; MELLO P.; P. TORRONI, Compliance Verification of Agent Interaction: a Logic-Based Tool, in: Symposium "From Agent Theory to Practice", VIENNA, Austrian Society for Cybernetic., 2004, II, pp. 570 - 575 (atti di: 17th European Meeting on Cybernetics and Systems Research (EMCSR'2004), Vienna, Austria, April 13-16) [Contributo in Atti di convegno]
LEITE J.; TORRONI P. (a cura di): AA.VV., Computational Logic in Multi-Agent Systems. Fifth International Workshop, CLIMA V, Lisbon, Portugal, September 29-30, 2004. Pre-Proceedings, LISBON, New University of Lisbon, 2004, pp. X,260 . [curatela]
TORRONI P., Computational Logic in Multi-Agent Systems: recent advances and future directions, «ANNALS OF MATHEMATICS AND OF ARTIFICIAL INTELLIGENCE», 2004, 42, pp. 293 - 305 [articolo]
