@inproceedings{DBLP:conf/ijcai/CalvaneseMPG15,
  author    = {Diego Calvanese and
               Marco Montali and
               Fabio Patrizi and
               Giuseppe {De Giacomo}},
  title     = {Description Logic Based Dynamic Systems: Modeling, Verification, and
               Synthesis},
  booktitle = {Proceedings of the Twenty-Fourth International Joint Conference on
               Artificial Intelligence, {IJCAI} 2015, Buenos Aires, Argentina, July
               25-31, 2015},
  pages     = {4247--4253},
  year      = {2015},
  crossref  = {DBLP:conf/ijcai/2015},
  url       = {http://ijcai.org/Abstract/15/604},
  timestamp = {Tue, 20 Aug 2019 16:16:43 +0200},
  biburl    = {https://dblp.org/rec/conf/ijcai/CalvaneseMPG15.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}

{"_id":"kCFCM5CGnfswfZJ2Q","bibbaseid":"calvanese-montali-patrizi-degiacomo-descriptionlogicbaseddynamicsystemsmodelingverificationandsynthesis-2015","authorIDs":[],"author_short":["Calvanese, D.","Montali, M.","Patrizi, F.","De Giacomo, G."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Diego"],"propositions":[],"lastnames":["Calvanese"],"suffixes":[]},{"firstnames":["Marco"],"propositions":[],"lastnames":["Montali"],"suffixes":[]},{"firstnames":["Fabio"],"propositions":[],"lastnames":["Patrizi"],"suffixes":[]},{"firstnames":["Giuseppe"],"propositions":[],"lastnames":["De Giacomo"],"suffixes":[]}],"title":"Description Logic Based Dynamic Systems: Modeling, Verification, and Synthesis","booktitle":"Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, IJCAI 2015, Buenos Aires, Argentina, July 25-31, 2015","pages":"4247–4253","year":"2015","crossref":"DBLP:conf/ijcai/2015","url":"http://ijcai.org/Abstract/15/604","timestamp":"Tue, 20 Aug 2019 16:16:43 +0200","biburl":"https://dblp.org/rec/conf/ijcai/CalvaneseMPG15.bib","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@inproceedings{DBLP:conf/ijcai/CalvaneseMPG15,\n author = {Diego Calvanese and\n Marco Montali and\n Fabio Patrizi and\n Giuseppe {De Giacomo}},\n title = {Description Logic Based Dynamic Systems: Modeling, Verification, and\n Synthesis},\n booktitle = {Proceedings of the Twenty-Fourth International Joint Conference on\n Artificial Intelligence, {IJCAI} 2015, Buenos Aires, Argentina, July\n 25-31, 2015},\n pages = {4247--4253},\n year = {2015},\n crossref = {DBLP:conf/ijcai/2015},\n url = {http://ijcai.org/Abstract/15/604},\n timestamp = {Tue, 20 Aug 2019 16:16:43 +0200},\n biburl = {https://dblp.org/rec/conf/ijcai/CalvaneseMPG15.bib},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n","author_short":["Calvanese, D.","Montali, M.","Patrizi, F.","De Giacomo, G."],"key":"DBLP:conf/ijcai/CalvaneseMPG15","id":"DBLP:conf/ijcai/CalvaneseMPG15","bibbaseid":"calvanese-montali-patrizi-degiacomo-descriptionlogicbaseddynamicsystemsmodelingverificationandsynthesis-2015","role":"author","urls":{"Paper":"http://ijcai.org/Abstract/15/604"},"downloads":0},"bibtype":"inproceedings","biburl":"https://raw.githubusercontent.com/whitemech/whitemech.github.io/master/whitemech-publications.bib","creationDate":"2020-03-01T13:35:45.370Z","downloads":0,"keywords":[],"search_terms":["description","logic","based","dynamic","systems","modeling","verification","synthesis","calvanese","montali","patrizi","de giacomo"],"title":"Description Logic Based Dynamic Systems: Modeling, Verification, and Synthesis","year":2015,"dataSources":["a7J9cXfn5aGm5Rka2"]}