Pubblicazioni

Bounded situation calculus action theories

2016 - ARTIFICIAL INTELLIGENCE
De Giacomo, Giuseppe; Lespérance, Yves; Patrizi, Fabio

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