Synthesis under Assumptions. Aminof, B., De Giacomo, G., Murano, A., & Rubin, S. In Principles of Knowledge Representation and Reasoning: Proceedings of the Sixteenth International Conference, KR 2018, Tempe, Arizona, 30 October - 2 November 2018, pages 615–616, 2018.
Paper bibtex @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}
}
Downloads: 0
{"_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"]}