808 search results - page 6 / 162 » What Is Answer Set Programming |
135
Voted
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 2 months ago
2006
Springer
118
Voted
CAV
2005
Springer
15 years 7 months ago
2005
Springer
Recent work on weighted-pushdown systems shows how to generalize interprocedural-dataflow analysis to answer “stack-qualified queries”, which answer the question “what data...
125
click to vote
AAAI
1996
15 years 3 months ago
1996
The Airport Example The Omelette Example Copyright c 1996 American Association for Artificial Intelligence. All rights reserved. Despite the existence of programs that are able to ...
120
Voted
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...