| Verifiable agent interaction in abductive logic programming: the SCIFF framework M Alberti, F Chesani, M Gavanelli, E Lamma, P Mello, P Torroni ACM Transactions on Computational Logic (TOCL) 9 (4), 1-43, 2008 | 206 | 2008 |
| Modularity in logic programming M Bugliesi, E Lamma, P Mello The Journal of Logic Programming 19, 443-502, 1994 | 199 | 1994 |
| Compliance verification of agent interaction: a logic-based software tool M Alberti, M Gavanelli, E Lamma, F Chesani, P Mello, P Torroni Applied Artificial Intelligence 20 (2-4), 133-157, 2006 | 119 | 2006 |
| 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 | 118 | 2009 |
| Specification and verification of agent interaction protocols in a logic-based system M Alberti, D Daolio, P Torroni, M Gavanelli, E Lamma, P Mello Proceedings of the 2004 ACM symposium on Applied computing, 72-78, 2004 | 95 | 2004 |
| 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 | 90 | 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 | 81 | 2008 |
| Constraint propagation and value acquisition: why we should do it interactively E Lamma, P Mello, M Milano, R Cucchiara, M Gavanelli, M Piccardi IJCAI 99, 467-473, 1999 | 78 | 1999 |
| Integrating constraint logic programming and operations research techniques for the crew rostering problem A Caprara, F Focacci, E Lamma, P Mello, M Milano, P Toth, D Vigo Software: Practice and Experience 28 (1), 49-76, 1998 | 78 | 1998 |
| Specification and verification of agent interaction using social integrity constraints M Alberti, M Gavanelli, E Lamma, P Mello, P Torroni Electronic Notes in Theoretical Computer Science 85 (2), 94-116, 2004 | 76 | 2004 |
| Probabilistic description logics under the distribution semantics F Riguzzi, E Bellodi, E Lamma, R Zese Semantic Web 6 (5), 477-501, 2015 | 68 | 2015 |
| Mapping deontic operators to abductive expectations M Alberti, M Gavanelli, E Lamma, P Mello, P Torroni, G Sartor Computational & Mathematical Organization Theory 12, 205-225, 2006 | 66 | 2006 |
| Expressing and verifying business contracts with abductive logic programming M Alberti, F Chesani, M Gavanelli, E Lamma, P Mello, M Montali, ... International Journal of Electronic Commerce 12 (4), 9-38, 2008 | 63 | 2008 |
| Cooperation and Competition in ALIAS: A Logic Framework for Agents that Negotiate A Ciampolini, E Lamma, P Mello, F Toni, P Torroni Annals of Mathematics and Artificial Intelligence 37, 65-91, 2003 | 58 | 2003 |
| 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 |
| Reasoning with Probabilistic Ontologies. F Riguzzi, E Bellodi, E Lamma, R Zese IJCAI, 4310-4316, 2015 | 50 | 2015 |
| Enhancing implant surgery planning via computerized image processing. R Cucchiara, F Franchini, A Lamma, E Lamma, T Sansoni, E Sarti International Journal of Computerized Dentistry 4 (1), 9-24, 2001 | 50 | 2001 |
| A system for measuring function points from an er–dfd specification E Lamma, P Mello, F Riguzzi The Computer Journal 47 (3), 358-372, 2004 | 46 | 2004 |
| The SCIFF abductive proof-procedure M Alberti, M Gavanelli, E Lamma, P Mello, P Torroni AI* IA 3673, 135-147, 2005 | 45 | 2005 |
| An image analysis approach for automatically re-orienteering CT images for dental implants R Cucchiara, E Lamma, T Sansoni Computerized Medical Imaging and Graphics 28 (4), 185-201, 2004 | 45 | 2004 |
Fabrizio RiguzziFull Professor of Computer Science, University of FerraraGeverifieerd e-mailadres voor unife.it
