Pubblicazioni

Description Logic Based Dynamic Systems: Modeling, Verification, and Synthesis

2015 - Proceedings of the Twenty-Fourth International Joint Conference onArtificial Intelligence, IJCAI 2015
Calvanese, Diego; Montali, Marco; Patrizi, Fabio; DE GIACOMO, Giuseppe

© Università degli Studi di Roma "La Sapienza" - Piazzale Aldo Moro 5, 00185 Roma