Foto del docente

Paola Mello

Professoressa ordinaria

Dipartimento di Informatica - Scienza e Ingegneria

Settore scientifico disciplinare: ING-INF/05 SISTEMI DI ELABORAZIONE DELLE INFORMAZIONI

Pubblicazioni

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]

Ultimi avvisi

Al momento non sono presenti avvisi.