2 search results - page 1 / 1 » Induction of Recursive Theories in the Normal ILP Setting: I... |
ILP
2000
Springer
13 years 8 months ago
2000
Springer
Induction of recursive theories in the normal ILP setting is a complex task because of the non-monotonicity of the consistency property. In this paper we propose computational solu...
ILP
2004
Springer
13 years 10 months ago
2004
Springer
This paper focuses on inductive learning of recursive logical theories from a set of examples. This is a complex task where the learning of one predicate definition should be inter...