The nomore + + Approach to Answer Set Solving

DOI10.1007/11591191_8MaRDI QIDQ5387832zbMATH OpenOpenAlexFDO

Authors Christian Anger, Martin Gebser, T. Linke, André Neumann, Torsten Schaub

Publication date 27 May 2008

Published in Logic for Programming, Artificial Intelligence, and Reasoning (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/11591191_8

Mathematics Subject Classification ID

Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20)

Recommendations

• scientific article; zbMATH DE number 1931682
• scientific article; zbMATH DE number 1765678
• Abstract Answer Set Solvers
• Conflict-driven answer set solving: from theory to practice
• Abstract answer set solvers with backjumping and learning

Cited in

(8)

• On the relation among answer set solvers
• Conflict-driven answer set solving: from theory to practice
• Enhancing DLV instantiator by backjumping techniques
• nomore++
• Testing and debugging techniques for answer set solver development
• Justifications for logic programs under answer set semantics
• Semantics and complexity of recursive aggregates in answer set programming
• Possibilistic uncertainty handling for answer set programming

Describes a project that uses

Uses Software

• ASSAT
• Cmodels
• NoMoRe
• Asparagus

This page was built for publication: The nomore + + Approach to Answer Set Solving

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