Inductive logic programming (ILP) and machine learning together represent a powerful synthesis of symbolic reasoning and statistical inference. ILP focuses on deriving interpretable logic rules from ...

Abstract: Software libraries organize useful functionalities in order to promote modularity and code reuse. A typical library is used by client programs through an application programming interface ...

Abstract: Introducing fuzzy predicates in inductive logic programming may serve two different purposes: getting more expressivity by learning fuzzy rules or allowing for more adaptability when ...

Given a high-level specification and a low-level programming language, our goal is to automatically synthesize an asymptotically optimal program that meets the specification. In this paper, we present ...