Federico Igne, Agostino Dovier, Enrico Pontelli. MASP-Reduce: A Proposal for Distributed Computation of Stable Models. In Alessandro Dal Palù, Paul Tarau, Neda Saeedloei, Paul Fodor, editors, Technical Communications of the 34th International Conference on Logic Programming, ICLP 2018, July 14-17, 2018, Oxford, United Kingdom. Volume 64 of OASICS, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, 2018. [doi]
Abstract is missing.