557 search results - page 17 / 112 » Useful Transformations in Answer set programming |
119
click to vote
ICLP
2005
Springer
15 years 8 months ago
2005
Springer
Abstract. In recent work, a general framework for specifying program correspondences under the answer-set semantics has been defined. The framework allows to define different not...
142
click to vote
AMAI
2006
Springer
15 years 2 months ago
2006
Springer
In this work, we introduce a new framework able to deal with a reasoning that is at the same time non monotonic and uncertain. In order to take into account a certainty level assoc...
118
click to vote
AAAI
2008
15 years 4 months ago
2008
Identifying maternal and paternal inheritance is essential to be able to find the set of genes responsible for a particular disease. Although we have access to genotype data (gene...
117
click to vote
CORR
2010
Springer
15 years 2 months ago
2010
Springer
An important issue towards a broader acceptance of answer-set programming (ASP) is the deployment of tools which support the programmer during the coding phase. In particular, met...
125
click to vote
ICLP
2010
Springer
15 years 6 months ago
2010
Springer
Answer-set programming (ASP) is a well-known formalism for declarative problem solving, enjoying a continuously increasing number of diverse applications. However, arguably one of ...