Pubblicazioni

On the undecidability of the situation calculus extended with description logic ontologies

2015 - Proceedings of the Twenty-Fourth International Joint Conference onArtificial Intelligence, IJCAI 2015
Calvanese, Diego; DE GIACOMO, Giuseppe; Soutchanski, Mikhail

Adding DL-Lite TBoxes to Proper Knowledge Bases

2015 - The Semantic Web - ISWC 2015
DE GIACOMO, Giuseppe; Levesque, Hector J.

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