Exploiting inductive logic programming techniques for declarative process mining F Chesani, E Lamma, P Mello, M Montali, F Riguzzi, S Storari Transactions on Petri Nets and Other Models of Concurrency II: Special Issue …, 2009 | 123 | 2009 |
The PITA system: Tabling and answer subsumption for reasoning under uncertainty F Riguzzi, T Swift Theory and Practice of Logic Programming 11 (4-5), 433-449, 2011 | 111 | 2011 |
Foundations of Probabilistic Logic Programming: Languages, semantics, inference and learning F Riguzzi River Publishers, 2022 | 104 | 2022 |
Structure learning of probabilistic logic programs by searching the clause space E Bellodi, F Riguzzi Theory and Practice of Logic Programming 15 (2), 169-212, 2015 | 96 | 2015 |
Inducing declarative logic-based models from labeled traces E Lamma, P Mello, M Montali, F Riguzzi, S Storari Business Process Management: 5th International Conference, BPM 2007 …, 2007 | 92 | 2007 |
Applying inductive logic programming to process mining E Lamma, P Mello, F Riguzzi, S Storari Inductive Logic Programming: 17th International Conference, ILP 2007 …, 2008 | 86 | 2008 |
Expectation Maximization over binary decision diagrams for probabilistic logic programs E Bellodi, F Riguzzi Intelligent Data Analysis 17 (2), 343-363, 2013 | 80 | 2013 |
Probabilistic description logics under the distribution semantics F Riguzzi, E Bellodi, E Lamma, R Zese Semantic Web 6 (5), 477-501, 2015 | 73 | 2015 |
A top down interpreter for LPAD and CP-logic F Riguzzi AI* IA 2007: Artificial Intelligence and Human-Oriented Computing: 10th …, 2007 | 65 | 2007 |
Abductive concept learning AC Kakas, F Riguzzi New Generation Computing 18, 243-294, 2000 | 64 | 2000 |
Well–definedness and efficient inference for probabilistic logic programming under the distribution semantics F Riguzzi, T Swift Theory and practice of logic programming 13 (2), 279-302, 2013 | 59 | 2013 |
Reasoning with probabilistic ontologies F Riguzzi, E Bellodi, E Lamma, R Zese Proceedings of the Twenty-Fourth International Joint Conference on …, 2015 | 56 | 2015 |
Checking compliance of execution traces to business rules F Chesani, P Mello, M Montali, F Riguzzi, M Sebastianis, S Storari Business Process Management Workshops: BPM 2008 International Workshops …, 2009 | 54 | 2009 |
Extended semantics and inference for the Independent Choice Logic F Riguzzi Logic Journal of the IGPL 17 (6), 589-629, 2009 | 53 | 2009 |
Artificial intelligence techniques for monitoring dangerous infections E Lamma, P Mello, A Nanetti, F Riguzzi, S Storari, G Valastro IEEE Transactions on Information Technology in Biomedicine 10 (1), 143-155, 2006 | 52 | 2006 |
Learning the structure of probabilistic logic programs E Bellodi, F Riguzzi Inductive Logic Programming: 21st International Conference, ILP 2011 …, 2012 | 48 | 2012 |
BUNDLE: A reasoner for probabilistic ontologies F Riguzzi, E Bellodi, E Lamma, R Zese International Conference on Web Reasoning and Rule Systems, 183-197, 2013 | 47 | 2013 |
Tabling and answer subsumption for reasoning on logic programs with annotated disjunctions F Riguzzi, T Swift Technical Communications of the 26th International Conference on Logic …, 2010 | 47 | 2010 |
cplint on SWISH: Probabilistic logical inference with a web browser M Alberti, E Bellodi, G Cota, F Riguzzi, R Zese Intelligenza Artificiale 11 (1), 47-64, 2017 | 46 | 2017 |
Probabilistic declarative process mining E Bellodi, F Riguzzi, E Lamma Knowledge Science, Engineering and Management: 4th International Conference …, 2010 | 46 | 2010 |