Formal synthesis is the process of generating a program satisfying a high-level formal
specification. In recent times, effective formal synthesis methods have been proposed based …

In the past 40 years, research on inductive inference has developed along different lines, eg,
in the formalizations used, and in the classes of target concepts considered. One common …

This paper deals with the inferrability of classes of E-pattern languages–also referred to as
extended or erasing pattern languages–from positive data in Gold's model of identification in …

We present the efficient implementations of probabilistic deterministic finite automaton
learning methods available in FlexFringe. These implement well-known strategies for state …

Different formal learning models address different aspects of human learning. Below we
compare Gold-style learning—modelling learning as a limiting process in which the learner …

The adult-child interaction which takes place during the child's language acquisition process
has been the inspiration for Angluin's teacher-learner model [1], the forerunner of today's …

This thesis centers on formal tree languages and on their learnability by algorithmic methods
in abstractions of several learning settings. After a general introduction (Chapter 1), we …

I would not be here today if it was not for my dear friend and colleague Mihai Ionescu, who
persuaded me to continue my studies and to enroll in a PhD program in Tarragona. Also, I …

Formal language learning models have been widely investigated in the last four decades.
But it was not until recently that the model of learning from corrections was introduced. The …

One of the most important paradigms in the inductive inference literature is that of robust
learning. This paper adapts and investigates the paradigm of robust learning to learning …