Towards distributed computation of answer sets

M. De Bortoli, Federico Igne, F. Tardivo, Pietro Totis, Agostino Dovier, E. Pontelli
2019-01-01
Cite URL
Type
Conference paper
Publication
CEUR Workshop Proceedings
ASP solving; Distributed computation; Logic programming

Related