Experimenting with parallelism for the instantiation of ASP programs

DOI10.1016/J.JALGOR.2008.02.003MaRDI QIDQ3527693zbMATH OpenOpenAlexFDO

Authors Francesco Calimeri, Simona Perri, F. Ricca

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

answer set programmingdisjunctive logic programminginstantiationparallelism

Mathematics Subject Classification ID

Logic programming (68N17)

Recommendations

• Parallel instantiation of ASP programs: techniques and experiments
• Efficient parallel ASP instantiation via dynamic rewriting
• Multi-threaded ASP solving with clasp
• scientific article; zbMATH DE number 1954102
• scientific article; zbMATH DE number 1884396

Cited in

(10)

• The intelligent grounder of DLV
• Efficient parallel ASP instantiation via dynamic rewriting
• scientific article; zbMATH DE number 1954102 (Why is no real title available?)
• {\textsc{ASPeRiX}}, a first-order forward chaining approach for answer set computing
• Optimizing answer set computation via heuristic-based decomposition
• Distributed answer set coloring: stable models computation via graph coloring
• scientific article; zbMATH DE number 7455702 (Why is no real title available?)
• Parallel instantiation of ASP programs: techniques and experiments
• Parallel Logic Programming: A Sequel
• DIRT: a literature-based benchmark suite for grounders

Describes a project that uses

Uses Software

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

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3527693)