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. 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
{"_id":{"_str":"5388358c0e577e1d6b002d43"},"__v":0,"authorIDs":[],"author_short":["Calvanese, D.","Giacomo, G. D.","Montali, M.","Patrizi, F."],"bibbaseid":"calvanese-giacomo-montali-patrizi-verificationandsynthesisindescriptionlogicbaseddynamicsystems-2013","bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Diego"],"propositions":[],"lastnames":["Calvanese"],"suffixes":[]},{"firstnames":["Giuseppe","De"],"propositions":[],"lastnames":["Giacomo"],"suffixes":[]},{"firstnames":["Marco"],"propositions":[],"lastnames":["Montali"],"suffixes":[]},{"firstnames":["Fabio"],"propositions":[],"lastnames":["Patrizi"],"suffixes":[]}],"editor":[{"firstnames":["Wolfgang"],"propositions":[],"lastnames":["Faber"],"suffixes":[]},{"firstnames":["Domenico"],"propositions":[],"lastnames":["Lembo"],"suffixes":[]}],"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","bibtex":"@inproceedings{DBLP:conf/rr/CalvaneseGMP13,\n author = {Diego Calvanese and\n Giuseppe De Giacomo and\n Marco Montali and\n Fabio Patrizi},\n editor = {Wolfgang Faber and\n Domenico Lembo},\n title = {Verification and Synthesis in Description Logic Based Dynamic Systems},\n booktitle = {Web Reasoning and Rule Systems - 7th International Conference, {RR}\n 2013, Mannheim, Germany, July 27-29, 2013. Proceedings},\n series = {Lecture Notes in Computer Science},\n volume = {7994},\n pages = {50--64},\n publisher = {Springer},\n year = {2013},\n url = {https://doi.org/10.1007/978-3-642-39666-3\\_5},\n doi = {10.1007/978-3-642-39666-3\\_5},\n timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},\n biburl = {https://dblp.org/rec/conf/rr/CalvaneseGMP13.bib},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n","author_short":["Calvanese, D.","Giacomo, G. D.","Montali, M.","Patrizi, F."],"editor_short":["Faber, W.","Lembo, D."],"key":"DBLP:conf/rr/CalvaneseGMP13","id":"DBLP:conf/rr/CalvaneseGMP13","bibbaseid":"calvanese-giacomo-montali-patrizi-verificationandsynthesisindescriptionlogicbaseddynamicsystems-2013","role":"author","urls":{"Paper":"https://doi.org/10.1007/978-3-642-39666-3_5"},"metadata":{"authorlinks":{}}},"bibtype":"inproceedings","biburl":"https://dblp.org/pid/g/GDGiacomo.bib","downloads":0,"keywords":[],"search_terms":["verification","synthesis","description","logic","based","dynamic","systems","calvanese","giacomo","montali","patrizi"],"title":"Verification and Synthesis in Description Logic Based Dynamic Systems","year":2013,"dataSources":["tYYCZGwzkJatkJPTa","nYZATui8QfoZTWDxh"]}