Improving efficiency of recursive theory learning


Inductive learning of recursive logical theories from a set of examples is a complex task characterized by three important issues, namely the adoption of a generality order stronger than θ-subsumption, the nonmonotonicity of the consistency property, and the automated discovery of dependencies between target predicates. Solutions implemented in the learning… (More)


5 Figures and Tables

Slides referencing similar topics