| 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 | 197 | 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 | 95 | 2004 |
| 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 | 71 | 2004 |
| A spatial agent-based model for assessing strategies of adaptation to climate and tourism demand changes in an alpine tourism destination S Balbi, C Giupponi, P Perez, M Alberti Environmental Modelling & Software 45, 29-51, 2013 | 66 | 2013 |
| 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 |
| 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 | 57 | 2008 |
| Normative systems represented as hybrid knowledge bases M Alberti, AS Gomes, R Gonçalves, J Leite, M Slota International Workshop on Computational Logic in Multi-Agent Systems, 330-346, 2011 | 42 | 2011 |
| 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 | 41 | 2009 |
| 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 | 38 | 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 | 37 | 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 | 36 | 2005 |
| 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 | 36 | 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 | 36 | 2003 |
| 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 | 32 | 2017 |
| 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 | 30 | 2004 |
| 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 | 28 | 2006 |
| Modeling interactions using Social Integrity Constraints: A resource sharing case study M Alberti, M Gavanelli, E Lamma, P Mello, P Torroni International Workshop on Declarative Agent Languages and Technologies, 243-262, 2003 | 28 | 2003 |
| A social ACL semantics by deontic constraints M Alberti, A Ciampolini, M Gavanelli, E Lamma, P Mello, P Torroni International Central and Eastern European Conference on Multi-Agent Systems …, 2003 | 27 | 2003 |
| Abductive logic programming as an effective technology for the static verification of declarative business processes M Montali, P Torroni, F Chesani, P Mello, M Alberti, E Lamma Fundamenta Informaticae 102 (3-4), 325-361, 2010 | 26 | 2010 |
