scientific article; zbMATH DE number 1884396

MaRDI QIDQ4798016zbMATH OpenFDO

Authors N. Leone, Simona Perri, Francesco Scarcello

Publication date 18 March 2003

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2173/21730280.htm

Mathematics Subject Classification ID

Computing methodologies and applications (68U99) Theory of languages and software systems (knowledge-based systems, expert systems, etc.) for artificial intelligence (68T35) Logic programming (68N17)

Recommendations

• On demand indexing for the DLV instantiator
• Parallel instantiation of ASP programs: techniques and experiments
• Efficient parallel ASP instantiation via dynamic rewriting
• Technical note. Efficiently coupling the \(\mathscr{I}\)-DLV grounder with ASP solvers
• The intelligent grounder of DLV

Cited in

(10)

• External sources of knowledge and value invention in logic programming
• Look-back techniques for ASP programs with aggregates
• Experimenting with parallelism for the instantiation of ASP programs
• On the foundations of grounding in answer set programming
• Enhancing DLV instantiator by backjumping techniques
• Parallel instantiation of ASP programs: techniques and experiments
• Optimizing answer set computation via heuristic-based decomposition
• On demand indexing for the DLV instantiator
• The intelligent grounder of DLV
• Efficient parallel ASP instantiation via dynamic rewriting

Describes a project that uses

Uses Software

• Smodels

This page was built for publication:

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