nomore++

swMATH21358MaRDI QIDQ33166

No author found.

Described by source

• The nomore + + Approach to Answer Set Solving

Related Items (5)

Logic for programming, artificial intelligence, and reasoning. 12th international conference, LPAR 2005, Montego Bay, Jamaica, December 2--6, 2005. Proceedings ⋮ 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 ⋮ On the relation among answer set solvers

This page was built for software: nomore++