5 search results - page 1 / 1 » The nomore System |
LPNMR
2005
Springer
14 years 4 months ago
2005
Springer
Abstract. We present a new answer set solver nomore++. Distinguishing features include its treatment of heads and bodies equitably as computational objects and a new hybrid lookahe...
CADE
2001
Springer
14 years 11 months ago
2001
Springer
LPNMR
2001
Springer
14 years 3 months ago
2001
Springer
ASP
2003
Springer
14 years 4 months ago
2003
Springer
We investigate rule dependency graphs and their colorings for characterizing the computation of answer sets of logic programs. To this end, we develop a series of operational chara...
ASP
2003
Springer
14 years 4 months ago
2003
Springer
We present a general method to improve computation of answer sets by analyzing structural properties of normal logic programs. Therefore we use labeled directed graphs associated t...