Marco Alberti

Marco Alberti's photo
Associate Professor
Dipartimento di Matematica e Informatica, Università di Ferrara,

Ufficio 038
Blocco A, Polo ST
University of Ferrara
Via Saragat 1, 44122, Ferrara, Italy
Tel: +39 0532 974600
E-Mail: marco.alberti@unife.it
Ricevimento: su appuntamento richiesto via email o telefono.
University Home Page

Publications

[3] Fabrizio Riguzzi, Elena Bellodi, Riccardo Zese, Marco Alberti, and Evelina Lamma. Probabilistic inductive constraint logic. Machine Learning, 110:723--754, 2021. [ bib | DOI | .pdf ]
[2] 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 ]
[1] Elena Bellodi, Marco Alberti, Fabrizio Riguzzi, and Riccardo Zese. MAP inference for probabilistic logic programming. Theory and Practice of Logic Programming, 20(5):641–655, © Cambridge University Press, 2020. [ bib | DOI | http | .pdf ]

Publications by type

International Journals

[19] Fabrizio Riguzzi, Elena Bellodi, Riccardo Zese, Marco Alberti, and Evelina Lamma. Probabilistic inductive constraint logic. Machine Learning, 110:723--754, 2021. [ bib | DOI | .pdf ]
[18] 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 ]
[17] Elena Bellodi, Marco Alberti, Fabrizio Riguzzi, and Riccardo Zese. MAP inference for probabilistic logic programming. Theory and Practice of Logic Programming, 20(5):641–655, © Cambridge University Press, 2020. [ bib | DOI | http | .pdf ]
[16] 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 ]
[15] Marco Alberti, Elena Bellodi, Giuseppe Cota, Fabrizio Riguzzi, and Riccardo Zese. cplint on SWISH: Probabilistic logical inference with a web browser. Intelligenza Artificiale, 11(1):47--64, © IOS Press, 2017. [ bib | DOI | .pdf ]
[14] Stefano Balbi, Carlo Giupponi, Pascal Perez, and Marco Alberti. A spatial agent-based model for assessing strategies of adaptation to climate and tourism demand changes in an alpine tourism destination. Environmental Modelling and Software, 45:29--51, 2013. [ bib | DOI | http ]
[13] 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 ]
[12] 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 ]
[11] Marco Alberti, Pierangelo Dell'Acqua, and Luís Moniz Pereira. Observation strategies for event detection with incidence on runtime verification: theory, algorithms, experimentation. Annals of Mathematics and Artificial Intelligence, 62:161--186, 2011. 10.1007/s10472-011-9259-5. [ bib | http ]
[10] Gregory Wheeler and Marco Alberti. No revision and no contraction. Minds and Machines, 21:411--430, 2011. 10.1007/s11023-011-9243-1. [ bib | http ]
[9] 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 ]
[8] Marco Montali, Paolo Torroni, Marco Alberti, Federico Chesani, Evelina Lamma, and Paola Mello. Abductive Logic Programming as an Effective Technology for the Static Verification of Declarative Business Processes. Fundamenta Informaticae, 102(3-4):325--361, 2010. IF: 0.693. [ bib | DOI ]
[7] 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 ]
[6] 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 ]
[5] 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 ]
[4] 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 ]
[3] 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 ]
[2] 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 ]
[1] 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 ]

Book Chapters

[4] 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 ]
[3] 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 ]
[2] 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 ]
[1] 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 ]

International Conferences

[23] 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 ]
[22] Marco Alberti, Giuseppe Cota, Fabrizio Riguzzi, and Riccardo Zese. Probabilistic logical inference on the web. In Giovanni Adorni, Stefano Cagnoni, Marco Gori, and Marco Maratea, editors, Proceedings of the 15th Conference of the Italian Association for Artificial Intelligence (AI*IA2016), Genova, Italy, 28 November - 1 December 2016, volume 10037 of Lecture Notes in Computer Science, pages 351--363, Heidelberg, Germany, 2016. © Springer International Publishing AG, Springer International Publishing. The final publication is available at Springer via http://dx.doi.org/10.1007/978-3-319-49130-1_26. [ bib | DOI | .pdf ]
[21] Marco Alberti, Evelina Lamma, Fabrizio Riguzzi, and Riccardo Zese. Probabilistic hybrid knowledge bases under the distribution semantics. In Giovanni Adorni, Stefano Cagnoni, Marco Gori, and Marco Maratea, editors, Proceedings of the 15th Conference of the Italian Association for Artificial Intelligence (AI*IA2016), Genova, Italy, 28 November - 1 December 2016, volume 10037 of Lecture Notes in Computer Science, pages 364--376, Heidelberg, Germany, 2016. © Springer International Publishing AG, Springer International Publishing. The final publication is available at Springer via http://dx.doi.org/10.1007/978-3-319-49130-1_27. [ bib | DOI | .pdf ]
[20] Marco Alberti, Ana Sofia Gomes, Ricardo Gonçalves, Matthias Knorr, João Leite, and Martin Slota. Normative systems require hybrid knowledge bases. In Wiebe van der Hoek, Lin Padgham, Vincent Conitzer, and Michael Winikoff, editors, Proceedings of the 11th International Conference on Autonomous Agents and Multi-Agent Systems, pages 1425--1426, Richland, SC, 2012. International Foundation for Autonomous Agents and Multiagent Systems. [ bib ]
[19] Marco Alberti, Ana Sofia Gomes, Ricardo Gonçalves, João Leite, and Martin Slota. Normative systems represented as hybrid knowledge bases. In João Leite, Paolo Torroni, Thomas Ågotnes, Guido Boella, and Leon van der Torre, editors, Computational Logic in Multi-Agent Systems - 12th International Workshop, CLIMA XII, Barcelona, Spain, July 17-18, 2011. Proceedings, volume 6814 of Lecture Notes in Artificial Intelligence, pages 330--346. Springer Verlag, July 2011. [ bib ]
[18] 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 ]
[17] 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 ]
[16] 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 ]
[15] 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 ]
[14] 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 ]
[13] 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 ]
[12] 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 ]
[11] 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 ]
[10] 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 ]
[9] 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 ]
[8] 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 ]
[7] 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 ]
[6] 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 ]
[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. 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 ]
[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 and Evelina Lamma. Synthesis of object models from partial models: a CSP perspective. In Frank van Harmelen, editor, Proceedings of the Fifteenth European Conference on Artificial Intelligence (ECAI 2002), volume 77 of Frontiers in Artificial Intelligence and Applications, pages 116--120. IOS Press, July 2002. [ bib ]

National Journals

[2] Marco Alberti and Federico Chesani. The computational behaviour of the SCIFF abductive proof procedure and the SOCS-SI system. Intelligenza Artificiale, II(3):45--51, September 2005. [ bib ]
[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 ]

National Conferences

[1] Marco Alberti, Evelina Lamma, Fabrizio Riguzzi, and Riccardo Zese. Iterated fixpoint well-founded semantics for hybrid knowledge bases. In Dario Della Monica, Aniello Murano, Sasha Rubin, and Luigi Sauro, editors, Joint Proceedings of the 18th Italian Conference on Theoretical Computer Science and the 32nd Italian Conference on Computational Logic, volume 1949 of CEUR Workshop Proceedings, pages 248--261, Aachen, Germany, 2017. Sun SITE Central Europe. [ bib | .pdf ]

International Workshops

[12] Marco Alberti, Evelina Lamma, Fabrizio Riguzzi, and Riccardo Zese. A distribution semantics for non-DL-safe probabilistic hybrid knowledge bases. In Christian Theil Have and Riccardo Zese, editors, 4th International Workshop on Probabilistic logic programming, PLP 2017, volume 1916 of CEUR Workshop Proceedings, pages 40--50, Aachen, Germany, 2017. Sun SITE Central Europe. [ bib | .pdf ]
[11] Fabrizio Riguzzi, Evelina Lamma, Marco Alberti, Elena Bellodi, Riccardo Zese, and Giuseppe Cota. Probabilistic logic programming for natural language processing. In Federico Chesani, Paola Mello, and Michela Milano, editors, URANIA 2016, Deep Understanding and Reasoning: A Challenge for Next-generation Intelligent Agents, Proceedings of the AI*IA Workshop on Deep Understanding and Reasoning: A Challenge for Next-generation Intelligent Agents 2016 co-located with 15th International Conference of the Italian Association for Artificial Intelligence (AIxIA 2016), volume 1802 of CEUR Workshop Proceedings, pages 30--37, Aachen, Germany, 2017. © by the authors, Sun SITE Central Europe. [ bib | http | .pdf ]
[10] Marco Alberti, Elena Bellodi, Giuseppe Cota, Evelina Lamma, Fabrizio Riguzzi, and Riccardo Zese. Probabilistic constraint logic theories. In Arjen Hommersom and Samer Abdallah, editors, Proceedings of the 3nd International Workshop on Probabilistic Logic Programming (PLP), volume 1661 of CEUR Workshop Proceedings, pages 15--28, Aachen, Germany, 2016. © by the authors, Sun SITE Central Europe. [ bib | http | .pdf ]
[9] 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 ]
[8] 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 ]
[7] 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 ]
[6] 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 ]
[5] 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 ]
[4] 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 ]
[3] 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 ]
[2] 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 ]
[1] 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 ]

National Workshops

[8] 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 ]
[7] 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 ]
[6] Marco Alberti, Pierangelo Dell'Acqua, and Luís Moniz Pereira. Observation strategies for event detection, with incidence on runtime verification. In Marco Gavanelli and Toni Mancini, editors, RCRA-2010: Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion, volume 616 of CEUR Workshop Proceedings, Bologna, Italy, June 2010. [ bib | .pdf ]
[5] 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 ]
[4] 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 ]
[3] 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 ]
[2] Federico Chesani, Anna Ciampolini, Paola Mello, Marco Montali, Paolo Torroni, Marco Alberti, and Sergio Storari. Protocol specification and verification by using computational logic. In Flavio Corradini, Flavio De Paoli, Emanuela Merelli, and Andrea Omicini, editors, WOA 2005: Dagli Oggetti agli Agenti. 6th AI*IA/TABOO Joint Workshop "From Objects to Agents": Simulation and Formal Analysis of Complex Systems, 14-16 November 2005, Camerino, MC, Italy, pages 184--192. Pitagora Editrice Bologna, 2005. [ bib ]
[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 ]

PhD Thesis

[1] Marco Alberti. A Computational Logic-based System for Specification and Verification of Agent Interaction. PhD thesis, University of Ferrara, March 2005. Available at http://docente.unife.it/marco.alberti/alberti-phd-final.pdf/at_download/file. [ bib ]

Publications by year

2021

[1] Fabrizio Riguzzi, Elena Bellodi, Riccardo Zese, Marco Alberti, and Evelina Lamma. Probabilistic inductive constraint logic. Machine Learning, 110:723--754, 2021. [ bib | DOI | .pdf ]

2020

[2] 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 ]
[1] Elena Bellodi, Marco Alberti, Fabrizio Riguzzi, and Riccardo Zese. MAP inference for probabilistic logic programming. Theory and Practice of Logic Programming, 20(5):641–655, © Cambridge University Press, 2020. [ bib | DOI | http | .pdf ]

2018

[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

[5] Marco Alberti, Evelina Lamma, Fabrizio Riguzzi, and Riccardo Zese. Iterated fixpoint well-founded semantics for hybrid knowledge bases. In Dario Della Monica, Aniello Murano, Sasha Rubin, and Luigi Sauro, editors, Joint Proceedings of the 18th Italian Conference on Theoretical Computer Science and the 32nd Italian Conference on Computational Logic, volume 1949 of CEUR Workshop Proceedings, pages 248--261, Aachen, Germany, 2017. Sun SITE Central Europe. [ bib | .pdf ]
[4] Marco Alberti, Evelina Lamma, Fabrizio Riguzzi, and Riccardo Zese. A distribution semantics for non-DL-safe probabilistic hybrid knowledge bases. In Christian Theil Have and Riccardo Zese, editors, 4th International Workshop on Probabilistic logic programming, PLP 2017, volume 1916 of CEUR Workshop Proceedings, pages 40--50, Aachen, Germany, 2017. Sun SITE Central Europe. [ bib | .pdf ]
[3] 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 ]
[2] Fabrizio Riguzzi, Evelina Lamma, Marco Alberti, Elena Bellodi, Riccardo Zese, and Giuseppe Cota. Probabilistic logic programming for natural language processing. In Federico Chesani, Paola Mello, and Michela Milano, editors, URANIA 2016, Deep Understanding and Reasoning: A Challenge for Next-generation Intelligent Agents, Proceedings of the AI*IA Workshop on Deep Understanding and Reasoning: A Challenge for Next-generation Intelligent Agents 2016 co-located with 15th International Conference of the Italian Association for Artificial Intelligence (AIxIA 2016), volume 1802 of CEUR Workshop Proceedings, pages 30--37, Aachen, Germany, 2017. © by the authors, Sun SITE Central Europe. [ bib | http | .pdf ]
[1] Marco Alberti, Elena Bellodi, Giuseppe Cota, Fabrizio Riguzzi, and Riccardo Zese. cplint on SWISH: Probabilistic logical inference with a web browser. Intelligenza Artificiale, 11(1):47--64, © IOS Press, 2017. [ bib | DOI | .pdf ]

2016

[3] Marco Alberti, Elena Bellodi, Giuseppe Cota, Evelina Lamma, Fabrizio Riguzzi, and Riccardo Zese. Probabilistic constraint logic theories. In Arjen Hommersom and Samer Abdallah, editors, Proceedings of the 3nd International Workshop on Probabilistic Logic Programming (PLP), volume 1661 of CEUR Workshop Proceedings, pages 15--28, Aachen, Germany, 2016. © by the authors, Sun SITE Central Europe. [ bib | http | .pdf ]
[2] Marco Alberti, Giuseppe Cota, Fabrizio Riguzzi, and Riccardo Zese. Probabilistic logical inference on the web. In Giovanni Adorni, Stefano Cagnoni, Marco Gori, and Marco Maratea, editors, Proceedings of the 15th Conference of the Italian Association for Artificial Intelligence (AI*IA2016), Genova, Italy, 28 November - 1 December 2016, volume 10037 of Lecture Notes in Computer Science, pages 351--363, Heidelberg, Germany, 2016. © Springer International Publishing AG, Springer International Publishing. The final publication is available at Springer via http://dx.doi.org/10.1007/978-3-319-49130-1_26. [ bib | DOI | .pdf ]
[1] Marco Alberti, Evelina Lamma, Fabrizio Riguzzi, and Riccardo Zese. Probabilistic hybrid knowledge bases under the distribution semantics. In Giovanni Adorni, Stefano Cagnoni, Marco Gori, and Marco Maratea, editors, Proceedings of the 15th Conference of the Italian Association for Artificial Intelligence (AI*IA2016), Genova, Italy, 28 November - 1 December 2016, volume 10037 of Lecture Notes in Computer Science, pages 364--376, Heidelberg, Germany, 2016. © Springer International Publishing AG, Springer International Publishing. The final publication is available at Springer via http://dx.doi.org/10.1007/978-3-319-49130-1_27. [ bib | DOI | .pdf ]

2013

[2] Stefano Balbi, Carlo Giupponi, Pascal Perez, and Marco Alberti. A spatial agent-based model for assessing strategies of adaptation to climate and tourism demand changes in an alpine tourism destination. Environmental Modelling and Software, 45:29--51, 2013. [ bib | DOI | http ]
[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 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 ]
[1] Marco Alberti, Ana Sofia Gomes, Ricardo Gonçalves, Matthias Knorr, João Leite, and Martin Slota. Normative systems require hybrid knowledge bases. In Wiebe van der Hoek, Lin Padgham, Vincent Conitzer, and Michael Winikoff, editors, Proceedings of the 11th International Conference on Autonomous Agents and Multi-Agent Systems, pages 1425--1426, Richland, SC, 2012. International Foundation for Autonomous Agents and Multiagent Systems. [ bib ]

2011

[6] 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 ]
[5] Gregory Wheeler and Marco Alberti. No revision and no contraction. Minds and Machines, 21:411--430, 2011. 10.1007/s11023-011-9243-1. [ bib | http ]
[4] 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 ]
[3] Marco Alberti, Ana Sofia Gomes, Ricardo Gonçalves, João Leite, and Martin Slota. Normative systems represented as hybrid knowledge bases. In João Leite, Paolo Torroni, Thomas Ågotnes, Guido Boella, and Leon van der Torre, editors, Computational Logic in Multi-Agent Systems - 12th International Workshop, CLIMA XII, Barcelona, Spain, July 17-18, 2011. Proceedings, volume 6814 of Lecture Notes in Artificial Intelligence, pages 330--346. Springer Verlag, July 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

[5] Marco Alberti, Pierangelo Dell'Acqua, and Luís Moniz Pereira. Observation strategies for event detection with incidence on runtime verification: theory, algorithms, experimentation. Annals of Mathematics and Artificial Intelligence, 62:161--186, 2011. 10.1007/s10472-011-9259-5. [ bib | http ]
[4] Marco Montali, Paolo Torroni, Marco Alberti, Federico Chesani, Evelina Lamma, and Paola Mello. Abductive Logic Programming as an Effective Technology for the Static Verification of Declarative Business Processes. Fundamenta Informaticae, 102(3-4):325--361, 2010. IF: 0.693. [ bib | DOI ]
[3] 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 ]
[2] Marco Alberti, Pierangelo Dell'Acqua, and Luís Moniz Pereira. Observation strategies for event detection, with incidence on runtime verification. In Marco Gavanelli and Toni Mancini, editors, RCRA-2010: Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion, volume 616 of CEUR Workshop Proceedings, Bologna, Italy, June 2010. [ bib | .pdf ]
[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

[8] 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 ]
[7] 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 ]
[6] 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 ]
[5] 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 ]
[4] Marco Alberti and Federico Chesani. The computational behaviour of the SCIFF abductive proof procedure and the SOCS-SI system. Intelligenza Artificiale, II(3):45--51, September 2005. [ bib ]
[3] 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 ]
[2] Federico Chesani, Anna Ciampolini, Paola Mello, Marco Montali, Paolo Torroni, Marco Alberti, and Sergio Storari. Protocol specification and verification by using computational logic. In Flavio Corradini, Flavio De Paoli, Emanuela Merelli, and Andrea Omicini, editors, WOA 2005: Dagli Oggetti agli Agenti. 6th AI*IA/TABOO Joint Workshop "From Objects to Agents": Simulation and Formal Analysis of Complex Systems, 14-16 November 2005, Camerino, MC, Italy, pages 184--192. Pitagora Editrice Bologna, 2005. [ bib ]
[1] Marco Alberti. A Computational Logic-based System for Specification and Verification of Agent Interaction. PhD thesis, University of Ferrara, March 2005. Available at http://docente.unife.it/marco.alberti/alberti-phd-final.pdf/at_download/file. [ bib ]

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 ]

2002

[1] Marco Alberti and Evelina Lamma. Synthesis of object models from partial models: a CSP perspective. In Frank van Harmelen, editor, Proceedings of the Fifteenth European Conference on Artificial Intelligence (ECAI 2002), volume 77 of Frontiers in Artificial Intelligence and Applications, pages 116--120. IOS Press, July 2002. [ bib ]