The nomore + + Approach to Answer Set Solving

DOI10.1007/11591191_8zbMath1143.68584OpenAlexW1533970988MaRDI QIDQ5387832

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

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)

Related Items (8)

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

Uses Software

• ASSAT
• Cmodels
• NoMoRe
• Asparagus

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