207 search results - page 2 / 42 » Debugging Logic Programs under the Answer Set Semantics |
140
Voted
CADE
2001
Springer
16 years 2 months ago
2001
Springer
217
Voted
ICLP
2009
Springer
16 years 2 months ago
2009
Springer
This paper considers a semantic approach for merging logic programs under answer set semantics. Given logic programs P1, . . . , Pn, the goal is to provide characterisations of the...
129
Voted
LPNMR
2007
Springer
2007
Springer
Alternative Characterizations for Program Equivalence under Answer-Set Semantics: Preliminary Report
15 years 8 months ago
Logic programs under answer-set semantics constitute an important tool for declarative problem solving. In recent years, two research issues received growing attention. On the one ...
ASP
2001
Springer
15 years 6 months ago
2001
Springer
161
click to vote
ICLP
2007
Springer
15 years 6 months ago
2007
Springer
Fuzzy answer set programming has been introduced as a framework that successfully combines the concepts of answer set programming and fuzzy logic. In this paper, we show how the fu...