Towards Distributed Computation of Answer Sets. Bortoli, M. D., Igne, F., Tardivo, F., Totis, P., Dovier, A., & Pontelli, E. In Casagrande, A. & Omodeo, E. G., editors, Proceedings of the 34th Italian Conference on Computational Logic, Trieste, Italy, June 19-21, 2019, volume 2396, of CEUR Workshop Proceedings, pages 316–326, 2019. CEUR-WS.org. Paper bibtex @inproceedings{DBLP:conf/cilc/BortoliITDP19,
author = {Marco De Bortoli and
Federico Igne and
Fabio Tardivo and
Pietro Totis and
Agostino Dovier and
Enrico Pontelli},
editor = {Alberto Casagrande and
Eugenio G. Omodeo},
title = {Towards Distributed Computation of Answer Sets},
booktitle = {Proceedings of the 34th Italian Conference on Computational Logic,
Trieste, Italy, June 19-21, 2019},
series = {{CEUR} Workshop Proceedings},
volume = {2396},
pages = {316--326},
publisher = {CEUR-WS.org},
year = {2019},
url = {https://ceur-ws.org/Vol-2396/paper36.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:45 +0100},
biburl = {https://dblp.org/rec/conf/cilc/BortoliITDP19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
Downloads: 0
{"_id":"WDiZEg9QrPp4pDt6n","bibbaseid":"bortoli-igne-tardivo-totis-dovier-pontelli-towardsdistributedcomputationofanswersets-2019","author_short":["Bortoli, M. D.","Igne, F.","Tardivo, F.","Totis, P.","Dovier, A.","Pontelli, E."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Marco","De"],"propositions":[],"lastnames":["Bortoli"],"suffixes":[]},{"firstnames":["Federico"],"propositions":[],"lastnames":["Igne"],"suffixes":[]},{"firstnames":["Fabio"],"propositions":[],"lastnames":["Tardivo"],"suffixes":[]},{"firstnames":["Pietro"],"propositions":[],"lastnames":["Totis"],"suffixes":[]},{"firstnames":["Agostino"],"propositions":[],"lastnames":["Dovier"],"suffixes":[]},{"firstnames":["Enrico"],"propositions":[],"lastnames":["Pontelli"],"suffixes":[]}],"editor":[{"firstnames":["Alberto"],"propositions":[],"lastnames":["Casagrande"],"suffixes":[]},{"firstnames":["Eugenio","G."],"propositions":[],"lastnames":["Omodeo"],"suffixes":[]}],"title":"Towards Distributed Computation of Answer Sets","booktitle":"Proceedings of the 34th Italian Conference on Computational Logic, Trieste, Italy, June 19-21, 2019","series":"CEUR Workshop Proceedings","volume":"2396","pages":"316–326","publisher":"CEUR-WS.org","year":"2019","url":"https://ceur-ws.org/Vol-2396/paper36.pdf","timestamp":"Fri, 10 Mar 2023 16:22:45 +0100","biburl":"https://dblp.org/rec/conf/cilc/BortoliITDP19.bib","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@inproceedings{DBLP:conf/cilc/BortoliITDP19,\n author = {Marco De Bortoli and\n Federico Igne and\n Fabio Tardivo and\n Pietro Totis and\n Agostino Dovier and\n Enrico Pontelli},\n editor = {Alberto Casagrande and\n Eugenio G. Omodeo},\n title = {Towards Distributed Computation of Answer Sets},\n booktitle = {Proceedings of the 34th Italian Conference on Computational Logic,\n Trieste, Italy, June 19-21, 2019},\n series = {{CEUR} Workshop Proceedings},\n volume = {2396},\n pages = {316--326},\n publisher = {CEUR-WS.org},\n year = {2019},\n url = {https://ceur-ws.org/Vol-2396/paper36.pdf},\n timestamp = {Fri, 10 Mar 2023 16:22:45 +0100},\n biburl = {https://dblp.org/rec/conf/cilc/BortoliITDP19.bib},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n","author_short":["Bortoli, M. D.","Igne, F.","Tardivo, F.","Totis, P.","Dovier, A.","Pontelli, E."],"editor_short":["Casagrande, A.","Omodeo, E. G."],"key":"DBLP:conf/cilc/BortoliITDP19","id":"DBLP:conf/cilc/BortoliITDP19","bibbaseid":"bortoli-igne-tardivo-totis-dovier-pontelli-towardsdistributedcomputationofanswersets-2019","role":"author","urls":{"Paper":"https://ceur-ws.org/Vol-2396/paper36.pdf"},"metadata":{"authorlinks":{}}},"bibtype":"inproceedings","biburl":"https://dblp.org/pid/144/4341.bib","dataSources":["5TDxp4qFqW23Taxym"],"keywords":[],"search_terms":["towards","distributed","computation","answer","sets","bortoli","igne","tardivo","totis","dovier","pontelli"],"title":"Towards Distributed Computation of Answer Sets","year":2019}