| 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 | 199 | 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 | 120 | 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 | 96 | 2004 |
| 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 | 75 | 1999 |
| 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 | 73 | 2004 |
| An algorithm for multi-criteria optimization in CSPs M Gavanelli ECAI 2, 136-140, 2002 | 71 | 2002 |
| The log-support encoding of CSP into SAT M Gavanelli International Conference on Principles and Practice of Constraint …, 2007 | 66 | 2007 |
| 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 | 65 | 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 | 58 | 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 | 40 | 2009 |
| 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 | 40 | 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 | 39 | 2008 |
| 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 | 38 | 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 | 37 | 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 | 35 | 2003 |
| Argumentation in the semantic web P Torroni, M Gavanelli, F Chesani IEEE Intelligent Systems 22 (6), 66-74, 2007 | 34 | 2007 |
| Sustainable policy making: A strategic challenge for artificial intelligence M Milano, B O’Sullivan, M Gavanelli ai Magazine 35 (3), 22-35, 2014 | 32 | 2014 |
| 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 | 29 | 2004 |
| 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 | 27 | 2011 |
| Computational logic for run-time verification of web services choreographies: Exploiting the socs-si tool M Alberti, F Chesani, M Gavanelli, E Lamma, P Mello, M Montali, S Storari, ... International Workshop on Web Services and Formal Methods, 58-72, 2006 | 27 | 2006 |
