648 search results - page 16 / 130 » Using Criticalities as a Heuristic for Answer Set Programmin... |
112
click to vote
AAAI
2008
15 years 3 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...
108
click to vote
CORR
2010
Springer
15 years 1 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...
112
Voted
ICLP
2010
Springer
15 years 5 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 ...
151
click to vote
WLP
2007
Springer
15 years 7 months ago
2007
Springer
Answer-set programming (ASP) is an emerging logic-programming paradigm that strictly separates the description of a problem from its solving methods. Despite its semantic elegance,...
120
click to vote
LPNMR
2007
Springer
15 years 7 months ago
2007
Springer
We describe BE, an implemented system for solving belief change problems in the presence of actions. We illustrate how we can use BE to compute the result of belief progression, be...