3481 search results - page 172 / 697 » Higher-Order Logic Programming as Constraint Logic Programmi... |
PODS
1989
ACM
15 years 2 months ago
1989
ACM
The alternating xpoint of a logic program with negation is de ned constructively. The underlying idea is monotonically to build up a set of negative conclusions until the least xp...
ICDAR
2009
IEEE
15 years 4 months ago
2009
IEEE
In this paper, we make an attempt to use Inductive Logic Programming (ILP) to automatically learn non trivial descriptions of symbols, based on a formal description. This work is ...
LPNMR
2007
Springer
15 years 4 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
15 years 3 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
15 years 3 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...