Weronika T. Adrian, Mario Alviano, Francesco Calimeri, Bernardo Cuteri, Carmine Dodaro, Wolfgang Faber, Davide Fuscà, Nicola Leone, Marco Manna, Simona Perri, Francesco Ricca, Pierfrancesco Veltri & Jessica Zangari (2018):
The ASP System DLV: Advancements and Applications.
KI 32(2-3),
pp. 177–179,
doi:10.1007/s13218-018-0533-0.
Francesco Calimeri, Simona Perri & Francesco Ricca (2008):
Experimenting with parallelism for the instantiation of ASP programs.
Journal of Algorithms 63(1-3),
pp. 34–54,
doi:10.1016/j.jalgor.2008.02.003.
Alessandro Dal Palù, Agostino Dovier, Enrico Pontelli & Gianfranco Rossi (2009):
GASP: Answer Set Programming with Lazy Grounding.
Fundam. Inform. 96(3),
pp. 297–322,
doi:10.3233/FI-2009-180.
J. Dean & S. Ghemawat (2008):
MapReduce: Simplified Data Processing on Large Clusters,
pp. 107–113 51.
ACM.
Agostino Dovier, Andrea Formisano & Enrico Pontelli (2009):
An empirical study of constraint logic programming and answer set programming solutions of combinatorial problems.
JETAI 21(2),
pp. 79–121,
doi:10.1080/09528130701538174.
Agostino Dovier, Andrea Formisano & Enrico Pontelli (2018):
Parallel Answer Set Programming.
In: Youssef Hamadi & Lakhdar Sais: Handbook of Parallel Constraint Reasoning..
Springer,
pp. 237–282,
doi:10.1007/978-3-319-63516-3_7.
Raphael A. Finkel, Victor W. Marek, Neil Moore & Miroslaw Truszczynski (2001):
Computing stable models in parallel.
In: Provetti & Son.
Available at http://www.cs.nmsu.edu/%7Etson/ASP2001/18.ps.
Martin Gebser, Roland Kaminski, Benjamin Kaufmann & Torsten Schaub (2014):
Clingo = ASP + Control: Preliminary Report.
CoRR abs/1405.3694.
Available at http://arxiv.org/abs/1405.3694.
M. Gelfond & V. Lifschitz (1990):
Logic Programs with Classical Negation.
In: Logic Programming, Proceedings of the Seventh International Conference, Jerusalem, Israel, June 18-20, 1990,
pp. 579–597.
Federico Igne (2017):
Analysis and development of a distributed ASP solver using MapReduce.
University of Udine.
Federico Igne, Agostino Dovier & Enrico Pontelli (2018):
MASP-Reduce: A Proposal for Distributed Computation of Stable Models.
In: Alessandro Dal Palù, Paul Tarau, Neda Saeedloei & Paul Fodor: Technical Communications of the 34th International Conference on Logic Programming, ICLP 2018, July 14-17, 2018, Oxford, United Kingdom,
OASICS 64.
Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik,
pp. 8:1–8:4,
doi:10.4230/OASIcs.ICLP.2018.8.
Kathrin Konczak, Thomas Linke & Torsten Schaub (2006):
Graphs and colorings for answer set programming.
TPLP 6(1-2),
pp. 61–106,
doi:10.1017/S1471068405002528.
Lengning Liu, Enrico Pontelli, Tran Cao Son & Miroslaw Truszczynski (2007):
Logic Programs with Abstract Constraint Atoms: The Role of Computations.
In: Verónica Dahl & Ilkka Niemelä: Logic Programming, 23rd International Conference, ICLP 2007, Porto, Portugal, September 8-13, 2007, Proceedings,
LNCS 4670.
Springer,
pp. 286–301,
doi:10.1145/321978.321991.
Enrico Pontelli & Omar El-Khatib (2001):
Exploiting Vertical Parallelism from Answer Set Programs.
In: Provetti & Son.
Available at http://www.cs.nmsu.edu/%7Etson/ASP2001/24.ps.
Alessandro Provetti & Tran Cao Son (2001):
Answer Set Programming, Towards Efficient and Scalable Knowledge Representation and Reasoning, Proceedings of the 1st Intl. ASP'01 Workshop, Stanford, CA, USA, March 26-28, 2001.
Tran Cao Son & Enrico Pontelli (2007):
Planning for biochemical pathways: A case study of answer set planning in large planning problem instances.
In: Marina De Vos & Torsten Schaub: Proceedings of the First International SEA'07 Workshop, Tempe, Arizona, USA,
CEUR Workshop Proceedings 281,
pp. 116–130.
Pietro Totis (2018):
A distributed ASP solver for stratified programs.
University of Udine.
eptcs@eptcs.org