Verification and Synthesis in Description Logic Based Dynamic Systems. Calvanese, D., Giacomo, G. D., Montali, M., & Patrizi, F. In Faber, W. & Lembo, D., 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, 2013. Springer.
Verification and Synthesis in Description Logic Based Dynamic Systems [link]Paper  doi  bibtex   
@inproceedings{DBLP:conf/rr/CalvaneseGMP13,
  author    = {Diego Calvanese and
               Giuseppe De Giacomo and
               Marco Montali and
               Fabio Patrizi},
  editor    = {Wolfgang Faber and
               Domenico Lembo},
  title     = {Verification and Synthesis in Description Logic Based Dynamic Systems},
  booktitle = {Web Reasoning and Rule Systems - 7th International Conference, {RR}
               2013, Mannheim, Germany, July 27-29, 2013. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {7994},
  pages     = {50--64},
  publisher = {Springer},
  year      = {2013},
  url       = {https://doi.org/10.1007/978-3-642-39666-3\_5},
  doi       = {10.1007/978-3-642-39666-3\_5},
  timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/rr/CalvaneseGMP13.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}

Downloads: 0