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]
LEITE JOAO; OMICINI ANDREA; STERLING LEON; TORRONI PAOLO, Declarative Agent Languages and Technologies, HEIDELBERG, Springer, 2004, pp. 281 (LECTURE NOTES IN COMPUTER SCIENCE). [curatela]
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) [Contributo in Atti di convegno]
J. LEITE; P. TORRONI, Fifth International Workshop on Computational Logic in Multi-Agent Systems - CLIMA V, «AGENTLINK NEWSLETTER», 2004, 16, pp. 39 - 39 [articolo]
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, «LECTURE NOTES IN COMPUTER SCIENCE», 2004, 2990, pp. 243 - 262 (atti di: First International Workshop, DALT, Melbourne, July 15, 2003) [Contributo in Atti di convegno]
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) [prefazione]
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 [introduzione]
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 . [curatela]
