Foto del docente

Anna Ciampolini

Professoressa ordinaria

Dipartimento di Informatica - Scienza e Ingegneria

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

Pubblicazioni

A. Ciampolini; P. Mello; S. Storari, An Abductive Multi-Agent Framework for Distributed Service Coordination and Reasoning in Emergency Scenarios., in: Proceedings of the 1st International Workshop on MObile and DIstributed approaches in Emergency (MODIES, s.l, IEEE Press, 2008, pp. 60 - 64 (atti di: 1st International Workshop on MObile and DIstributed approaches in Emergency Scenarios (MODIES 2008), Tampere, Finland, 30 Gennaio - 1 Febbraio 2008) [Contributo in Atti di convegno]

A. Ciampolini; P.Mello; S. Storari, An Abductive Multi-Agent System for Medical Services Coordination, in: Proceedings of Artificial Intelligence in Theory and Practice II, IFIP 20th World Computer Congress, TC 12: IFIP AI 2008, BOSTON, Springer, 2008, 276, pp. 421 - 426 (atti di: IFIP World Computer Congress 2008, IFIP AI, Milano, 7th-10th September 2008) [Contributo in Atti di convegno]

P. Ancilotti; M.Boari;A. Ciampolini;G.Lipari, Sistemi Operativi. Seconda edizione, MILANO, McGraw-Hill, 2008, pp. 403 . [libro]

F. Chesani; A. Ciampolini; P. Mello; M. Montali; S. Storari, Testing guidelines conformance by translating a graphical language to computational logic., in: Proceedings of the workshop "AI techniques in healthcare:evidence based guidelines and protocols"., s.l, s.n, 2006(atti di: Workshop AI techniques in healthcare:evidence based guidelines and protocols. In conjunction with ECAI 2006, Riva del Garda, 28 August - 1 September 2006) [Contributo in Atti di convegno]

M. Alberti; A. Ciampolini; F. Chesani; P. Mello; M. Montali; S. Storari; P. Torroni, Protocol Specification and Verification by Using Computational Logic, in: WOA 2005 Dagli Oggetti agli Agenti - Simulazione e Analisi Formale dei Sistemi Complessi, BOLOGNA, Pitagora Editrice, 2005(atti di: WOA 2005 Dagli Oggetti agli Agenti, Camerino, 14-16 Novembre 2005) [Contributo in Atti di convegno]

M.Boari;P.Ancilotti;A.Ciampolini;G.Lipari, Sistemi operativi, MILANO, McGraw-Hill, 2005, pp. 337 (collana di istruzione scientifica). [libro]

Ciampolini A.; Mello P.; Montali M.; Storari S., Using social integrity constraints for on-the-fly compliance verification of medical protocol, in: A. TSYMBAL, P. CUNNINGHAM, Proceedings of eighteenth IEEE Symphosium on Computer Based Medical Systems (CBMS) 2005, LOS ALAMITOS, IEEE Press, 2005, pp. 503 - 505 [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]

Ciampolini A.; Lamma E.; Mello P.; Torroni P.; Bellavia G., ALIAS: The Abductive LogIc AgentS architecture, 2004. [software]

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]

CIAMPOLINI A.; TORRONI P., Using Abductive Logic Agents for Modeling the Judicial Evaluation of Criminal Evidence, «APPLIED ARTIFICIAL INTELLIGENCE», 2004, 18, pp. 251 - 275 [articolo]