Recently there has been an increasing amount of research on learning concepts expressed in subsets of Prolog; the term inductive logic programming (ILP) has been used to describe this growing body of research. This paper seeks to expand the theoretical foundations of ILP by investigating the pac-learnability of logic programs. We focus on programs consisting of a single function-free non-recurs...

Definitions that children provide can be a valuable measure of their syntax, and specifically, of their ability to produce relative-clauses. This research explored the acquisition of subject-, object-, and indirect-object-relative clauses in 121 Hebrew-speaking children aged 3;5-8;6. The children were asked to define 14 nouns, and their responses were collected and analyzed for various syntacti...

Nowadays, Conflict-Driven Clause Learning (CDCL) techniques are one of the key components of modern SAT solvers specialized in industrial instances. Last years, one of the focuses has been put on strategies to select which learnt clauses are removed during the search. Originally, one need for removing clauses was motivated by the finiteness of memory. Recently, it has been shown that more aggre...