LPNMR
13 years 11 months ago
2004 Springer
Abstract. Many NP-complete problems can be encoded in the answer set semantics of logic programs in a very concise way, where the encoding reflects the typical “guess and check...
LPNMR
13 years 11 months ago
2004 Springer
Abstract. This paper studies computational issues related to the problem of reasoning about actions and change (RAC) by exploiting its link with the Answer Set Programming paradigm...
LPNMR
13 years 11 months ago
2004 Springer
Abstract. Answer Set Programming is a new paradigm based on logic programming. The main component of answer set programming is a system that finds the answer sets of logic program...
LPNMR
13 years 11 months ago
2004 Springer LPNMR
13 years 11 months ago
2004 Springer |