3090 search results - page 3 / 618 » On Testing Answer-Set Programs |
LPNMR
2004
Springer
13 years 10 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â...
ICLP
2007
Springer
13 years 9 months ago
2007
Springer
Fuzzy answer set programming has been introduced as a framework that successfully combines the concepts of answer set programming and fuzzy logic. In this paper, we show how the fu...
CORR
2006
Springer
13 years 5 months ago
2006
Springer
ASP
2003
Springer
13 years 10 months ago
2003
Springer
Abstract. Often graphs are used to investigate properties of logic programs. In general, different graphs represent different kinds of information of the corresponding programs. ...
ECAI
2006
Springer
13 years 9 months ago
2006
Springer
An often problematic feature in answer set programming is that a program does not always produce an answer set, even for programs which represent default information in a seemingl...