Look-back techniques for ASP programs with aggregates

DOI10.3233/FI-2011-408MaRDI QIDQ2895770zbMATH OpenOpenAlexFDO

Authors Wolfgang Faber, N. Leone, Marco Maratea, F. Ricca

Publication date 4 July 2012

Published in Fundamenta Informaticae (Search for Journal in Brave)

Full work available at URL https://doi.org/10.3233/fi-2011-408

zbMATH Keywords

heuristicsanswer set programmingnonmonotonic reasoningknowledge representationaggregates

Mathematics Subject Classification ID

General topics in the theory of software (68N01) Knowledge representation (68T30) Logic programming (68N17) Logic in artificial intelligence (68T27)

Recommendations

• Experimenting with Look-Back Heuristics for Hard ASP Programs
• Arguing correctness of ASP programs with aggregates
• Logic Programming
• scientific article; zbMATH DE number 1884396
• Logic Programming and Nonmonotonic Reasoning
• Debugging ASP Programs by Means of ASP
• Partial compilation of ASP programs
• Contextual data tailoring using ASP
• Vicious circle principle, aggregates, and formation of sets in ASP based languages

Cited in

(4)

• Look-back techniques and heuristics in DLV: Implementation, evaluation, and comparison to QBF solvers
• Experimenting with Look-Back Heuristics for Hard ASP Programs
• Logic Programming and Nonmonotonic Reasoning
• Shared aggregate sets in answer set programming

Describes a project that uses

Uses Software

• clasp
• Smodels
• Gringo
• ASSAT
• GNT

This page was built for publication: Look-back techniques for ASP programs with aggregates

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