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