Travelled to:
1 × Belgium
5 × USA
Collaborated with:
A.Giordana ∅ D.Gunetti L.Saitta F.Brancadori D.D.Marchi D.Catalano S.Varricchio S.Ponsero
Talks about:
learn (5) induct (4) program (2) integr (2) domain (2) logic (2) real (2) membership (1) techniqu (1) synthesi (1)
Person: Francesco Bergadano
DBLP: Bergadano:Francesco
Contributed to:
Wrote 7 papers:
- STOC-1996-BergadanoCV #learning #query
- Learning Sat-k-DNF Formulas from Membership Queries (FB, DC, SV), pp. 126–130.
- FSE-1993-Bergadano #generative #learning #testing
- Test Case Generation by Means of Learning Techniques (FB), pp. 149–162.
- LOPSTR-1993-BergadanoG #induction #logic programming #source code #synthesis
- Inductive Synthesis of Logic Programs and Inductive Logic Programming (FB, DG), pp. 45–56.
- KDD-1991-BergadanoGSBM #learning
- Integrated Learning in a Real Domain (FB, AG, LS, FB, DDM), pp. 277–288.
- ML-1990-BergadanoGSMB #learning
- Integrated Learning in a real Domain (FB, AG, LS, DDM, FB), pp. 322–329.
- ML-1989-BergadanoGP #deduction #induction #learning #top-down
- Deduction in Top-Down Inductive Learning (FB, AG, SP), pp. 23–25.
- ML-1988-BergadanoG #approach #concept #induction
- A Knowledge Intensive Approach to Concept Induction (FB, AG), pp. 305–317.