648 search results - page 13 / 130 » Using Criticalities as a Heuristic for Answer Set Programmin... |
126
click to vote
ECSQARU
2005
Springer
15 years 7 months ago
2005
Springer
Abstract. Both in classical logic and in Answer Set Programming, inconsistency is characterized by non existence of a model. Whereas every formula is a theorem for inconsistent set...
125
click to vote
AGP
2003
IEEE
15 years 6 months ago
2003
IEEE
Abstract. Ordered Choice Logic Programming (OCLP) allows for preferencebased decision-making with multiple alternatives without the burden of any form of negation. This complete ab...
152
click to vote
AI
2004
Springer
15 years 1 months ago
2004
Springer
We propose a new translation from normal logic programs with constraints under the answer set semantics to propositional logic. Given a normal logic program, we show that by addin...
111
Voted
CORR
2011
Springer
14 years 5 months ago
2011
Springer
We present a unifying approach to the efficient evaluation of propositional answer-set programs. Our approach is based on backdoors which are small sets of atoms that represent ...
ENC
2005
IEEE
15 years 7 months ago
2005
IEEE
Following the argumentation framework and semantics proposed by Dung, we are interested in the problem of deciding which set of acceptable arguments support the decision making in...