Home » Publication » 14330

Dettaglio pubblicazione

2015, Proceedings of the Twenty-Fourth International Joint Conference onArtificial Intelligence, IJCAI 2015, Pages 4247-4253 (volume: 2015)

Description Logic Based Dynamic Systems: Modeling, Verification, and Synthesis (04b Atto di convegno in volume)

Calvanese Diego, Montali Marco, Patrizi Fabio, DE GIACOMO Giuseppe

ISBN: 978-1-57735-738-4
keywords
© Università degli Studi di Roma "La Sapienza" - Piazzale Aldo Moro 5, 00185 Roma