Cmodels-2: SAT-based Answer Set Solver Enhanced to Non-tight Programs.

Yuliya Lierler Marco Maratea

Published in: LPNMR (2004)

Keyphrases

answer sets
answer set programming
logic programs
logic programming
answer set solvers
answer set semantics
answer set programs
fixpoint
stable model semantics
stable models
normal logic programs
lower bound
reasoning tasks
sat solvers
upper bound
loop formulas
machine learning