407 followers
RT @aamasjournal: New article in JAAMAS from Matteo Baldoni, Cristina Baroglio, Federico Capuzzimati and Roberto Micalizio: "Type checking…
RT @aamasjournal: New article in JAAMAS from Matteo Baldoni, Cristina Baroglio, Federico Capuzzimati and Roberto Micalizio: "Type checking…
New article in JAAMAS from Matteo Baldoni, Cristina Baroglio, Federico Capuzzimati and Roberto Micalizio: "Type checking for protocol role enactments via commitments” https://t.co/xjsRe744VW #AgentTyping #SocialRelationships #TypeChecking #Commitments #In