Look-back Techniques for ASP Programs with Aggregates

DOI10.3233/FI-2011-408zbMath1245.68051OpenAlexW2133116272MaRDI QIDQ2895770

Francesco Ricca, Wolfgang Faber, Marco Maratea, Nicola Leone

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

heuristicsknowledge representationnonmonotonic reasoninganswer set programmingaggregates

Mathematics Subject Classification ID

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

Related Items

Shared aggregate sets in answer set programming

Uses Software

• GNT
• ASSAT
• Gringo
• Smodels
• clasp