Improving efficiency of recursive theory learning

Abstract

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)

Topics

5 Figures and Tables

Slides referencing similar topics