Marco Montali, Diego Calvanese, Giuseppe De Giacomo. Specification and Verification of Commitment-Regulated Data-Aware Multiagent Systems. In Laura Giordano, Valentina Gliozzi, Gian Luca Pozzato, editors, Proceedings of the 29th Italian Conference on Computational Logic, Torino, Italy, June 16-18, 2014. Volume 1195 of CEUR Workshop Proceedings, pages 84-98, CEUR-WS.org, 2014. [doi]
Abstract is missing.