Dettaglio pubblicazione
2013, CEUR Workshop Proceedings, Pages 71-80 (volume: 1101)
Verification and synthesis in description logic based dynamic systems (abridged version) (04b Atto di convegno in volume)
Calvanese Diego, DE GIACOMO Giuseppe, Montali Marco, Patrizi Fabio
Gruppo di ricerca: Artificial Intelligence and Knowledge Representation
keywords