VERDICCHIO, MARIO
VERDICCHIO, MARIO
DIPARTIMENTO DI ELETTRONICA, INFORMAZIONE E BIOINGEGNERIA
A commitment-based communicative act library
2008-01-01 Verdicchio, Mario; Colombetti, Marco
A logical model of social commitment for agent communication
2003-01-01 Verdicchio, Mario; Colombetti, Marco
A Social Approach to Communication in Multiagent Systems
2004-01-01 Colombetti, Marco; N., Fornara; Verdicchio, Mario
An Analysis of Agent Speech Acts as Institutional Actions
2002-01-01 Colombetti, Marco; Verdicchio, Mario
ANEMONE - A network of multi-agent platforms for academic communities
2005-01-01 G., Armano; P., Baroni; G., Cerchi; Colombetti, Marco; A., Gerevini; M., Mari; A., Poggi; C., Santoro; E., Tramontana; Verdicchio, Mario
Dealing with Time in Content Language Expressions
2004-01-01 Verdicchio, Mario; Colombetti, Marco
Is Computer Science Made Scientific by its Experiments?
2011-01-01 Schiaffonati, Viola; Verdicchio, Mario
Model Checking the Secure Electronic Transaction Protocol,
2003-01-01 Verdicchio, Mario; SAN PIETRO, Pierluigi
Model Checking-Aided Design of Secure Distributed Systems
2004-01-01 SAN PIETRO, Pierluigi; Verdicchio, Mario
Speech acts in artificial agent communication
2003-01-01 Colombetti, Marco; N., Fornara; Verdicchio, Mario