[1] 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 ]
[2] Stefano Bragaglia and Fabrizio Riguzzi. Approximate inference for logic programs with annotated disjunctions. 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 ]
[3] Fabrizio Riguzzi. Extended semantics and inference for the Independent Choice Logic. Logic Journal of the IGPL, 17(6):589-629, © Fabrizio Riguzzi, exclusively licensed to Oxford University Press, 2009. [ bib | DOI | .pdf ]
[4] Fabrizio Riguzzi. The SLGAD procedure for inference on Logic Programs with Annotated Disjunctions. In Marco Gavanelli and Toni Mancini, editors, Proceedings of the 15th RCRA workshop on Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion Udine, Italy, December 12-13, 2008, volume 451 of CEUR Workshop Proceedings, Aachen, Germany, 2009. © by the authors, Sun SITE Central Europe. [ bib | .pdf ]
[5] 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 ]
[7] 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 ]
[8] Federico Chesani, Paola Mello, Marco Montali, Fabrizio Riguzzi, Maurizio Sebastianis, and Sergio Storari. Checking compliance of execution traces to business rules. In Proceedings of the 4th Workshop on Business Process Intelligence (BPI 08), volume 17 of Lecture Notes in Business Information Processing, pages 129-140, Heidelberg, Germany, 2009. © Springer, Springer. The original publication is available at http://www.springerlink.com. [ bib | DOI | http | .pdf ]

This file was generated by bibtex2html 1.96.