1445 search results - page 89 / 289 » Abstract Interpretation of Logic Programs |
100
click to vote
SUM
2007
Springer
15 years 9 months ago
2007
Springer
Abstract. Probabilistic logic programs have primarily studied the problem of entailment of probabilistic atoms. However, there are some interesting applications where we are intere...
117
click to vote
CORR
2002
Springer
15 years 3 months ago
2002
Springer
Abstract. Logic Programming paradigms that allow for expressing preferences have drawn a lot of research interest over the last years. Among them, the principle of ordered disjunct...
112
click to vote
ECSQARU
1997
Springer
15 years 7 months ago
1997
Springer
Abstract. Temporal programming languages are recognized as natural and expressive formalisms for describing dynamic systems. However, most such languages are based on linear ow of ...
128
click to vote
LPNMR
2007
Springer
15 years 9 months ago
2007
Springer
Abstract. We present a framework for updating logic programs under the answer-set semantics that builds on existing work on preferences in logic programming. The approach is simple...
121
click to vote
ISMIS
2005
Springer
15 years 8 months ago
2005
Springer
Abstract. The post-genomic era showed up a wide range of new challenging issues for the areas of knowledge discovery and intelligent information management. Among them, the discove...