1963 search results - page 8 / 393 » Applications of Preferences using Answer Set Programming |
116
Voted
AAAI
2008
15 years 4 months ago
2008
Answer set programming (ASP) is a form of declarative programming oriented towards difficult search problems. As an outgrowth of research on the use of nonmonotonic reasoning in k...
114
click to vote
EXACT
2008
15 years 4 months ago
2008
This paper describes the problems with debugging tools for answer set programming, a declarative programming paradigm. Current approaches are difficult to use on most applications ...
135
click to vote
LPNMR
2001
Springer
15 years 6 months ago
2001
Springer
Abstract This paper describes a generic compiler, called plp, for translating ordered logic programs into standard logic programs under the answer set semantics. In an ordered logi...
224
click to vote
ICLP
2009
Springer
16 years 3 months ago
2009
Springer
We study finding similar or diverse solutions of a given computational problem, in answer set programming, and introduce offline methods and online methods to compute them using an...
133
click to vote
LPNMR
2004
Springer
15 years 7 months ago
2004
Springer
A conflict clause represents a backtracking solver’s analysis of why a conflict occurred. This analysis can be used to further prune the search space and to direct the search h...