"Towards a Logical Model of Induction from Examples and Communication."

Santiago Ontañón et al. (2010)
a service of Schloss Dagstuhl - Leibniz Center for Informatics