1963 search results - page 27 / 393 » Applications of Preferences using Answer Set Programming |
129
click to vote
LPNMR
2005
Springer
15 years 8 months ago
2005
Springer
Equilibrium logic, introduced by David Pearce, extends the concept of an answer set from logic programs to arbitrary sets of formulas. Logic programs correspond to the special case...
113
click to vote
BIRTHDAY
2000
Springer
15 years 6 months ago
2000
Springer
A number of prioritized variants of Reiter’s default logic have been described in the literature. In this paper, we introduce two natural principles for preference handling and s...
118
click to vote
PADL
2004
Springer
15 years 7 months ago
2004
Springer
In this paper we show how CR-Prolog, a recent extension of A-Prolog, was used in the successor of USA-Advisor (USA-Smart) in order to improve the quality of the plans returned. The...
137
click to vote
ASP
2001
Springer
15 years 6 months ago
2001
Springer
In this paper we implement planning using answer set programming. We consider the action language A and its extensions. We show that when the domain is described using richer feat...
144
click to vote
LPNMR
2005
Springer
15 years 8 months ago
2005
Springer
Loops and the corresponding loop formulas play an important role in answer set programming. On the one hand, they are used for guaranteeing correctness and completeness in SAT-base...