3738 search results - page 149 / 748 » Parametrized Logic Programming |
LPNMR
2007
Springer
14 years 2 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...
ILP
2005
Springer
14 years 1 months ago
2005
Springer
We propose a new approach to Inductive Logic Programming that systematically exploits caching and offers a number of advantages over current systems. It avoids redundant computati...
ISMIS
2005
Springer
14 years 1 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...
IWINAC
2005
Springer
14 years 1 months ago
2005
Springer
The framework of multi-adjoint logic programming has shown to cover a number of approaches to reason under uncertainty, imprecise data or incomplete information. In previous works,...
ILP
2004
Springer
14 years 1 months ago
2004
Springer
Abstract. Logic Programs with Annotated Disjunctions (LPADs) provide a simple and elegant framework for integrating probabilistic reasoning and logic programming. In this paper we ...