15754 search results - page 300 / 3151 » Programs are Knowledge Bases |
155
click to vote
IJCAI
2003
15 years 8 months ago
2003
Huge amounts of data are stored in autonomous, geographically distributed sources. The discovery of previously unknown, implicit and valuable knowledge is a key aspect of the expl...
182
click to vote
LOPSTR
2007
Springer
16 years 24 days ago
2007
Springer
This paper introduces a modular framework for termination analysis of logic programming. To this end, we adapt the notions of dependency pairs and dependency graphs (which were dev...
173
click to vote
CPAIOR
2004
Springer
16 years 1 days ago
2004
Springer
Abstract. Constraint programming based column generation is a hybrid optimization framework recently proposed that uses constraint programming (CP) to solve column generation subpr...
167
click to vote
FPLE
1995
15 years 10 months ago
1995
In this paper, we make a proposal for a second year course on advanced programming, based on the functional paradigm. It assumes the existence of a first course on programming, al...
171
click to vote
JMLR
2006
15 years 6 months ago
2006
We describe an approach to the inductive synthesis of recursive equations from input/outputexamples which is based on the classical two-step approach to induction of functional Li...