2 search results - page 1 / 1 » Induction of Recursive Theories in the Normal ILP Setting: I... |
ILP
2000
Springer
14 years 9 days 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
14 years 2 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...