580 search results - page 5 / 116 » On the Foundations of Answer Set Programming |
135
click to vote
ASP
2001
Springer
15 years 5 months ago
2001
Springer
This paper presents a novel application of answer set programming to concept learning in nonmonotonic logic programs. Given an extended logic program as a background theory, we in...
102
click to vote
AAAI
2008
15 years 4 months ago
2008
Answer-set programming (ASP) is widely recognised as a viable tool for declarative problem solving. However, there is currently a lack of tools for developing answer-set programs....
133
click to vote
LPNMR
2004
Springer
15 years 7 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â...
CORR
2006
Springer
15 years 1 months ago
2006
Springer
119
click to vote
ECAI
2006
Springer
15 years 5 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...