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 | 214 | 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 | 119 | 2006 |

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 | 103 | 2013 |

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 |

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 | 70 | 2004 |

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 | 66 | 2008 |

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 | 65 | 2006 |

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 | 47 | 2017 |

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 | 46 | 2009 |

The *S*CIFF Abductive Proof-ProcedureM Alberti, M Gavanelli, E Lamma, P Mello, P Torroni AI* IA 2005: Advances in Artificial Intelligence: 9th Congress of the …, 2005 | 46 | 2005 |

Normative systems represented as hybrid knowledge bases M Alberti, AS Gomes, R Gonçalves, J Leite, M Slota Computational Logic in Multi-Agent Systems: 12th International Workshop …, 2011 | 44 | 2011 |

Verification from declarative specifications using logic programming M Montali, P Torroni, M Alberti, F Chesani, M Gavanelli, E Lamma, ... Logic Programming: 24th International Conference, ICLP 2008 Udine, Italy …, 2008 | 44 | 2008 |

Security protocols verification in abductive logic programming: a case study M Alberti, F Chesani, M Gavanelli, E Lamma, P Mello, P Torroni Engineering Societies in the Agents World VI: 6th International Workshop …, 2006 | 40 | 2006 |

An abductive interpretation for open agent societies M Alberti, M Gavanelli, E Lamma, P Mello, P Torroni AI* IA 2003: Advances in Artificial Intelligence: 8th Congress of the …, 2003 | 39 | 2003 |

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 |

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 Global Computing: IST/FET International Workshop, GC 2004 Rovereto, Italy …, 2005 | 32 | 2005 |

A social ACL semantics by deontic constraints M Alberti, A Ciampolini, M Gavanelli, E Lamma, P Mello, P Torroni Multi-Agent Systems and Applications III: 3rd International Central and …, 2003 | 31 | 2003 |

Modeling Interactions Using *Social Integrity Constraints*: A Resource Sharing Case StudyM Alberti, M Gavanelli, E Lamma, P Mello, P Torroni Declarative Agent Languages and Technologies: First International Workshop …, 2004 | 30 | 2004 |

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 | 29 | 2010 |

Computational Logic for Run-Time Verification of Web Services Choreographies: Exploiting the *SOCS-SI* ToolM Alberti, F Chesani, M Gavanelli, E Lamma, P Mello, M Montali, S Storari, ... Web Services and Formal Methods: Third International Workshop, WS-FM 2006 …, 2006 | 28 | 2006 |