[Lecture Notes in Computer Science] Logic Programming and Nonmonotonic Reasoning Volume 2923 || Cmodels-2: SAT-based Answer Set Solver Enhanced to Non-tight Programs
Lifschitz, Vladimir, Niemelä, IlkkaVolume:
10.1007/b9
Year:
2004
Language:
english
DOI:
10.1007/978-3-540-24609-1_32
File:
PDF, 111 KB
english, 2004