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 | 194 | 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 | 122 | 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 | 94 | 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 |
Mapping deontic operators to abductive expectations M Alberti, M Gavanelli, E Lamma, P Mello, P Torroni, G Sartor Computational & Mathematical Organization Theory 12 (2-3), 205-225, 2006 | 64 | 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 | 63 | 2013 |
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 | 56 | 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 | 40 | 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 | 38 | 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 | 37 | 2006 |
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 | 36 | 2008 |
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 |
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 | 35 | 2005 |
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 | 29 | 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 | 29 | 2004 |
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 |
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 |
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 | 25 | 2010 |
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 | 25 | 2003 |