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]
A. Ciampolini; P. Mello; S. Storari., A multi-agent system for medical
services synergy and coordination., in: Proceedings of ECAI2004 workshop on Agents applied in health care., VALENCIA, s.n, 2004, pp. 38 - -46 (atti di: ECAI2004 workshop on Agents applied in health care., Valencia, Spain, 23-24 August 2004) [Contributo in Atti di convegno]
E. LAMMA; MELLO P.; F. RIGUZZI, A System for Measuring Function Points from an ER-DFD Specification, «COMPUTER JOURNAL», 2004, 47, pp. 358 - 372 [articolo]
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]
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]
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]
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]
Ciampolini A.; Mello P.; Storari S., Integration of medical services in the MeSSyCo agent system (demo session)., in: Proceedings of AAMAS 2004, NEW YORK, ACM, 2004(atti di: Third International Joint Conference on Autonomous Agents and Multiagent Systems, New York, Luglio 2004) [Contributo in Atti di convegno]
G. Gamberoni; E. Lamma; P. Mello; P. Pavesi; S. Storari, Learning the Dose Adjustment for the Oral Anticoagulation Treatment, in: Biological and Medical Data Analysis, «LECTURE NOTES IN COMPUTER SCIENCE», 2004, 3337, pp. 171 - 181 (atti di: 5th International Symposium, ISBMDA 2004, Barcelona, November 18-19, 2004) [Contributo in Atti di convegno]
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]
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) [Contributo in Atti di convegno]
alberti marco; gavanelli marco; lamma evelina; mello paola; sartor giovanni; torroni paolo, Towards a Mapping of Deontic Logic onto an Abductive Framework, in: MILANI ALFREDO, Conferenza Italiana sui sistemi Intelligenti 2004, PERUGIA, Morlacchi Editore, 2004, pp. 79 - 79 [Contributo in Atti di convegno]
Barbieri B.; Gamberoni G.; Lamma E.; Mello P.; Pavesi P.C.; Storari S.; Trocino G., Un sistema basato sulla conoscenza per la terapia anticoagulante orale, «INTELLIGENZA ARTIFICIALE», 2004, 4, pp. 9 - 15 [articolo]
