Skip to content

Marco Gavanelli

Marco Gavanelli's photo
Associate Professor
Dipartimento di Ingegneria, Università di Ferrara,

Room 341
Blocco A, Polo Scientifico Tecnologico
University of Ferrara
Via Saragat 1, 44122, Ferrara, Italy
Tel: +39 0532 974833 Fax: +39 0532 974833
E-Mail: marco.gavanelli@unife.it
Ricevimento: Su appuntamento richiesto via email o telefono.
University Home Page

Last Publications

2021

[1] Elena Bellodi, Marco Gavanelli, Riccardo Zese, Evelina Lamma, and Fabrizio Riguzzi. Nonground abductive logic programming with probabilistic integrity constraints. Theory and Practice of Logic Programming, 21(5):557--574, © Cambridge University Press, 2021. [ bib | DOI | http | .pdf ]

2020

[4] Marco Alberti, Marco Gavanelli, Evelina Lamma, Fabrizio Riguzzi, Ken Satoh, and Riccardo Zese. Dischargeable obligations in the SCIFF framework. Fundamenta Informaticae, 176(3-4):321--348, 2020. [ bib | DOI ]
[3] Federico Chesani, Giuseppe Cota, Marco Gavanelli, Evelina Lamma, Paola Mello, and Fabrizio Riguzzi. Declarative and mathematical programming approaches to decision support systems for food recycling. Engineering Applications of Artificial Intelligence, 95:103861, 2020. [ bib | DOI ]
[2] Elena Bellodi, Alessandro Bertagnon, Marco Gavanelli, and Riccardo Zese. Improving the efficiency of euclidean TSP solving in constraint programming by predicting effective nocrossing constraints. In Matteo Baldoni and Stefania Bandini, editors, AIxIA 2020 - Advances in Artificial Intelligence - XIXth International Conference of the Italian Association for Artificial Intelligence, Virtual Event, November 25-27, 2020, Revised Selected Papers, volume 12414 of Lecture Notes in Computer Science, pages 318--334. Springer, 2020. [ bib | DOI | http ]
[1] Elena Bellodi, Alessandro Bertagnon, Marco Gavanelli, and Riccardo Zese. Improving the efficiency of euclidean TSP solving in Constraint Programming by predicting effective nocrossing constraints. In Riccardo De Benedictis, Marco Maratea, Andrea Micheli, Enrico Scala, Ivan Serina, Alessandro Umbrico, and Mauro Vallati, editors, IPS-RCRA 2020, Italian Workshop on Planning and Scheduling and International Workshop on Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion, volume 2745 of CEUR Workshop Proceedings, pages 1--15, Aachen, Germany, 2020. © by the authors, Sun SITE Central Europe. [ bib | .pdf ]

2018

[2] Marco Gavanelli, Evelina Lamma, Fabrizio Riguzzi, Elena Bellodi, Riccardo Zese, and Giuseppe Cota. Reasoning on datalog+- ontologies with abductive logic programming. Fundamenta Informaticae, 159:65--93, © IOS Press, 2018. [ bib | DOI | .pdf ]
[1] Marco Gavanelli, Marco Alberti, and Evelina Lamma. Accountable protocols in abductive logic programming. ACM Trans. Internet Technol., 18(4):46:1--46:20, April 2018. [ bib | DOI | http ]

2017

[2] Marco Alberti, Marco Gavanelli, Evelina Lamma, Fabrizio Riguzzi, and Zese Riccardo. Dischargeable obligations in abductive logic programming. In Stefania Costantini, Enrico Franconi, William Van Woensel, Roman Kontchakov, Fariba Sadri, and Dumitru Roman, editors, Rules and Reasoning: International Joint Conference, RuleML+RR 2017, London, UK, July 12--15, 2017, Proceedings, volume 10364 of Lecture Notes in Computer Science, pages 7--21, Cham, 2017. © Springer International Publishing AG, Springer International Publishing. The final publication is available at Springer via http://dx.doi.org/10.1007/978-3-319-61252-2_2. [ bib | DOI | .pdf ]
[1] Marco Gavanelli, Evelina Lamma, Fabrizio Riguzzi, Elena Bellodi, Zese Riccardo, and Giuseppe Cota. Abductive logic programming for normative reasoning and ontologies. In Mihoko Otake, Setsuya Kurahashi, Yuiko Ota, Ken Satoh, and Daisuke Bekki, editors, New Frontiers in Artificial Intelligence: JSAI-isAI 2015 Workshops, LENLS, JURISIN, AAA, HAT-MASH, TSDAA, ASD-HR, and SKL, Kanagawa, Japan, November 16-18, 2015, Revised Selected Papers, volume 10091 of Lecture Notes in Computer Science, pages 187--203, Cham, 2017. © Springer International Publishing AG, Springer International Publishing. [ bib | DOI ]

2015

[3] Marco Gavanelli, Evelina Lamma, and Fabrizio Riguzzi, editors. AI*IA 2015, Advances in Artificial Intelligence, XIVth International Conference of the Italian Association for Artificial Intelligence, Ferrara, Italy, September 23-25, 2015, Proceedings, volume 9336 of Lecture Notes in Computer Science, Heidelberg, Germany, 2015. © Springer International Publishing Switzerland, Springer International Publishing. [ bib | DOI | http ]
[2] Marco Gavanelli, Evelina Lamma, Fabrizio Riguzzi, Elena Bellodi, Riccardo Zese, and Giuseppe Cota. An abductive framework for Datalog+- ontologies. In Marina De Vos, Thomas Eiter, Yuliya Lierler, and Francesca Toni, editors, Technical Communications of the 31st Int'l. Conference on Logic Programming (ICLP 2015), number 1433 in CEUR Workshop Proceedings, Aachen, Germany, 2015. © by the authors, Sun SITE Central Europe. [ bib | .pdf ]
[1] Marco Gavanelli, Evelina Lamma, Fabrizio Riguzzi, Elena Bellodi, Riccardo Zese, and Giuseppe Cota. Abductive logic programming for Datalog+- ontologies. In Davide Ancona, Marco Maratea, and Viviana Mascardi, editors, Proceedings of the 30th Italian Conference on Computational Logic (CILC2015), Genova, Italy, 1-3 July 2015, number 1459 in CEUR Workshop Proceedings, pages 128--143, Aachen, Germany, 2015. © by the authors, Sun SITE Central Europe. [ bib | .pdf ]

2013

[2] Marco Gavanelli, Fabrizio Riguzzi, Michela Milano, and Paolo Cagnoli. Constraint and optimization techniques for supporting policy making. In Ting Yu, Nitesh Chawla, and Simeon Simoff, editors, Computational Intelligent Data Analysis for Sustainable Development, Data Mining and Knowledge Discovery Series, chapter 12, pages 361--382. Chapman & Hall/CRC, Abingdon, UK, 2013. [ bib | DOI | http | .pdf ]
[1] Marco Alberti, Marco Gavanelli, and Evelina Lamma. The chr-based implementation of the SCIFF abductive system. Fundam. Inform., 124(4):365--381, 2013. [ bib | DOI | http ]

2012

[2] Marco Gavanelli, Fabrizio Riguzzi, Michela Milano, and Paolo Cagnoli. Constraint and optimization techniques for supporting policy making. In International Symposium on Artificial Intelligence and Mathematics (ISAIM 2012), Fort Lauderdale, Florida, USA, January 9-11, 2012, 2012. [ bib | .pdf ]
[1] Marco Alberti, Marco Gavanelli, and Evelina Lamma. Deon+: Abduction and constraints for normative reasoning. In Alexander Artikis, Robert Craven, Nihan Kesim Cicekli, Babak Sadighi, and Kostas Stathis, editors, Logic Programs, Norms and Action, volume 7360 of Lecture Notes in Computer Science, pages 308--328. Springer Berlin / Heidelberg, 2012. 10.1007/978-3-642-29414-3_17. [ bib | http ]

2011

[5] Marco Gavanelli, Fabrizio Riguzzi, Michela Milano, Davide Sottara, Alessandro Cangini, and Paolo Cagnoli. An application of fuzzy logic to strategic environmental assessment. In Roberto Pirrone and Filippo Sorbello, editors, Proceedings of the 12th Congress of the Italian Association for Artificial Intelligence, Palermo, 15-17 September 2011, volume 6934 of Lecture Notes in Artificial Intelligence, pages 324--335, Heidelberg, Germany, 2011. © Springer, Springer. The original publication is available at http://www.springerlink.com. [ bib | DOI | http | .pdf ]
[4] Marco Alberti, Marco Gavanelli, Evelina Lamma, Fabrizio Riguzzi, and Sergio Storari. Learning specifications of interaction protocols and business processes and proving their properties. Intelligenza artificiale, 5(1):71--75, February 2011. [ bib | DOI | .pdf ]
[3] Marco Alberti, Massimiliano Cattafi, Federico Chesani, Marco Gavanelli, Evelina Lamma, Paola Mello, Marco Montali, and Paolo Torroni. A computational logic application framework for service discovery and contracting. International Journal of Web Services Research, 8(3):1--25, 2011. [ bib ]
[2] Marco Gavanelli, Marco Alberti, and Evelina Lamma. Integration of abductive reasoning and constraint optimization in SCIFF. In Fabio Fioravanti, editor, Proceedings of the 26th Italian Conference on Computational Logic (CILC-2011), number 810 in CEUR Workshop Proceedings, Pescara, Italy, September 2011. [ bib | http ]
[1] Marco Alberti, Marco Gavanelli, and Evelina Lamma. The CHR-based implementation of the sciff abductive system. In Fabio Fioravanti, editor, Proceedings of the 26th Italian Conference on Computational Logic (CILC-2011), number 810 in CEUR Workshop Proceedings, Pescara, Italy, September 2011. [ bib | http ]

2010

[4] Marco Gavanelli, Fabrizio Riguzzi, and Alberto Pettorossi. Preface of the special issue on CILC09. Fundamenta Informaticae, 105(1-2), 2010. [ bib | DOI | .pdf ]
[3] Marco Gavanelli, Fabrizio Riguzzi, Michela Milano, and Paolo Cagnoli. Logic-Based Decision Support for Strategic Environmental Assessment. Theory and Practice of Logic Programming, 26th Int'l. Conference on Logic Programming (ICLP'10) Special Issue, 10(4-6):643--658, © Cambridge University Press, July 2010. [ bib | DOI | .pdf ]
[2] Marco Alberti, Marco Gavanelli, and Evelina Lamma. Runtime addition of integrity constraints in abductive logic programs. In Manuel Hermenegildo and Torsten Schaub, editors, Technical Communications of the 26th International Conference on Logic Programming, volume 7 of Leibniz International Proceedings in Informatics (LIPIcs), pages 4--13, Dagstuhl, Germany, July 2010. Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik. [ bib | DOI | http ]
[1] Marco Alberti, Marco Gavanelli, and Evelina Lamma. Runtime addition of integrity constraints in SCIFF. In Wolfgang Faber and Nicola Leone, editors, Proceedings of the 25th Italian Conference on Computational Logic, volume 598 of CEUR workshop proceedings, 2010. [ bib | .pdf ]

2009

[5] Marco Alberti, Marco Gavanelli, Evelina Lamma, Fabrizio Riguzzi, and Sergio Storari. Inducing specification of interaction protocols and business processes and proving their properties. In Matteo Baldoni and Cristina Baroglio, editors, Il Milione (i.e. 26, June 3rd 2008) A Journey in the Computational Logic in Italy, Proceedings of the Day Dedicated to Prof. Alberto Martelli Turin, Italy, June 3, 2008, volume 487 of CEUR Workshop Proceedings, pages 32--37, Aachen, Germany, 2009. Sun SITE Central Europe. [ bib | .pdf ]
[4] Paolo Torroni, Federico Chesani, Paola Mello, Pinar Yolum, Munindar P. Singh, Marco Alberti, Marco Gavanelli, and Evelina Lamma. Modeling interactions via commitments and expectations. In Virginia Dignum, editor, Handbook of Research on Multi-Agent Systems: Semantics and Dynamics of Organizational Models, pages 263--284. Information Science Reference, March 2009. [ bib | http ]
[3] Marco Alberti, Massimiliano Cattafi, Marco Gavanelli, Evelina Lamma, Federico Chesani, Marco Montali, Paola Mello, and Paolo Torroni. Integrating abductive logic programming and description logics in a dynamic contracting architecture. In Paul Hofmann, editor, ICWS 2009: 2009 IEEE International Conference on Web Services, pages 254--261. IEEE Computer Society, IEEE Computer Society Press, 2009. [ bib | DOI | http ]
[2] Marco Gavanelli, Marco Alberti, and Evelina Lamma. Integration of abductive reasoning and constraint optimization in SCIFF. In Patricia M. Hill and David S. Warren, editors, 25th International Conference on Logic Programming (ICLP 2009), volume 5649 of Lecture Notes in Computer Science, pages 387--401, Berlin Heidelberg, 2009. Springer-Verlag. [ bib | http ]
[1] Marco Alberti, Massimiliano Cattafi, Marco Gavanelli, and Evelina Lamma. Exploiting semantic technology in computational logic-based service contracting. In Marco Gavanelli and Fabrizio Riguzzi, editors, CILC09: 24-esimo Convegno Italiano di Logica Computazionale, Ferrara, Italy, June 2009. GULP. [ bib | .pdf ]

2008

[6] Marco Alberti, Federico Chesani, Marco Gavanelli, Evelina Lamma, Paola Mello, and Paolo Torroni. Verifiable agent interaction in abductive logic programming: the SCIFF framework. ACM Transactions on Computational Logic (TOCL), 9(4), 2008. IF: 2.766. [ bib ]
[5] Marco Alberti, Federico Chesani, Marco Gavanelli, Evelina Lamma, Paola Mello, Marco Montali, and Paolo Torroni. Expressing and verifying business contracts with abductive logic programming. International Journal of Electronic Commerce, 12(4):9--38, Summer 2008. IF: 1.366. [ bib | DOI ]
[4] Marco Alberti, Federico Chesani, Marco Gavanelli, Evelina Lamma, and Paola Mello. Abduction in the context of a reasoning process: the sciff framework. In Maria Carla Galavotti, Roberto Scazzieri, and Patrick Suppes, editors, Reasoning, Rationality and Probability, pages 271--287. Center for the Study of Language and Information, Stanford University, Stanford, California, 2008. [ bib ]
[3] Marco Montali, Marco Alberti, Federico Chesani, Marco Gavanelli, Evelina Lamma, Paola Mello, and Paolo Torroni. Verification from declarative specifications using logic programming. In Maria Garcia de la Banda and Enrico Pontelli, editors, Logic Programming, 24th International Conference, ICLP 2008, volume 5366 of Lecture Notes in Computer Science, pages 440--454. Springer-Verlag, 2008. [ bib | DOI | http | .pdf ]
[2] Marco Gavanelli, Marco Alberti, and Evelina Lamma. Integrating abduction and constraint optimization in constraint handling rules. In Malik Ghallab, Constantine D. Spyropoulos, Nikos Fakotakis, and Nikos Avouris, editors, ECAI 2008: 18th European Conference on Artificial Intelligence, pages 903--904. IOS press, July 2008. [ bib | DOI | http ]
[1] Marco Alberti, Massimiliano Cattafi, Marco Gavanelli, and Evelina Lamma. Exploiting semantic technology in computational logic-based service contracting. In Aldo Gangemi, Johannes Keizer, Valentina Presutti, and Heiko Stoermer, editors, SWAP 2008: 5th workshop on Semantic Web Applications and Perspectives, volume 426 of CEUR Workshop Proceedings, Rome, Italy, December 2008. [ bib | http | .pdf ]

2007

[4] Marco Alberti, Federico Chesani, Davide Daolio, Marco Gavanelli, Evelina Lamma, Paola Mello, and Paolo Torroni. Specification and verification of agent interaction protocols in a logic-based system. Scalable Computing: Practice and Experience, 8(1):1--13, March 2007. [ bib ]
[3] Marco Alberti, Federico Chesani, Marco Gavanelli, Evelina Lamma, Paola Mello, Marco Montali, Sergio Storari, and Paolo Torroni. A computational logic-based approach to verification of IT systems. In H.-G. Hegering, H. Reiser, M. Schiffers, and Th. Nebe, editors, Proceedings of the 14th Annual Workshop of HP Software University Association, Hosted by the Leibniz Computing Center and the Munich Network Management Team, July 8--11, 2007, pages 115--125, Stuttgart, Germany, July 2007. HP Software University Association, Infonomics-Consulting. [ bib | http | http ]
[2] Marco Alberti, Federico Chesani, Marco Gavanelli, Evelina Lamma, Paola Mello, Marco Montali, and Paolo Torroni. A rule-based approach for reasoning about collaboration between smart web services. In Massimo Marchiori, Jeff Z. Pan, and Christian de Sainte Marie, editors, Proceedings of the 1st International Conference on Web Reasoning and Rule Systems (RR), volume 4524 of Lecture Notes in Artificial Intelligence, pages 279--288, Innsbruck, June 2007. Springer-Verlag. [ bib ]
[1] Marco Alberti, Federico Chesani, Marco Gavanelli, Evelina Lamma, Paola Mello, Marco Montali, and Paolo Torroni. Web service contracting: specification and reasoning with sciff. In Enrico Franconi, Michael Kifer, and Wolfgang May, editors, Proceedings of the 4th European Semantic Web Conference (ESWC), volume 4519 of Lecture Notes in Artificial Intelligence, pages 68--83, Innsbruck, June 2007. Springer-Verlag. [ bib ]

2006

[10] Marco Alberti, Federico Chesani, Marco Gavanelli, Evelina Lamma, Paola Mello, and Paolo Torroni. Compliance verification of agent interaction: a logic-based software tool. Applied Artificial Intelligence, 20(2-4):133--157, February-April 2006. IF: 0.576. [ bib | DOI ]
[9] Marco Alberti, Marco Gavanelli, Evelina Lamma, Paola Mello, Giovanni Sartor, and Paolo Torroni. Mapping deontic operators to abductive expectations. Computational and Mathematical Organization Theory, 12(2--3):205 -- 225, October 2006. [ bib | DOI | http ]
[8] Marco Alberti, Marco Gavanelli, Evelina Lamma, Giovanni Sartor, and Paolo Torroni. Un sistema basato su logica computazionale per il trattamento degli operatori deontici. In Silvia Bisi and Claudio di Cocco, editors, La Gestione e la Negoziazione Automatica dei Diritti sulle Opere dell'Ingegno Digitali: Aspetti Giuridici e Informatici, chapter 1, pages 1--33. Gedit, Bologna, October 2006. [ bib ]
[7] Marco Alberti, Federico Chesani, Marco Gavanelli, Evelina Lamma, Paola Mello, Marco Montali, Sergio Storari, and Paolo Torroni. Computational logic for run-time verification of web services choreographies: exploiting the SOCS-SI tool. In Mario Bravetti and Gianluigi Zavattaro, editors, Web Services and Formal Methods - Third International Workshop, WS-FM 2006 Vienna, Austria, September 8-9, 2006 Proceedings, volume 4184 of Lecture Notes in Computer Science, pages 58--72, Berlin/Heidelberg, 2006. Springer-Verlag. [ bib | DOI | http ]
[6] Marco Alberti, Federico Chesani, Marco Gavanelli, Evelina Lamma, and Paola Mello. A verifiable logic-based agent architecture. In Floriana Esposito, Zbigniew W. Raś, Donato Malerba, and Giovanni Semeraro, editors, Foundations of Intelligent Systems - 16th International Symposium, ISMIS 2006 Bari, Italy, September 27-29, 2006 Proceedings, volume 4203 of Lecture Notes in Artificial Intelligence, pages 188--197, Berlin Heidelberg, 2006. Springer-Verlag. [ bib | DOI | http ]
[5] Marco Alberti, Federico Chesani, Marco Gavanelli, Evelina Lamma, Paola Mello, Marco Montali, and Paolo Torroni. Policy-based reasoning for smart web service interaction. In Proceedings of the 1st International Workshop on Applications of Logic Programming in the Semantic Web and Semantic Web Services (ALPSWS 2006), volume 196 of CEUR Workshop Proceedings, pages 87--102, Seattle, WA, USA, August 2006. [ bib ]
[4] Marco Alberti, Federico Chesani, Marco Gavanelli, Evelina Lamma, Paola Mello, and Marco Montali. An abductive framework for a-priori verification of web services. In Michael Maher, editor, Proceedings of the Eighth Symposium on Principles and Practice of Declarative Programming, July 10-12, 2006, Venice, Italy, pages 39--50, New York, USA, July 2006. Association for Computing Machinery (ACM), Special Interest Group on Programming Languages (SIGPLAN), ACM Press. [ bib | DOI | http ]
[3] Federico Chesani, Marco Gavanelli, Marco Alberti, Evelina Lamma, Paola Mello, and Paolo Torroni. Specification and verification of agent interaction using abductive reasoning. In Francesca Toni and Paolo Torroni, editors, CLIMA VI, volume 3900 of Lecture Notes on Artificial Intelligence, pages 243--264, Berlin Heidelberg, 2006. Springer-Verlag. [ bib | http ]
[2] Marco Alberti, Federico Chesani, Marco Gavanelli, Evelina Lamma, Paola Mello, and Paolo Torroni. Security protocols verification in abductive logic programming: a case study. In Oğuz Dikenelli, Marie-Pierre Gleizes, and Alessandro Ricci, editors, Proceedings of 6th International Workshop "Engineering Societies in the Agents' World" (ESAW'05), October 26-28, 2005, volume 3963 of Lecture Notes on Artificial Intelligence, pages 106--124, Berlin Heidelberg, 2006. Department of Computer Engineering Ege University, Springer-Verlag. [ bib | http ]
[1] Marco Alberti, Federico Chesani, Marco Gavanelli, Evelina Lamma, Paola Mello, Marco Montali, and Paolo Torroni. Policy-based reasoning for smart web service interaction. In Giovanni Tummarello, Paolo Bouquet, and Oreste Signore, editors, Proceedings of SWAP 2006, the 3rd Italian Semantic Web Workshop, Pisa, Italy, December 2006. CEUR Workshop Proceedings. available electronically at http://ceur-ws.org/Vol-201. [ bib ]

2005

[5] Marco Alberti, Marco Gavanelli, Evelina Lamma, Paola Mello, and Michela Milano. A CHR-based implementation of known arc-consistency. Theory and Practice of Logic Programming, 5(4/5):419--440, July 2005. IF: 1.372. [ bib | DOI | http ]
[4] Marco Alberti, Marco Gavanelli, Evelina Lamma, Paola Mello, and Paolo Torroni. Abduction with hypotheses confirmation. In Fausto Giunchiglia, editor, IJCAI-05 Proceedings of the Nineteenth International Joint Conference on Artificial Intelligence, pages 1545--1546, USA, 2005. Professional Book Center. [ bib | http | .pdf ]
[3] Marco Alberti, Marco Gavanelli, Evelina Lamma, Paola Mello, and Paolo Torroni. The SCIFF abductive proof-procedure. Lecture Notes in Artificial Intelligence, 3673:135--147, 2005. IF: 0.302. [ bib ]
[2] Marco Alberti, Federico Chesani, Marco Gavanelli, Evelina Lamma, Paola Mello, and Paolo Torroni. The SOCS computational logic approach to the specification and verification of agent societies. Lecture Notes in Computer Science, 3267:314 -- 339, February 2005. IF: 0.402. [ bib | DOI ]
[1] Marco Alberti, Federico Chesani, Marco Gavanelli, Alessio Guerri, Evelina Lamma, Paola Mello, and Paolo Torroni. Expressing interaction in combinatorial auction through social integrity constraints. Intelligenza Artificiale, II(1):22--29, 2005. [ bib | http ]

2004

[7] Marco Alberti, Marco Gavanelli, Evelina Lamma, Paola Mello, and Paolo Torroni. Specification and verification of agent interactions using social integrity constraints. Electronic Notes in Theoretical Computer Science, 85(2):94--116, April 2004. [ bib | http | .pdf ]
[6] Marco Alberti, Federico Chesani, Marco Gavanelli, Evelina Lamma, Paola Mello, and Paolo Torroni. A logic based approach to interaction design in open multi-agent systems. In Martin Fredriksson, Rune Gustavsson, Alessandro Ricci, and Andrea Omicini, editors, 13th IEEE International Workshops on Enabling Technologies: Infrastructure for Collaborative Enterprises (WET ICE 2004), pages 387--392, Washington, DC, USA, September 2004. IEEE Computer Society. [ bib | DOI | http | .pdf ]
[5] Marco Alberti, Federico Chesani, Marco Gavanelli, Evelina Lamma, Paola Mello, and Paolo Torroni. Compliance verification of agent interaction: a logic-based tool. In Robert Trappl, editor, Proceedings of the 17th European Meeting on Cybernetics and Systems Research, Vol. II, Symposium “From Agent Theory to Agent Implementation” (AT2AI-4), pages 570--575, Vienna, Austria, April 13-16 2004. Austrian Society for Cybernetic Studies. [ bib | http ]
[4] Marco Alberti, Davide Daolio, Paolo Torroni, Marco Gavanelli, Evelina Lamma, and Paola Mello. Specification and verification of agent interaction protocols in a logic-based system. In Hisham Haddad, Andrea Omicini, Roger L. Wainwright, and Lorie M. Liebrock, editors, Proceedings of the 2004 ACM Symposium on Applied Computing (SAC), Nicosia, Cyprus, March 14-17, 2004, pages 72--78, New York, NY, USA, 2004. ACM Press. [ bib | http ]
[3] Marco Alberti, Marco Gavanelli, Evelina Lamma, Paola Mello, and Paolo Torroni. Modeling interactions using social integrity constraints: a resource sharing case study. Lecture Notes in Artificial Intelligence, 2990:243--262, 2004. IF: 0.251. [ bib | .pdf ]
[2] Marco Alberti, Evelina Lamma, Marco Gavanelli, Paola Mello, Giovanni Sartor, and Paolo Torroni. Mapping deontic operators to abductive expectations. In Proceedings of the Symposium on Normative Multi-Agent Systems, pages 126--136, University of Hertfordshire, Hatfield, UK, April 12-15 2005. The Society for the study of Artificial Intelligence and the Simulation of Behaviour. [ bib | http | http ]
[1] Marco Alberti, Federico Chesani, Marco Gavanelli, Alessio Guerri, Evelina Lamma, Paola Mello, and Paolo Torroni. Expressing interaction in combinatorial auction through social integrity constraints. In Alfredo Milani, editor, Conferenza Italiana sui Sistemi Intelligenti, page 80, Perugia (Italy), sep 2004. AI*IA, SIREN, GIPR, Morlacchi Editore. [ bib | http | .pdf ]

2003

[2] Marco Alberti, Anna Ciampolini, Marco Gavanelli, Evelina Lamma, Paola Mello, and Paolo Torroni. A social ACL semantics by deontic constraints. In V.Marik, J.Muller, and M.Pechoucek, editors, Proceedings of the 3rd International/Central and Eastern European Conference on Multi-Agent Systems, number 2691 in Lecture Notes in Artificial Intelligence, pages 204--213, Prague, Czech Republic, June 2003. [ bib ]
[1] Marco Alberti, Marco Gavanelli, Evelina Lamma, Paola Mello, and Paolo Torroni. An abductive interpretation for open agent societies. In A. Cappelli and F. Turini, editors, AI*IA 2003: Advances in Artificial Intelligence: 8th Congress of the Italian Association for Artificial Intelligence Pisa, Italy, September 23-26, 2003 Proceedings, volume 2829 of Lecture Notes in Artificial Intelligence, pages 287--299, Pisa, Italy, September 23-26 2003. Springer Verlag. [ bib | http | .pdf ]