Skip to content

Evelina Lamma

Evelina Lamma's photo
Full professor
Dipartimento di Ingegneria, Università di Ferrara,

Stanza 324
Blocco A, Polo Scientifico Tecnologico
University of Ferrara
Via Saragat 1, 44122, Ferrara, Italy
Tel: +39 0532 974894 Fax: +39 0532 974894
E-Mail: evelina.lamma@unife.it
Ricevimento: su appuntamento richiesto via email o telefono.
University Home Page

Publications

2023

[2] Niccolò Ferrari, Michele Fraccaroli, and Evelina Lamma. Grd-net: Generative-reconstructive-discriminative anomaly detection with region of interest attention module. International Journal of Intelligent Systems, 2023:7773481, Sep 2023. [ bib | DOI | http ]
[1] Michele Fraccaroli, Alice Bizzarri, Paolo Casellati, and Evelina Lamma. Exploiting cnn's visual explanations to drive anomaly detection. Applied Intelligence, 2023. [ bib | DOI | http ]

2022

[8] Damiano Azzolini, Fabrizio Riguzzi, and Evelina Lamma. Semantics for hybrid probabilistic logic programs with function symbols: Technical summary. In Joaquín Arias, Roberta Calegari, Luke Dickens, Wolfgang Faber, Jorge Fandinno, Gopal Gupta, Markus Hecher, Daniela Inclezan, Emily LeBlanc, Michael Morak, Elmer Salazar, and Jessica Zangari, editors, Proceedings of the International Conference on Logic Programming 2022 Workshops co-located with the 38th International Conference on Logic Programming (ICLP 2022), volume 3193 of CEUR Workshop Proceedings, pages 1--5, Aachen, Germany, 2022. Sun SITE Central Europe. [ bib | .pdf ]
[7] Marco Alberti, Riccardo Zese, Fabrizio Riguzzi, and Evelina Lamma. An Iterative Fixpoint Semantics for MKNF Hybrid Knowledge Bases with Function Symbols. In Yuliya Lierler, Jose F. Morales, Carmine Dodaro, Veronica Dahl, Martin Gebser, and Tuncay Tekle, editors, Proceedings of the 38th International Conference on Logic Programming (Technical Communications), volume 364 of Electronic Proceedings in Theoretical Computer Science, pages 65--78, Waterloo, Australia, 2022. Open Publishing Association. [ bib | DOI | http | .pdf ]
[6] Michele Fraccaroli, Fabrizio Riguzzi, and Evelina Lamma. Exploiting parameters learning for hyper-parameters optimization in deep neural networks. In Yuliya Lierler, Jose F. Morales, Carmine Dodaro, Veronica Dahl, Martin Gebser, and Tuncay Tekle, editors, Proceedings of the 38th International Conference on Logic Programming (Technical Communications), Recently Published Research track, volume 364 of Electronic Proceedings in Theoretical Computer Science, pages 142--144, Waterloo, Australia, 2022. Open Publishing Association. [ bib | DOI | http ]
[5] Michele Fraccaroli, Evelina Lamma, and Fabrizio Riguzzi. Symbolic DNN-Tuner: A Python and ProbLog-based system for optimizing deep neural networks hyperparameters. SoftwareX, 17:100957, 2022. [ bib | DOI | http ]
[4] Michele Fraccaroli, Alice Bizzarri, Paolo Casellati, and Evelina Lamma. Cross entropy overlap distance. Accepted and Presented at ITAL-IA 2022, workshop on AI for Industry, feb 2022. [ bib | .pdf ]
[3] Damiano Azzolini, Fabrizio Riguzzi, Elena Bellodi, and Evelina Lamma. A probabilistic logic model of lightning network. In Witold Abramowicz, Sören Auer, and Milena Stróżyna, editors, Business Information Systems Workshops, Lecture Notes in Business Information Processing (LNBIP), pages 321--333, Cham, Switzerland, 2022. Springer International Publishing. [ bib | DOI | http | .pdf ]
[2] Riccardo Zese, Elena Bellodi, Michele Fraccaroli, Fabrizio Riguzzi, and Evelina Lamma. Neural networks and deep learning fundamentals. In Rino Micheloni and Cristian Zambelli, editors, Machine Learning and Non-volatile Memories, pages 23--42. Springer International Publishing, Cham, 2022. [ bib | DOI | http ]
[1] Arnaud Nguembang Fadja, Michele Fraccaroli, Alice Bizzarri, Giulia Mazzuchelli, and Evelina Lamma. Neural-symbolic ensemble learning for early-stage prediction of critical state of covid-19 patients. Medical & Biological Engineering & Computing, 2022. [ bib | DOI | http ]

2021

[6] Michele Fraccaroli, Evelina Lamma, and Fabrizio Riguzzi. Symbolic DNN-Tuner. Machine Learning, © Springer, 2021. [ bib | DOI ]
[5] Arnaud Nguembang Fadja, Fabrizio Riguzzi, and Evelina Lamma. Learning hierarchical probabilistic logic programs. Machine Learning, 110(7):1637--1693, © Springer, 2021. [ bib | DOI | .pdf ]
[4] Damiano Azzolini, Fabrizio Riguzzi, and Evelina Lamma. Summary of semantics for hybrid probabilistic logic programs with function symbols. In Andrea Formisano, Yanhong Annie Liu, Bart Bogaerts, Alex Brik, Veronica Dahl, Carmine Dodaro, Paul Fodor, Gian Luca Pozzato, Joost Vennekens, and Neng-Fa Zhou, editors, Proceedings 37th International Conference on Logic Programming (Technical Communications), pages 234--235, Waterloo, Australia, 2021. © by the authors, Open Publishing Association. [ bib | DOI | http | .pdf ]
[3] Damiano Azzolini, Fabrizio Riguzzi, and Evelina Lamma. A semantics for hybrid probabilistic logic programs with function symbols. Artificial Intelligence, 294:103452, © Elsevier, 2021. The final publication is available at Elsevier via https://doi.org/10.1016/j.artint.2021.103452. [ bib | DOI | .pdf ]
[2] Fabrizio Riguzzi, Elena Bellodi, Riccardo Zese, Marco Alberti, and Evelina Lamma. Probabilistic inductive constraint logic. Machine Learning, 110:723--754, 2021. [ bib | DOI | .pdf ]
[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

[7] Michele Fraccaroli, Evelina Lamma, and Fabrizio Riguzzi. Automatic setting of DNN hyper-parameters by mixing Bayesian Optimization and tuning rules. In Giuseppe Nicosia, Varun Ojha, Emanuele La Malfa, Giorgio Jansen, Vincenzo Sciacca, Panos Pardalos, Giovanni Giuffrida, and Renato Umeton, editors, Machine Learning, Optimization, and Data Science, 6th International Conference, LOD 2020, Siena, Italy, July 19–23, 2020, Revised Selected Papers, Part I, volume 12565 of Lecture Notes in Computer Science, pages 477--488, Cham, 2020. © Springer, Springer International Publishing. The final publication is available at Springer via https://link.springer.com/chapter/10.1007/978-3-030-64583-0_43. [ bib | DOI | .pdf ]
[6] 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 ]
[5] 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 ]
[4] Giuseppe Cota, Riccardo Zese, Elena Bellodi, Evelina Lamma, and Fabrizio Riguzzi. A framework for reasoning on probabilistic description logics. In Giuseppe Cota, Marilena Daquino, and Gian Luca Pozzato, editors, Applications and Practices in Ontology Design, Extraction, and Reasoning, volume 49 of Studies on the Semantic Web, pages 127--144. IOS Press, © Akademische Verlagsgesellschaft AKA GmbH, Berlin, 2020. [ bib | DOI ]
[3] Damiano Azzolini, Fabrizio Riguzzi, and Evelina Lamma. An analysis of Gibbs sampling for probabilistic logic programs. In Carmine Dodaro, George Aristidis Elder, Wolfgang Faber, Jorge Fandinno, Martin Gebser, Markus Hecher, Emily LeBlanc, Michael Morak, and Jessica Zangari, editors, Workshop on Probabilistic Logic Programming (PLP 2020), volume 2678 of CEUR Workshop Proceedings, pages 1--13, Aachen, Germany, 2020. © by the authors, Sun SITE Central Europe. [ bib | .pdf ]
[2] Damiano Azzolini, Elena Bellodi, Alessandro Brancaleoni, Fabrizio Riguzzi, and Evelina Lamma. Modeling bitcoin lightning network by logic programming. In Francesco Ricca, Alessandra Russo, Sergio Greco, Nicola Leone, Alexander Artikis, Gerhard Friedrich, Paul Fodor, Angelika Kimmig, Francesca Lisi, Marco Maratea, Alessandra Mileo, and Fabrizio Riguzzi, editors, Proceedings of the 36th International Conference on Logic Programming (Technical Communications), pages 258--260, Waterloo, Australia, 2020. © by the authors, Open Publishing Association. [ bib | DOI | http | http ]
[1] Damiano Azzolini, Fabrizio Riguzzi, and Evelina Lamma. Modeling smart contracts with probabilistic logic programming. In Witold Abramowicz and Gary Klein, editors, Business Information Systems Workshops, volume 394 of Lecture Notes in Business Information Processing, pages 86--98, Cham, 2020. © Springer, Springer International Publishing. The final publication is available at Springer via http://dx.doi.org/10.1007/978-3-030-61146-0_7. [ bib | DOI | .pdf ]

2019

[5] Damiano Azzolini, Fabrizio Riguzzi, and Evelina Lamma. Analyzing transaction fees with probabilistic logic programming. In Witold Abramowicz and Rafael Corchuelo, editors, Business Information Systems Workshops BIS 2019, volume 373 of Lecture Notes in Business Information Processing, pages 243--254, Cham, 2019. © Springer, Springer International Publishing. The final publication is available at Springer via http://dx.doi.org/10.1007/978-3-030-36691-9_21. [ bib | DOI | .pdf ]
[4] Damiano Azzolini, Fabrizio Riguzzi, and Evelina Lamma. Studying transaction fees in the bitcoin blockchain with probabilistic logic programming. Information, 10(11):335, © CCBY, 2019. [ bib | DOI | http ]
[3] Damiano Azzolini, Fabrizio Riguzzi, Evelina Lamma, and Franco Masotti. A comparison of MCMC sampling for probabilistic logic programming. In Mario Alviano, Gianluigi Greco, and Francesco Scarcello, editors, Proceedings of the 18th Conference of the Italian Association for Artificial Intelligence (AI*IA2019), Rende, Italy 19-22 November 2019, volume 11946 of Lecture Notes in Computer Science, pages 18--29, Heidelberg, Germany, 2019. © Springer, Springer. The final publication is available at Springer via http://dx.doi.org/10.1007/978-3-030-35166-3_2. [ bib | DOI | .pdf ]
[2] Giuseppe Cota, Fabrizio Riguzzi, Evelina Lamma, and Riccardo Zese. KRaider: a crawler for linked data. In Alberto Casagrande and Eugenio Omodeo, editors, Proceedings of the 34th Italian Conference on Computational Logic, volume 2396 of CEUR Workshop Proceedings, pages 202--216, Aachen, Germany, 2019. © by the authors, Sun SITE Central Europe. [ bib | .pdf ]
[1] Riccardo Zese, Giuseppe Cota, Evelina Lamma, Elena Bellodi, and Fabrizio Riguzzi. Probabilistic DL reasoning with pinpointing formulas: A prolog-based approach. Theory and Practice of Logic Programming, 19(3):449--476, © Cambridge University Press, 2019. [ bib | DOI | .pdf ]

2018

[10] Arnaud Nguembang Fadja, Evelina Lamma, and Fabrizio Riguzzi. Vision inspection with neural networks. In Marco Maratea and Mauro Vallati, editors, R.i.C.e.R.c.A: RCRA Incontri E Confronti, Proceedings of the RiCeRcA Workshop co-located with the 17th International Conference of the Italian Association for Artificial Intelligence (Ai*iA 2018), volume 2272 of CEUR Workshop Proceedings, pages 1--10, Aachen, Germany, 2018. © by the authors, Sun SITE Central Europe. [ bib | .pdf ]
[9] Arnaud Nguembang Fadja, Fabrizio Riguzzi, and Evelina Lamma. Deep learning for probabilistic logic programming. In Marco Rospocher, Luciano Serafini, and Sara Tonelli, editors, AI*IA 2018 Doctoral Consortium, Proceedings of the AI*IA Doctoral Consortium (DC), volume 2249 of CEUR Workshop Proceedings, pages 43--47, Aachen, Germany, 2018. © by the authors, Sun SITE Central Europe. [ bib | .pdf ]
[8] Federico Chesani, Giuseppe Cota, Evelina Lamma, Paola Mello, and Fabrizio Riguzzi. A decision support system for food recycling based on constraint logic programming and ontological reasoning. In Paolo Felli and Marco Montali, editors, Proceedings of the 33rd Italian Conference on Computational Logic, volume 2214 of CEUR Workshop Proceedings, pages 117--131, Aachen, Germany, 2018. © by the authors, Sun SITE Central Europe. [ bib | .pdf ]
[7] Arnaud Nguembang Fadja, Fabrizio Riguzzi, and Evelina Lamma. Expectation maximization in deep probabilistic logic programming. In Chiara Ghidini, Bernardo Magnini, and Andrea Passerini, editors, Proceedings of the 17th Conference of the Italian Association for Artificial Intelligence (AI*IA2018), Trento, Italy, 20-23 November, 2018, volume 11298 of Lecture Notes in Computer Science, pages 293--306, Heidelberg, Germany, 2018. © Springer, Springer. The final publication is available at Springer via http://dx.doi.org/10.1007/978-3-030-03840-3_22. [ bib | DOI | .pdf ]
[6] Giuseppe Cota, Fabrizio Riguzzi, Riccardo Zese, Elena Bellodi, and Evelina Lamma. A modular inference system for probabilistic description logics. In Davide Ciucci, Gabriella Pasi, and Barbara Vantaggi, editors, Scalable Uncertainty Management 12th International Conference, SUM 2018, Milan, Italy, October 3-5, 2018, Proceedings, volume 11142 of Lecture Notes in Computer Science, pages 78--92, Heidelberg, Germany, 2018. © Springer, Springer. The final publication is available at Springer via http://dx.doi.org/10.1007/978-3-030-00461-3_6. [ bib | DOI | .pdf ]
[5] Arnaud Nguembang Fadja, Fabrizio Riguzzi, and Evelina Lamma. Learning the parameters of deep probabilistic logic programs. In Elena Bellodi and Tom Schrijvers, editors, Probabilistic Logic Programming (PLP 2018), volume 2219 of CEUR Workshop Proceedings, pages 9--14, Aachen, Germany, 2018. © by the authors, Sun SITE Central Europe. [ bib | .pdf ]
[4] Damiano Azzolini, Fabrizio Riguzzi, Evelina Lamma, Elena Bellodi, and Riccardo Zese. Modeling bitcoin protocols with probabilistic logic programming. In Elena Bellodi and Tom Schrijvers, editors, Probabilistic Logic Programming (PLP 2018), volume 2219 of CEUR Workshop Proceedings, pages 49--61, Aachen, Germany, 2018. © by the authors, Sun SITE Central Europe. [ bib | .pdf ]
[3] Riccardo Zese, Elena Bellodi, Fabrizio Riguzzi, Giuseppe Cota, and Evelina Lamma. Tableau reasoning for description logics and its extension to probabilities. Annals of Mathematics and Artificial Intelligence, 82(1):101--130, © Springer, March 2018. [ bib | DOI | .pdf | http ]
[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

[9] 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 ]
[8] 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 ]
[7] Arnaud Nguembang Fadja, Evelina Lamma, and Fabrizio Riguzzi. Deep probabilistic logic programming. In Christian Theil Have and Riccardo Zese, editors, Proceedings of the 4th International Workshop on Probabilistic logic programming, (PLP 2017), volume 1916 of CEUR Workshop Proceedings, pages 3--14, Aachen, Germany, 2017. Sun SITE Central Europe. [ bib | .pdf ]
[6] Cristian Zambelli, Giuseppe Cancelliere, Fabrizio Riguzzi, Evelina Lamma, Piero Olivo, Alessia Marelli, and Rino Micheloni. Characterization of TLC 3D-NAND flash endurance through machine learning for LDPC code rate optimization. In 2017 IEEE International Memory Workshop (IMW), pages 1--4. IEEE, May 2017. [ bib | DOI ]
[5] 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 ]
[4] 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 ]
[3] Elena Bellodi, Evelina Lamma, Fabrizio Riguzzi, Riccardo Zese, and Giuseppe Cota. A web system for reasoning with probabilistic OWL. Software: Practice and Experience, 47(1):125--142, © Wiley, January 2017. [ bib | DOI | .pdf ]
[2] Fabrizio Riguzzi, Elena Bellodi, Riccardo Zese, Giuseppe Cota, and Evelina Lamma. A survey of lifted inference approaches for probabilistic logic programming under the distribution semantics. International Journal of Approximate Reasoning, 80(Supplement C):313--333, © Elsevier, January 2017. [ 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 ]

2016

[6] Fabrizio Riguzzi, Elena Bellodi, Evelina Lamma, Riccardo Zese, and Giuseppe Cota. Probabilistic logic programming on the web. Software: Practice and Experience, 46(10):1381--1396, © Wiley, October 2016. [ bib | DOI | .pdf ]
[5] 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 ]
[4] Fabrizio Riguzzi, Elena Bellodi, Riccardo Zese, Giuseppe Cota, and Evelina Lamma. Scaling structure learning of probabilistic logic programs by mapreduce. In Maria Fox and Gal Kaminka, editors, 22nd European Conference on Artificial Intelligence ECAI 2016, volume 285 of Frontiers in Artificial Intelligence and Applications, pages 1602--1603. IOS Press, © CC-BY-NC 4.0, 2016. [ bib | DOI | http ]
[3] 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 ]
[2] Giuseppe Cota, Riccardo Zese, Elena Bellodi, Fabrizio Riguzzi, and Evelina Lamma. Distributed parameter learning for probabilistic ontologies. In Katsumi Inoue, Hayato Ohwada, and Akihiro Yamamoto, editors, Inductive Logic Programming: 25th International Conference, ILP 2015, Kyoto, Japan, August 20-22, 2015, Revised Selected Papers, volume 9575 of Lecture Notes in Computer Science, pages 30--45, Heidelberg, Germany, 2016. © Springer International Publishing Switzerland, Springer International Publishing. The final publication is available at Springer via http://dx.doi.org/10.1007/978-3-319-40566-7_3. [ bib | DOI | .pdf ]
[1] Elena Bellodi, Fabrizio Riguzzi, and Evelina Lamma. Statistical relational learning for workflow mining. Intelligent Data Analysis, 20(3):515--541, © IOS Press, April 2016. [ bib | DOI | .pdf ]

2015

[9] Giuseppe Cota, Riccardo Zese, Elena Bellodi, Evelina Lamma, and Fabrizio Riguzzi. Learning probabilistic ontologies with distributed parameter learning. In Elena Bellodi and Alessio Bonfietti, editors, Proceedings of the Doctoral Consortium (DC) co-located with the 14th Conference of the Italian Association for Artificial Intelligence (AI*IA 2015), volume 1485 of CEUR Workshop Proceedings, pages 7--12, Aachen, Germany, 2015. © by the authors, Sun SITE Central Europe. [ bib | .pdf ]
[8] Riccardo Zese, Elena Bellodi, Fabrizio Riguzzi, and Evelina Lamma. Tableau reasoners for probabilistic ontologies exploiting logic programming techniques. In Elena Bellodi and Alessio Bonfietti, editors, Proceedings of the Doctoral Consortium (DC) co-located with the 14th Conference of the Italian Association for Artificial Intelligence (AI*IA 2015), volume 1485 of CEUR Workshop Proceedings, pages 1--6, Aachen, Germany, 2015. © by the authors, Sun SITE Central Europe. [ bib | .pdf ]
[7] 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 ]
[6] Giuseppe Cota, Riccardo Zese, Elena Bellodi, Evelina Lamma, and Fabrizio Riguzzi. Structure learning with distributed parameter learning for probabilistic ontologies. In Jaakko Hollmen and Panagiotis Papapetrou, editors, Doctoral Consortium of the European Conference on Machine Learning and Principles and Practice of Knowledge Discovery in Databases, pages 75--84, © by the authors, 2015. [ bib | http | http ]
[5] 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 ]
[4] 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 ]
[3] Fabrizio Riguzzi, Elena Bellodi, Evelina Lamma, and Riccardo Zese. Reasoning with probabilistic ontologies. In Qiang Yang and Michael Wooldridge, editors, Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, Buenos Aires, Argentina, 25-31 July 2015, pages 4310--4316, Palo Alto, California USA, 2015. © International Joint Conferences on Artificial Intelligence, AAAI Press / International Joint Conferences on Artificial Intelligence. [ bib | .pdf ]
[2] Riccardo Zese, Elena Bellodi, Evelina Lamma, and Fabrizio Riguzzi. Logic programming techniques for reasoning with probabilistic ontologies. In Odile Papini, Salem Benferhat, Laurent Garcia, Marie-Laure Mugnier, Eduardo Fermé, Thomas Meyer, Renata Wassermann, Torsten Hahmann, Ken Baclawski, Adila Krisnadhi, Pavel Klinov, Stefano Borgo, Oliver Kutz, and Daniele Porello, editors, Joint Ontology Workshops 2015, JOWO 2015 - Episode 1: The Argentine Winter of Ontology; Buenos Aires; Argentina; 25 July 2015 through 27 July 2015, volume 1517 of CEUR Workshop Proceedings, Aachen, Germany, 2015. © CC0 https://creativecommons.org/publicdomain/zero/1.0/, Sun SITE Central Europe. [ bib | .pdf ]
[1] Fabrizio Riguzzi, Elena Bellodi, Evelina Lamma, and Riccardo Zese. Probabilistic description logics under the distribution semantics. Semantic Web - Interoperability, Usability, Applicability, 6(5):447--501, 2015. [ bib | DOI | .pdf ]

2014

[4] Fabrizio Riguzzi, Elena Bellodi, Evelina Lamma, Riccardo Zese, and Giuseppe Cota. Learning probabilistic description logics. In Fernando Bobillo, Rommel N. Carvalho, Paulo C.G. Costa, Claudia d'Amato, Nicola Fanizzi, Kathryn B. Laskey, Kenneth J. Laskey, Thomas Lukasiewicz, Matthias Nickles, and Michael Pool, editors, Uncertainty Reasoning for the Semantic Web III, volume 8816 of Lecture Notes in Computer Science, pages 63--78. Springer International Publishing, © Springer International Publishing, 2014. The original publication is available at http://link.springer.com. [ bib | DOI | .pdf ]
[3] Riccardo Zese, Elena Bellodi, Evelina Lamma, Fabrizio Riguzzi, and Fabiano Aguiari. Semantics and inference for probabilistic description logics. In Fernando Bobillo, Rommel N. Carvalho, Paulo C.G. Costa, Claudia d'Amato, Nicola Fanizzi, Kathryn B. Laskey, Kenneth J. Laskey, Thomas Lukasiewicz, Matthias Nickles, and Michael Pool, editors, Uncertainty Reasoning for the Semantic Web III, volume 8816 of Lecture Notes in Computer Science, pages 79--99. Springer International Publishing, © Springer International Publishing, 2014. The original publication is available at http://link.springer.com. [ bib | DOI | .pdf ]
[2] Elena Bellodi, Evelina Lamma, Fabrizio Riguzzi, Vitor Santos Costa, and Riccardo Zese. Lifted variable elimination for probabilistic logic programming. Theory and Practice of Logic Programming, 14(Special issue 4-5 - ICLP 2014):681--695, © Cambridge University Press, 2014. [ bib | DOI | http ]
[1] Fabrizio Riguzzi, Elena Bellodi, Evelina Lamma, and Riccardo Zese. Learning the parameters of probabilistic description logics. In Gerson Zaverucha, Vitor Santos Costa, and Aline Marins Paes, editors, Late Breaking papers of the 23rd International Conference on Inductive Logic Programming, Rio de Janeiro, Brazil, August 28th to 30th, 2013, volume 1187 of CEUR Workshop Proceedings, pages 46--51, Aachen, Germany, 2014. © by the authors, Sun SITE Central Europe. [ bib | .pdf ]

2013

[5] Fabrizio Riguzzi, Elena Bellodi, Evelina Lamma, and Riccardo Zese. Computing instantiated explanations in OWL DL. In Matteo Baldoni, Cristina Baroglio, and Guido Boella, editors, Proceedings of the 13th Conference of the Italian Association for Artificial Intelligence (AI*IA2013), Turin, Italy, 4-6 December 2013, volume 8249 of Lecture Notes in Artificial Intelligence, pages 397--408, Heidelberg, Germany, 2013. © Springer, Springer. The original publication is available at http://link.springer.com. [ bib | DOI | .pdf ]
[4] Riccardo Zese, Elena Bellodi, Evelina Lamma, and Fabrizio Riguzzi. A description logics tableau reasoner in Prolog. In Domenico Cantone and Marianna Nicolosi Asmundo, editors, Proceedings of the 28th Italian Conference on Computational Logic (CILC2013), Catania, Italy, 25-27 September 2013, number 1068 in CEUR Workshop Proceedings, pages 33--47, Aachen, Germany, 2013. © by the authors, Sun SITE Central Europe. [ bib | .pdf | .pdf ]
[3] Fabrizio Riguzzi, Evelina Lamma, Elena Bellodi, and Riccardo Zese. BUNDLE: A reasoner for probabilistic ontologies. In Wolfgang Faber and Domenico Lembo, editors, 7th International Conference on Web Reasoning and Rule Systems (RR 2013), Mannheim, Germany, July 27-29 2013. Proceedings, volume 7994 of Lecture Notes in Computer Science, pages 183--197, Heidelberg, Germany, 2013. © Springer, Springer. The original publication is available at http://link.springer.com. [ bib | DOI | .pdf ]
[2] Fabrizio Riguzzi, Elena Bellodi, Evelina Lamma, and Riccardo Zese. Parameter learning for probabilistic ontologies. In Wolfgang Faber and Domenico Lembo, editors, 7th International Conference on Web Reasoning and Rule Systems (RR 2013), Mannheim, Germany, July 27-29 2013. Proceedings, volume 7994 of Lecture Notes in Computer Science, pages 265--270, Heidelberg, Germany, 2013. © Springer, Springer. The original publication is available at http://link.springer.com. [ bib | DOI | .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

[6] Fabrizio Riguzzi, Elena Bellodi, Evelina Lamma, and Riccardo Zese. Epistemic and statistical probabilistic ontologies. In Fernando Bobillo, Rommel Carvalho, Paulo C. G. da Costa, Nicola Fanizzi, Kathryn B. Laskey, Kenneth J. Laskey, Thomas Lukasiewicz, Trevor Martin, Matthias Nickles, and Michael Pool, editors, Proceedings of the 8th International Workshop on Uncertain Reasoning for the Semantic Web (URSW2012), Boston, USA, 11 November 2012, number 900 in CEUR Workshop Proceedings, pages 3--14, Aachen, Germany, 2012. Sun SITE Central Europe. [ bib | .pdf ]
[5] Fabrizio Riguzzi, Evelina Lamma, Elena Bellodi, and Riccardo Zese. Semantics and inference for probabilistic ontologies. In Matteo Baldoni, Federico Chesani, Bernardo Magnini, Paola Mello, and Marco Montali, editors, Popularize Artificial Intelligence. Proceedings of the AI*IA Workshop and Prize for Celebrating 100th Anniversary of Alan Turing's Birth (PAI 2012), Rome, Italy, June 15, 2012, volume 860 of CEUR Workshop Proceedings, pages 41--46, Aachen, Germany, 2012. © by the authors, Sun SITE Central Europe. [ bib | .pdf ]
[4] Ludovico Buffon, Evelina Lamma, Fabrizio Riguzzi, and Davide Formenti. Un sistema di vision inspection basato su reti neurali. In Matteo Baldoni, Federico Chesani, Bernardo Magnini, Paola Mello, and Marco Montai, editors, Popularize Artificial Intelligence. Proceedings of the AI*IA Workshop and Prize for Celebrating 100th Anniversary of Alan Turing's Birth (PAI 2012), Rome, Italy, June 15, 2012, volume 860 of CEUR Workshop Proceedings, pages 1--6, Aachen, Germany, 2012. © by the authors, Sun SITE Central Europe. [ bib | .pdf ]
[3] Fabrizio Riguzzi, Elena Bellodi, and Evelina Lamma. Probabilistic Datalog+/- under the distribution semantics. In Yevgeny Kazakov, Domenico Lembo, and Frank Wolter, editors, Proceedings of the 25th International Workshop on Description Logics (DL2012), Roma, Italy, 7-10 June 2012, volume 846 of CEUR Workshop Proceedings, pages 519--529, Aachen, Germany, 2012. © by the authors, Sun SITE Central Europe. [ bib | .pdf | .pdf ]
[2] Fabrizio Riguzzi, Elena Bellodi, and Evelina Lamma. Probabilistic ontologies in Datalog+/-. In Proceedings of the 27th Italian Conference on Computational Logic (CILC2012), Roma, Italy, 6-7 June 2012, volume 857 of CEUR Workshop Proceedings, pages 221--235, Aachen, Germany, 2012. © by the authors, Sun SITE Central Europe. [ bib | .pdf | .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] Elena Bellodi, Evelina Lamma, Fabrizio Riguzzi, and Simone Albani. A distribution semantics for probabilistic ontologies. In Fernando Bobillo, Rommel Carvalho, Paulo C. G. da Costa, Claudia d'Amato, Nicola Fanizzi, Kathryn B. Laskey, Kenneth J. Laskey, Thomas Lukasiewicz, Trevor Martin, Matthias Nickles, and Michael Pool, editors, Proceedings ot the 7th International Workshop on Uncertainty Reasoning for the Semantic Web, Bonn, Germany, 23 October, 2011, volume 778 of CEUR Workshop Proceedings, pages 75--86, Aachen, Germany, 2011. Sun SITE Central Europe. [ bib | .pdf | .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

[6] Massimiliano Cattafi, Evelina Lamma, Fabrizio Riguzzi, and Sergio Storari. Incremental declarative process mining. In Ngoc Thanh Nguyen and Edward Szczerbicki, editors, Smart Information and Knowledge Management: Advances, Challenges, and Critical Issues, volume 260 of Studies in Computational Intelligence, pages 103--127. Springer, Heidelberg, Germany, © Springer, 2010. [ bib | DOI | http | .pdf ]
[5] Elena Bellodi, Fabrizio Riguzzi, and Evelina Lamma. Probabilistic declarative process mining. In Yaxin Bi and Mary-Anne Williams, editors, Proceedings of the 4th International Conference on Knowledge Science, Engineering & Management (KSEM 2010), Belfast, UK, September 1-3, 2010, volume 6291 of Lecture Notes in Computer Science, pages 292--303, Heidelberg, Germany, 2010. © Springer, Springer. The original publication is available at http://www.springerlink.com. [ bib | DOI | .pdf | http ]
[4] Elena Bellodi, Fabrizio Riguzzi, and Evelina Lamma. Probabilistic logic-based process mining. In Proceedings of the 25th Italian Conference on Computational Logic (CILC2010), Rende, Italy, July 7-9, 2010., volume 598 of CEUR Workshop Proceedings, Aachen, Germany, 2010. © by the authors, Sun SITE Central Europe. [ bib | .pdf | .pdf ]
[3] 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 ]
[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

[8] Elena Bellodi, Fabrizio Riguzzi, and Evelina Lamma. Mining probabilistic declarative process models. In Marco Gavanelli and Toni Mancini, editors, Session R.i.C.e.R.c.A: RCRA Incontri E Confronti of the 16th RCRA International Workshop on Experimental evaluation of algorithms for solving problems with combinatorial explosion (RCRA 2009) Reggio Emilia, Italy, 11-12 December 2009, 2009. [ bib | .pdf ]
[7] Federico Chesani, Evelina Lamma, Paola Mello, Marco Montali, Fabrizio Riguzzi, and Sergio Storari. Exploiting inductive logic programming techniques for declarative process mining. LNCS Transactions on Petri Nets and Other Models of Concurrency, ToPNoC II, 5460:278--295, © Springer, 2009. The original publication is available at http://www.springerlink.com. [ bib | DOI | http | .pdf ]
[6] Sergio Storari, Fabrizio Riguzzi, and Evelina Lamma. Exploiting association and correlation rules parameters for learning bayesian networks. Intelligent Data Analysis, 13:689--701, © Sergio Storari, Fabrizio Riguzzi and Evelina Lamma, exclusively licensed to IOS Press, 2009. [ bib | DOI | .pdf ]
[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

[7] Evelina Lamma, Paola Mello, Fabrizio Riguzzi, and Sergio Storari. Applying inductive logic programming to process mining. In Proceedings of the 17th International Conference on Inductive Logic Programming, volume 4894 of Lecture Notes in Artificial Intelligence, pages 132--146, Heidelberg, Germany, 2008. © Springer, Springer. The original publication is available at http://www.springerlink.com. [ bib | DOI | http | .pdf ]
[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

[7] Evelina Lamma, Paola Mello, Marco Montali, Fabrizio Riguzzi, and Sergio Storari. Inducing declarative logic-based models from labeled traces. In Proceedings of the 5th International Conference on Business Process Management, volume 4714 of Lecture Notes in Computer Science, pages 344--359, Heidelberg, Germany, 2007. © Springer, Springer. The original publication is available at http://www.springerlink.com. [ bib | DOI | http | .pdf ]
[6] Evelina Lamma, Fabrizio Riguzzi, Sergio Storari, Paola Mello, and Marco Montali. Learning decserflow models from labeled traces. In Proceedings of the 1st International Workshop on the Induction of Process Models, 2007. [ bib | .pdf ]
[5] Giacomo Gamberoni, Evelina Lamma, Fabrizio Riguzzi, Sergio Storari, and Chiara Scapoli. Combining apriori and bootstrap techniques for marker analysis. In Proceedings of the Workshop Data Mining in Functional Genomics and Proteomics: Current Trends and Future Directions, 2007. [ bib | .pdf ]
[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

[14] Giacomo Gamberoni, Evelina Lamma, Fabrizio Riguzzi, Sergio Storari, and Chiara Scapoli. Marker analysis with apriori-based algorithms. In Melanie Hilario and Claire Nédellec, editors, Notes from the Workshop on Data and Text Mining for Integrative Biology of the 17th European Conference on Machine Learning (ECML'2006) and the 10th European Conference on Principles and Practice of Knowledge Discovery in Databases (PKDD'2006), pages 61--66, Berlin, Germany, September 2006. [ bib | .pdf | .pdf ]
[13] Evelina Lamma, Paola Mello, Annamaria Nanetti, Fabrizio Riguzzi, Sergio Storari, and Gianfranco Valastro. Artificial intelligence techniques for monitoring dangerous infections. IEEE Transaction on Information Technology in Biomedicine, 10(1):143--155, © IEEE, January 2006. [ bib | DOI | .pdf ]
[12] Evelina Lamma, Fabrizio Riguzzi, and Sergio Storari. Improving the k2 algorithm using association rule parameters. In Bernadette Bouchon-Meunier, Giulianella Coletti, and Ronald Yager, editors, Modern Information Processing: From Theory to Applications, pages 207--217. Elsevier, Amsterdam, The Netherlands, 2006. [ bib | DOI | http | .pdf ]
[11] Evelina Lamma, Paola Mello, and Fabrizio Riguzzi. Exploiting abduction for learning from incomplete interpretations. In Marco Gavanelli and Tony Mancini, editors, Incontro del Gruppo di Lavoro Rappresentazione della Conoscenza e Ragionamento Automatico (RCRA) dell'Associazione Italiana per l'Intelligenza Artificiale (AI*IA) dal titolo “Analisi Sperimentale e Benchmark di Algoritmi per l'Intelligenza Artificiale”, 23 giugno 2006, Udine, Italy, June 2006. [ bib | .pdf ]
[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

[6] Giacomo Gamberoni, Evelina Lamma, Fabrizio Riguzzi, Sergio Storari, and Stefano Volinia. Bayesian networks learning for gene expression datasets. In Advances in Intelligent Data Analysis VI: 6th International Symposium on Intelligent Data Analysis, IDA 2005, Madrid, Spain, September 8-10, 2005. Proceedings, volume 3646 of Lecture Notes in Computer Science, pages 109--120, Heidelberg, Germany, September 2005. © Springer, Springer Verlag. The original publication is available at http://www.springerlink.com. [ bib | DOI | http | .pdf ]
[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

[10] Evelina Lamma, Paola Mello, and Fabrizio Riguzzi. A system for measuring function points from an ER-DFD specification. The Computer Journal, 47(3):358--372, © Evelina Lamma, Paola Mello and Fabrizio Riguzzi, licensed exclusively to The British Computer Society, May 2004. [ bib | DOI | .pdf ]
[9] Evelina Lamma, Fabrizio Riguzzi, and Sergio Storari. Improving the k2 algorithm using association rules parameters. In B. Bouchon-Meunier, G. Coletti, and R. R. Yager, editors, Information Processing and Management of Uncertainty in Knowledge-Based Systems (IPMU2004), Perugia, 4-9 July 2004, pages 1667--1674, Rome, Italy, July 2004. Editrice Università La Sapienza. [ bib | .pdf ]
[8] Evelina Lamma, Fabrizio Riguzzi, and Sergio Storari. Exploiting association and correlation rules parameters for improving the k2 algorithm. In Ramon Lopez de Mantaras and Lorenza Saitta, editors, Proceedings of the 16th Eureopean Conference on Artificial Intelligence, ECAI 2004, including Prestigious Applicants of Intelligent Systems, PAIS 2004, Valencia, Spain, August 22-27, 2004, volume 110 of Frontiers in Artificial Intelligence and Applications, pages 500--504, Amsterdam, The Netherlands, August 2004. IOS Press. [ bib | .pdf | .pdf ]
[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

[5] Evelina Lamma, Fabrizio Riguzzi, Sergio Storari, Paola Mello, and Annamaria Nanetti. Discovering validation rules from micro-biological data. New Generation Computing, 21(2):123--134, © Ohmsha, Ltd. and Springer, February 2003. [ bib | DOI | http | .pdf ]
[4] Evelina Lamma, Fabrizio Riguzzi, and Luís Moniz Pereira. Belief revision via Lamarckian evolution. New Generation Computing, 21(3):247--275, © Ohmsha, Ltd. and Springer, August 2003. [ bib | DOI | http | .pdf ]
[3] Evelina Lamma, Fabrizio Riguzzi, Andrea Stambazzi, and Sergio Storari. Improving the SLA algorithm using association rules. In Amedeo Cappelli and Franco 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 on Artificial Intelligence, pages 165--175, Heidelberg, Germany, September 2003. © Springer, Springer Verlag. The original publication is available at http://www.springerlink.com. [ bib | DOI | 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, 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

[3] Evelina Lamma, Fabrizio Riguzzi, and Luís Moniz Pereira. Belief revision via Lamarckian evolution. In Claudio Delrieux, editor, Second International Workshop on Computational Models of Scientific Reasoning And Applications (II CMSRA) held at IC-AI 2002 Conference, Monte Carlo Resort, Las Vegas, Nevada, USA, June 27, 2002, pages 1--7, Bogart, Georgia, USA, June 2002. CSREA. [ bib | .pdf | .pdf ]
[2] Evelina Lamma, Giuseppe Modestino, Fabrizio Riguzzi, Sergio Storari, Paola Mello, and Annamaria Nanetti. An intelligent medical system for microbiological data validation and nosocomial infection surveillance. In P. Kokol, B. Stiglic, M. Zorman, and D. Zazula, editors, The 15th International Conference on Computer Based Medical Systems (CBMS 2002), Maribor, Slovenia, 4-7 June 2002, pages 13--20, Los Alamitos, California, USA, June 2002. IEEE Press. [ bib | DOI | http | .pdf ]
[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 ]

2001

[7] Evelina Lamma, Fabrizio Riguzzi, and Luís Moniz Pereira. Belief revision by Lamarckian evolution. In E.J.W. Boers, J. Gottlieb, P.L. Lanzi, R.E. Smith, S. Cagnoni, E. Hart, G.R. Raidl, and H. Tijink, editors, Applications of Evolutionary Computing : EvoWorkshops 2001: EvoCOP, EvoFlight, EvoIASP, EvoLearn, and EvoSTIM, Como, Italy, April 18-20, 2001, Proceedings, volume 2037 of Lecture Notes on Computer Science, page 404–413, Heidelberg, Germany, April 2001. © Springer, Springer-Verlag. The original publication is available at http://www.springerlink.com. [ bib | DOI | http | .pdf ]
[6] José Júlio Alferes, Pierangelo Dell'Acqua, Evelina Lamma, João Alexandre Leite, Luís Moniz Pereira, and Fabrizio Riguzzi. A logic based approach to multi-agent systems. The Association for Logic Programming Newsletter, 14(3), August 2001. [ bib | .pdf ]
[5] Evelina Lamma, Marco Manservigi, Paola Mello, Annamaria Nanetti, Fabrizio Riguzzi, and Sergio Storari. The automatic discovery of alarm rules for the validation of microbiological data. In R. Bellazzi, B. Zupan, and X. Liu, editors, 6th Internationl Workshop on Intelligent Data Analysis In Medicine And Pharmacology (IDAMAP2001), pages 1--7, London, UK, September 2001. [ bib | .pdf ]
[4] Evelina Lamma, Leonardo Maestrami, Paola Mello, Fabrizio Riguzzi, and Sergio Storari. Rule-based programming for building expert systems: a comparison in the microbiological data validation and surveillance domain. Electronic Notes in Theoretical Computer Science, 59, September 2001. [ bib | DOI | http | .pdf ]
[3] Evelina Lamma, Paola Mello, Annamaria Nanetti, Gianluca Poli, Fabrizio Riguzzi, and Sergio Storari. An expert system for microbiological data validation and surveillance. In J. Crespo and F. Maojo, V.and Martin, editors, Medical Data Analysis: Second International Symposium, ISMDA 2001 Madrid, Spain, October 8-9, 2001 Proceedings, volume 2199 of Lecture Notes on Computer Science, pages 153--160, Heidelberg, Germany, October 2001. © Springer, Springer Verlag. The original publication is available at http://www.springerlink.com. [ bib | DOI | http | .pdf ]
[2] Evelina Lamma, Fabrizio Riguzzi, and Luís Moniz Pereira. Belief revision by multi-agent genetic search. In ICLP01 2nd International Workshop on Computational Logic for Multi-Agent Systems (CLIMA01), Paphos, Cyprus, December 2001. [ bib | .pdf ]
[1] Evelina Lamma, Fabrizio Riguzzi, and Luís Moniz Pereira. A system for multi-agent belief revision by genetic search. In ICLP01 2nd International Workshop on Computational Logic for Multi-Agent Systems (CLIMA01), Paphos, Cyprus, December 2001. [ bib | .pdf ]

2000

[5] Evelina Lamma, Fabrizio Riguzzi, and Luís Moniz Pereira. Strategies in combined learning via logic programs. Machine Learning, 38(1/2):63--87, © Springer Netherlands, January/February 2000. The original publication is available at http://www.springerlink.com. [ bib | DOI | http | .pdf ]
[4] Floriana Esposito, Stefano Ferilli, Evelina Lamma, Paola Mello, Michela Milano, Fabrizio Riguzzi, and Giovanni Semeraro. Cooperation of abduction and induction in logic programming. In Peter A. Flach and Antonis C. Kakas, editors, Abductive and Inductive Reasoning: Essays on thier Relation and Integration, Applied Logic Series, pages 233--252. Kluwer Academic Publishers, Dordrecht, The Netherlands, © Kluwer Academic Publishers, April 2000. [ bib | DOI | http | .pdf ]
[3] Evelina Lamma, Luís Moniz Pereira, and Fabrizio Riguzzi. Logic aided Lamarckian evolution. In Pavel Brazdil and Ryszard S. Michalski, editors, Procs. of Multi-Strategy Learning Workshop (MSL00), Guimarães, Portugal, pages 59--73, Porto, Portugal, June 2000. LIAAC - Universidade do Porto. [ bib | .pdf ]
[2] Evelina Lamma, Marco Manservigi, Paola Mello, Fabrizio Riguzzi, Roberto Serra, and Sergio Storari. A system for monotoring nosocomial infections. In Nada Lavrač, Silvia Miksch, and Branko Kavšek, editors, ECAI2000 Workshop on Intelligent Data Analysis in Medicine and Pharmacology (IDAMAP-2000), Berlin, 20-25 August 2000, pages 17--19, Berlin, Germany, August 2000. ECAI Workshop Notes. [ bib | .pdf ]
[1] Evelina Lamma, Marco Manservigi, Paola Mello, Roberto Serra, Sergio Storari, and Fabrizio Riguzzi. A system for monitoring nosocomial infections. In R. W. Brause and E. Hanisch, editors, Medical Data Analysis: First International Symposium, ISMDA 2000, Frankfurt, Germany, September 29-30, 2000. Proceedings, volume 1933 of Lecture Notes on Computer Science, pages 282--292, Heidelberg, Germany, September 2000. © Springer, Springer Verlag. The original publication is available at http://www.springerlink.com. [ bib | DOI | http | .pdf ]

1999

[3] Evelina Lamma, Paola Mello, Michela Milano, and Fabrizio Riguzzi. Integrating induction and abduction in logic programming. Information Sciences, 116(1):25--54, © Elsevier, May 1999. [ bib | DOI | http | .pdf ]
[2] Evelina Lamma, Fabrizio Riguzzi, and Luís Moniz Pereira. Learning three-valued logic programs. In S. Dzeroski and P. Flach, editors, Late Breaking Paper, 9th International Workshop on Inductive Logic Programming (ILP99), Bled, Slovenia, June 1999. [ bib | .pdf ]
[1] Evelina Lamma, Fabrizio Riguzzi, and Luís Moniz Pereira. Agents learning in a three-valued logical setting. In Workshop on Machine Learning and Intelligent Agents Advanced Course on Artificial Intelligence 1999 (ACAI'99), Crete, Greece, July 1999. [ bib | .pdf ]

1998

[5] Evelina Lamma, Paola Mello, and Fabrizio Riguzzi. A system for measuring function points. In Proceedings of the 6th International Conference on Practical Applications of Prolog and 4th International Conference on Practical Applications of Constraint Technology (PAPPACT98), London, March 1998, pages 41--60, London, UK, March 1998. The Practical Application Company Ltd. [ bib | .pdf ]
[4] Evelina Lamma, Fabrizio Riguzzi, and Luís Moniz Pereira. Learning with extended logic programs. In Juergen Dix and Jorge Lobo, editors, Proceedings of the Logic Programming track of the Seventh International Workshop on Nonmonotonic Reasoning (LP-NMR98), Trento, Italy, May 30 - June 1, 1998, pages 1--9, Koblenz, Germany, May 1998. Universität Koblenz-Landau, Institut für Informatik. [ bib | .ps.gz | .pdf ]
[3] Evelina Lamma, Fabrizio Riguzzi, and Luís Moniz Pereira. Strategies for learning with extended logic programs. In Floriana Esposito, Ryszard Michalski, and Lorenza Saitta, editors, Proceedings of the Fourth International Workshop on Multistrategy Learning (MSL98), Desenzano del Garda, Italy, 11--13 June 1998, pages 99--108, Torino, Italy, June 1998. Dipartimento di Informatica, Università di Torino. [ bib ]
[2] Evelina Lamma, Paola Mello, Michela Milano, and Fabrizio Riguzzi. A system for abductive learning of logic programs. In J. Dix, L. M. Pereira, and T. Przymusinski, editors, Logic Programming and Knowledge Representation: Third International Workshop, LPKR'97, Port Jefferson, New York, USA, October 17, 1997. Selected Papers, volume 1471 of Lecture Notes on Computer Science, pages 102--122, Hidelberg, Germany, June 1998. © Springer, Springer Verlag. The original publication is available at http://www.springerlink.com. [ bib | DOI | http | .pdf ]
[1] Antonis Kakas, Evelina Lamma, and Fabrizio Riguzzi. Learning multiple predicates. In Artificial Intelligence: Methodology, Systems, and Applications: 8th International Conference, AIMSA'98, Sozopol, Bulgaria, September 21-23, 1998. Proceedings, volume 1480 of Lecture Notes on Artificial Intelligence, pages 303--316, Heidelberg, Germany, September 1998. © Springer, Springer Verlag. The original publication is available at http://www.springerlink.com. [ bib | DOI | http | .pdf ]

1997

[7] Evelina Lamma, Paola Mello, Michela Milano, and Fabrizio Riguzzi. Integrating induction and abduction in logic programming. In Paul P. Wang, editor, Proceedings of the Third Joint Conference on Information Sciences, 1--5 March 1997, Raleigh, North Carolina, volume 2, pages 203--206, Research Triangle Park, North Carolina, USA, March 1997. Duke University. [ bib | .pdf ]
[6] Fausto Gramantieri, Evelina Lamma, Paola Mello, and Fabrizio Riguzzi. A system for measuring function points from specifications. Technical Report DEIS-LIA-97-006, LIA Series n.23, DEIS, Università di Bologna, April 1997. [ bib | .pdf ]
[5] Fausto Gramantieri, Evelina Lamma, Paola Mello, and Fabrizio Riguzzi. Un sistema basato sulla conoscenza per il calcolo dei function point. In Incontro del Gruppo di Lavoro su Rapprensentazione della Conoscenza e Ragionamento Automatico dell'Associazione Italiana per l'Intelligenza Artificiale (AI*IA) e dell'Associazione italiana Tecnologie Avanzate Basate su concetti Orientati ad Oggetti (TABOO) dal titolo “Rappresentazione della conoscenza e tecniche ad oggetti nell'ingegneria del software”, Bologna, 4 April 1997, April 1997. [ bib | .pdf ]
[4] Evelina Lamma, Paola Mello, Michela Milano, and Fabrizio Riguzzi. An algorithm for learning abductive rules. In Moreno Falaschi, Marisa Navarro, and Alberto Policriti, editors, Proceedings of the APPIA-GULP-PRODE 97 Joint Conference on Declarative Programming, Grado, Italy, 16--19 June 1997, pages 295--305. Dipartimento di Matematica e Informatica, Università di Udine and Gruppo Ricercatore e Utenti di Logic Programming, June 1997. [ bib | .pdf ]
[3] Evelina Lamma, Paola Mello, Michela Milano, and Fabrizio Riguzzi. Integrating extensional and intensional ILP systems through abduction. In Norbert E. Fuchs, editor, LOPSTR97, Proceedings of the 7th International Workshop on Logic Program Synthesis and Transformation, Leuven, Belgium, July 10-12, 1997, volume Report CW 253, pages 1--8, Leuven, Belgium, July 1997. Department of Computer Science, Katholieke Universiteit Leuven. [ bib | .pdf ]
[2] Evelina Lamma, Paola Mello, Michela Milano, and Fabrizio Riguzzi. Introducing abduction into (extensional) inductive logic programming systems. In M. Lenzerini, editor, AI*IA 97: Advances in Artificial Intelligence: 5th Congress of the Italian Association for Artificial Intelligence Rome, Italy, September 17-19, Proceedings, volume 1321 of Lecture Notes on Artificial Intelligence, pages 183 -- 194, Heidelberg, Germany, September 1997. © Springer, Springer Verlag. The original publication is available at http://www.springerlink.com. [ bib | DOI | http | .pdf ]
[1] Evelina Lamma, Paola Mello, Michela Milano, and Fabrizio Riguzzi. A system for learning abductive logic programs. In J. Dix, L. M. Pereira, and T. Przymusinski, editors, Proceedings of the ILPS97 Workshop on Logic Programming and Knowledge Representation (LPKR97), Port Jefferson, New York, USA, October 17, 1997, pages 55--66, Koblenz, Germany, October 1997. Universität Koblenz-Landau, Institut für Informatik. [ bib | .pdf ]

1996

[1] Floriana Esposito, Evelina Lamma, Donato Malerba, Paola Mello, Michela Milano, Fabrizio Riguzzi, and Giovanni Semeraro. Learning abductive logic programs. In Peter A. Flach and Antonis C. Kakas, editors, Proceedings of the ECAI96 Workshop on Abductive and Inductive Reasoning, pages 23--30, Budapest, Hungary, August 1996. [ bib | .pdf ]