Dettaglio pubblicazione
2013, Proceedings of the 26th International Workshop on Description LogicsCEUR WORKSHOP PROCEEDINGS, Pages 573-586 (volume: 1014)
Dynamic Systems based on Description Logics: Formalization, verification, and synthesis (04c Atto di convegno in rivista)
Diego Calvanese, DE GIACOMO Giuseppe, M. Montali, Patrizi Fabio
Gruppo di ricerca: Artificial Intelligence and Knowledge Representation
keywords