| 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 | 224 | 2008 |
| 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 | 123 | 2006 |
| 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 | 101 | 2004 |
| An algorithm for multi-criteria optimization in CSPs M Gavanelli¹ ECAI 2002: 15th European Conference on Artificial Intelligence, July 21-26 …, 2002 | 84 | 2002 |
| 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 | 82 | 1999 |
| The log-support encoding of CSP into SAT M Gavanelli International Conference on Principles and Practice of Constraint …, 2007 | 78 | 2007 |
| 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 | 72 | 2004 |
| Sustainable policy making: A strategic challenge for artificial intelligence M Milano, B O’Sullivan, M Gavanelli ai Magazine 35 (3), 22-35, 2014 | 69 | 2014 |
| 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 | 69 | 2008 |
| Mapping deontic operators to abductive expectations M Alberti, M Gavanelli, E Lamma, P Mello, P Torroni, G Sartor Computational & Mathematical Organization Theory 12 (2), 205-225, 2006 | 66 | 2006 |
| The SCIFF Abductive Proof-Procedure M Alberti, M Gavanelli, E Lamma, P Mello, P Torroni Congress of the Italian Association for Artificial Intelligence, 135-147, 2005 | 49 | 2005 |
| Verification from declarative specifications using logic programming M Montali, P Torroni, M Alberti, F Chesani, M Gavanelli, E Lamma, ... International Conference on Logic Programming, 440-454, 2008 | 48 | 2008 |
| Modelling interactions via commitments and expectations P Torroni, P Yolum, MP Singh, M Alberti, F Chesani, M Gavanelli, ... Handbook of research on multi-agent systems: Semantics and dynamics of …, 2009 | 47 | 2009 |
| An abductive framework for a-priori verification of web services M Alberti, M Gavanelli, E Lamma, F Chesani, P Mello, M Montali Proceedings of the 8th ACM SIGPLAN international conference on Principles …, 2006 | 42 | 2006 |
| Security protocols verification in abductive logic programming: a case study M Alberti, F Chesani, M Gavanelli, E Lamma, P Mello, P Torroni International Workshop on Engineering Societies in the Agents World, 106-124, 2005 | 42 | 2005 |
| An abductive interpretation for open agent societies M Alberti, M Gavanelli, E Lamma, P Mello, P Torroni Congress of the Italian Association for Artificial Intelligence, 287-299, 2003 | 40 | 2003 |
| The SOCS computational logic approach to the specification and verification of agent societies M Alberti, F Chesani, M Gavanelli, E Lamma, P Mello, P Torroni International Workshop on Global Computing, 314-339, 2004 | 37 | 2004 |
| Argumentation in the semantic web P Torroni, M Gavanelli, F Chesani IEEE Intelligent Systems 22 (6), 66-74, 2007 | 34 | 2007 |
| An ASP approach for the valves positioning optimization in a water distribution system M Gavanelli, M Nonato, A Peano Journal of Logic and Computation 25 (6), 1351-1369, 2013 | 33 | 2013 |
| Optimal placement of valves in a water distribution network with CLP (FD) M Cattafi, M Gavanelli, M Nonato, S Alvisi, M Franchini Theory and Practice of Logic Programming 11 (4-5), 731-747, 2011 | 33 | 2011 |
