Integrating grounding in the search process for answer set computing

MaRDI QIDQ3100242zbMATH OpenFDO

Authors Claire Lefèvre, Pascal Nicolas

Publication date 23 November 2011

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

zbMATH Keywords

ASP solver ASPeRiXgrounding phaseintegration of rule instantiation in the search processphases of answer set programming

Mathematics Subject Classification ID

Logic programming (68N17)

Recommendations

• A First Order Forward Chaining Approach for Answer Set Computing
• {\textsc{ASPeRiX}}, a first-order forward chaining approach for answer set computing
• Logic Programming
• Blending lazy-grounding and CDNL search for answer-set solving
• Prolog and ASP inference under one roof

Cited in

(7)

• Prolog and ASP inference under one roof
• Degrees of laziness in grounding. Effects of lazy-grounding strategies on ASP solving
• Answer Set Programming: A Primer
• {\textsc{ASPeRiX}}, a first-order forward chaining approach for answer set computing
• Blending lazy-grounding and CDNL search for answer-set solving
• GASP: Answer set programming with lazy grounding
• A First Order Forward Chaining Approach for Answer Set Computing

Describes a project that uses

Uses Software

• GASP
• NoMoRe
• Gringo
• ASSAT

This page was built for publication: Integrating grounding in the search process for answer set computing

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