Dettaglio pubblicazione

2013, Proceedings of the 7th International Conference on Web Reasoning and Rule Systems, RR 2013LECTURE NOTES IN COMPUTER SCIENCE, Pages 50-64 (volume: 7994 LNCS)

Verification and synthesis in description logic based dynamic systems (04c Atto di convegno in rivista)

Diego Calvanese, De Giacomo Giuseppe, Marco Montali, Patrizi Fabio

DOI: 10.1007/978-3-642-39666-3_5

ISBN: 9783642396656, 97...

Gruppo di ricerca: Artificial Intelligence and Knowledge Representation

keywords