14 search results - page 2 / 3 » Parameterized Logic Programs where Computing Meets Learning |
EDBT
1990
ACM
13 years 11 months ago
1990
ACM
Deductive Databases are coming of age with the emergence of efficient and easy to use systems that support queries, reasoning, and application development on databases through dec...
ILP
2004
Springer
14 years 22 days ago
2004
Springer
One challenge faced by many Inductive Logic Programming (ILP) systems is poor scalability to problems with large search spaces and many examples. Randomized search methods such as ...
ICML
1989
IEEE
13 years 11 months ago
1989
IEEE
Logic programming provides a uniform framework in which all aspects of explanation-based generalization and learning may be defined and carried out, but first-order Horn logic i...
ITICSE
2004
ACM
14 years 23 days ago
2004
ACM
In this paper, we present an assignment for a course on Design patterns at the masters level, where students have to adapt an existing program to meet additional requirements. We ...
CLEIEJ
2010
13 years 4 months ago
2010
Teaching fundamental programming to freshmen is a hard task to be performed, given the high level action and logical reasoning that are required for these students to develop in a...