Experimenting with parallelism for the instantiation of ASP programs

DOI10.1016/J.JALGOR.2008.02.003zbMath1151.68356OpenAlexW2117839162MaRDI QIDQ3527693

Francesco Calimeri, Francesco Ricca, Simona Perri

Publication date: 29 September 2008

Published in: Journal of Algorithms (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.jalgor.2008.02.003

zbMATH Keywords

parallelismdisjunctive logic programminganswer set programminginstantiation

Mathematics Subject Classification ID

Logic programming (68N17)

Related Items (5)

The Intelligent Grounder of DLV ⋮ Parallel Logic Programming: A Sequel ⋮ ASPeRiX, a first-order forward chaining approach for answer set computing ⋮ Unnamed Item ⋮ Optimizing Answer Set Computation via Heuristic-Based Decomposition

Uses Software

• GNT
• PLATYPUS
• ASSAT
• Cmodels
• Smodels
• Lparse
• NoMoRe

This page was built for publication: Experimenting with parallelism for the instantiation of ASP programs