Successfully reported this slideshow.
We use your LinkedIn profile and activity data to personalize ads and to show you more relevant ads. You can change your ad preferences anytime.

AAAI 2015 - Montali - Verification of Relational Multiagent Systems with Data Types

96 views

Published on

Teaser presentation of the paper "Verification of Relational Multiagent Systems with Data Types" at the 29th AAAI Conference on Artificial Intelligence (AAAI 2015)

  • Be the first to comment

  • Be the first to like this

AAAI 2015 - Montali - Verification of Relational Multiagent Systems with Data Types

  1. 1. Verification of Relational Multiagent Systems with Data Types Diego Calvanese, Giorgio Delzanno, Marco Montali e c “a”a b c pay( ,)
  2. 2. Verification of Relational Multiagent Systems with Data Types Diego Calvanese, Giorgio Delzanno, Marco Montali … but data order does! mutual exclusion protocols contract net auctions =domains facets domain relations /

×