Diego Calvanese, Giuseppe De Giacomo, Marco Montali, Fabio Patrizi. Verification and Synthesis in Description Logic Based Dynamic Systems. In Wolfgang Faber, Domenico Lembo, editors, Web Reasoning and Rule Systems - 7th International Conference, RR 2013, Mannheim, Germany, July 27-29, 2013. Proceedings. Volume 7994 of Lecture Notes in Computer Science, pages 50-64, Springer, 2013. [doi]
Abstract is missing.