Pubblicazioni di De Giacomo Giuseppe
2014
DE GIACOMO Giuseppe
Review Editor di Artificial Intelligence, Elsevier. ARTIFICIAL INTELLIGENCE 2014: -
Marco Montali, Diego Calvanese, DE GIACOMO Giuseppe
Specification and Verification of Commitment-Regulated Data-Aware Multiagent Systems. Proceedings of the 29th Italian Conference on Computational Logic 2014: 84-98
Bagheri Hariri Babak, Calvanese Diego, Montali Marco, DE GIACOMO Giuseppe, Deutsch Alin
Verification of human driven data-centric dynamic systems. AAAI Spring Symposium - Technical Report 2014: 80-85