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), , ) [Contribution to conference proceedings]
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, 2004, 3259, pp. 34 - 52 (atti di: 4th International Workshop, CLIMA IV, Fort Lauderdale, FL, January 6-7, 2004) [Contribution to conference proceedings]
J. LEITE; P. TORRONI, CLIMA V: Fifth International Workshop on Computational Logic in Multi-Agent Systems, 2004. [Exhibition]
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) [Contribution to conference proceedings]
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 . [Editorship]
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 [Scientific article]
LEITE JOAO; OMICINI ANDREA; STERLING LEON; TORRONI PAOLO, Declarative Agent Languages and Technologies, HEIDELBERG, Springer, 2004, pp. 281 (LECTURE NOTES IN COMPUTER SCIENCE). [Editorship]
M. Alberti; F. Chesani; M. Gavanelli; A. Guerri; E. Lamma; P. Mello; M. Milano; P. Torroni, Expressing Interaction in Combinatorial Auction through Social Integrality Constraints, in: ALFREDO MILANI, Conferenza Italiana sui sistemi Intelligenti 2004, PERUGIA, Morlacchi Editore, 2004, pp. 80 - 81 (atti di: AIIA Nono Convegno, Perugia, Settembre 2004) [Contribution to conference proceedings]
J. LEITE; P. TORRONI, Fifth International Workshop on Computational Logic in Multi-Agent Systems - CLIMA V, «AGENTLINK NEWSLETTER», 2004, 16, pp. 39 - 39 [Scientific article]
ALBERTI M.; GAVANELLI M.; LAMMA E.; MELLO P.; TORRONI P., Modeling interactions using social integrity constraints: a resource sharing case study, in: Declarative Agent Languages and Technologies, 2004, 2990, pp. 243 - 262 (atti di: First International Workshop, DALT, Melbourne, July 15, 2003) [Contribution to conference proceedings]
Leite Joao; Omicini Andrea; Torroni Paolo; Yolum Pinar, Preface, in: LEITE JOAO OMICINI ANDREA TORRONI PAOLO YOLUM PINAR, Proceedings of the 2nd International Workshop "Declarative Agent Languages and Technologies" (DALT 2004), NEW YORK, s.n., 2004, pp. II - II [Brief introduction]
Leite Joao Alexandre; Omicini Andrea; Sterling Leon; Torroni Paolo, Preface, in: Declarative Agent Languages and Technologies, HEIDELBERG, Springer, 2004, pp. V - VII (LECTURE NOTES IN COMPUTER SCIENCE) [Preface]
Leite Joao; Omicini Andrea; Torroni Paolo; Yolum Pinar, Proceedings of the 2nd International Workshop "Declarative Agent Languages and Technologies" (DALT 2004), NEW YORK, s.n., 2004, pp. VII-312 . [Editorship]
M. ALBERTI; D. DAOLIO; M. GAVANELLI; E. LAMMA; P. MELLO; P. TORRONI, Specification and Verification of Agent Interaction Protocols in a Logic-based System, in: Proceedings of the 2004 ACM Symposium on Applied Computing, s.l, s.n, 2004, pp. 72 - 78 (atti di: 19th ACM Symposium on Applied Computing, SAC 2004, Special Track on Agents, Interactions, Mobility,, Cyprous, March 14-17) [Contribution to conference proceedings]