Marco Gavanelli

Ph.D.

Publications

Freely downloadable publications:

ACM DL Author-ize serviceSustainable biomass power plant location in the Italian Emilia-Romagna region
Massimiliano Cattafi, Marco Gavanelli, Michela Milano, Paolo Cagnoli
ACM Transactions on Intelligent Systems and Technology (TIST), 2011
ACM DL Author-ize serviceVerifiable agent interaction in abductive logic programming: The SCIFF framework
Marco Alberti, Federico Chesani, Marco Gavanelli, Evelina Lamma, Paola Mello, Paolo Torroni
ACM Transactions on Computational Logic (TOCL), 2008
ACM DL Author-ize serviceAn abductive framework for a-priori verification of web services
Marco Alberti, Marco Gavanelli, Evelina Lamma, Federico Chesani, Paola Mello, Marco Montali
PPDP '06 Proceedings of the 8th ACM SIGPLAN international conference on Principles and practice of declarative programming, 2006
ACM DL Author-ize serviceDealing with incomplete knowledge on CLP(FD) variable domains
Marco Gavanelli, Evelina Lamma, Paola Mello, Michela Milano
ACM Transactions on Programming Languages and Systems (TOPLAS), 2005
ACM DL Author-ize serviceSpecification and verification of agent interaction protocols in a logic-based system
Marco Alberti, Davide Daolio, Paolo Torroni, Marco Gavanelli, Evelina Lamma, Paola Mello
SAC '04 Proceedings of the 2004 ACM symposium on Applied computing, 2004

List of publications:

See also the lists:

Some publications freely available on-line