On demand indexing for the DLV instantiator

zbMATH Open1226.68016MaRDI QIDQ3100241FDOQ3100241

Authors: Gelsomina Catalano, N. Leone, Simona Perri 

Publication date: 23 November 2011

Full work available at URL: https://www.mat.unical.it/ASPOCP08/

Recommendations

• scientific article; zbMATH DE number 1884396
• Optimizing answer set computation via heuristic-based decomposition
• Parallel instantiation of ASP programs: techniques and experiments
• Efficient parallel ASP instantiation via dynamic rewriting
• Enhancing DLV instantiator by backjumping techniques

zbMATH Keywords

answer set programming (ASP)DLV instantiatorinstantiation process

Mathematics Subject Classification ID

Logic programming (68N17)

Cited In (4)

• Title not available (Why is that?)
• Parallel instantiation of ASP programs: techniques and experiments
• The intelligent grounder of DLV
• Efficient parallel ASP instantiation via dynamic rewriting

Uses Software

• ASSAT
• Cmodels

This page was built for publication: On demand indexing for the DLV instantiator

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