@inproceedings{DBLP:conf/kr/AminofGMR18,
  author    = {Benjamin Aminof and
               Giuseppe {De Giacomo} and
               Aniello Murano and
               Sasha Rubin},
  title     = {Synthesis under Assumptions},
  booktitle = {Principles of Knowledge Representation and Reasoning: Proceedings
               of the Sixteenth International Conference, {KR} 2018, Tempe, Arizona,
               30 October - 2 November 2018},
  pages     = {615--616},
  year      = {2018},
  crossref  = {DBLP:conf/kr/2018},
  url       = {https://aaai.org/ocs/index.php/KR/KR18/paper/view/18053},
  timestamp = {Thu, 18 Oct 2018 09:44:31 +0200},
  biburl    = {https://dblp.org/rec/conf/kr/AminofGMR18.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}

{"_id":"2fGZvfhbNEepsa5J6","bibbaseid":"aminof-degiacomo-murano-rubin-synthesisunderassumptions-2018","authorIDs":[],"author_short":["Aminof, B.","De Giacomo, G.","Murano, A.","Rubin, S."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Benjamin"],"propositions":[],"lastnames":["Aminof"],"suffixes":[]},{"firstnames":["Giuseppe"],"propositions":[],"lastnames":["De Giacomo"],"suffixes":[]},{"firstnames":["Aniello"],"propositions":[],"lastnames":["Murano"],"suffixes":[]},{"firstnames":["Sasha"],"propositions":[],"lastnames":["Rubin"],"suffixes":[]}],"title":"Synthesis under Assumptions","booktitle":"Principles of Knowledge Representation and Reasoning: Proceedings of the Sixteenth International Conference, KR 2018, Tempe, Arizona, 30 October - 2 November 2018","pages":"615–616","year":"2018","crossref":"DBLP:conf/kr/2018","url":"https://aaai.org/ocs/index.php/KR/KR18/paper/view/18053","timestamp":"Thu, 18 Oct 2018 09:44:31 +0200","biburl":"https://dblp.org/rec/conf/kr/AminofGMR18.bib","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@inproceedings{DBLP:conf/kr/AminofGMR18,\n author = {Benjamin Aminof and\n Giuseppe {De Giacomo} and\n Aniello Murano and\n Sasha Rubin},\n title = {Synthesis under Assumptions},\n booktitle = {Principles of Knowledge Representation and Reasoning: Proceedings\n of the Sixteenth International Conference, {KR} 2018, Tempe, Arizona,\n 30 October - 2 November 2018},\n pages = {615--616},\n year = {2018},\n crossref = {DBLP:conf/kr/2018},\n url = {https://aaai.org/ocs/index.php/KR/KR18/paper/view/18053},\n timestamp = {Thu, 18 Oct 2018 09:44:31 +0200},\n biburl = {https://dblp.org/rec/conf/kr/AminofGMR18.bib},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n","author_short":["Aminof, B.","De Giacomo, G.","Murano, A.","Rubin, S."],"key":"DBLP:conf/kr/AminofGMR18","id":"DBLP:conf/kr/AminofGMR18","bibbaseid":"aminof-degiacomo-murano-rubin-synthesisunderassumptions-2018","role":"author","urls":{"Paper":"https://aaai.org/ocs/index.php/KR/KR18/paper/view/18053"},"downloads":0},"bibtype":"inproceedings","biburl":"https://raw.githubusercontent.com/whitemech/whitemech.github.io/master/whitemech-publications.bib","creationDate":"2020-03-01T13:35:45.351Z","downloads":0,"keywords":[],"search_terms":["synthesis","under","assumptions","aminof","de giacomo","murano","rubin"],"title":"Synthesis under Assumptions","year":2018,"dataSources":["a7J9cXfn5aGm5Rka2"]}