Author of the publication

Inductive Synthesis of Functional Programs

, , , and . Joint International Conferences on Artificial Intelligence, Automated Reasoning, and Symbolic Computation, volume 2385 of LNCS, page 337--354. Springer-Verlag, (2002)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Can Machine Intelligence be Measured in the Same Way as Human intelligence?, , and . Künstliche Intell., 29 (3): 291-297 (2015)Computer models solving intelligence test problems: Progress and implications., , , , and . Artif. Intell., (2016)Metaphors and heuristic-driven theory projection (HDTP)., , and . Theor. Comput. Sci., 354 (1): 98-117 (2006)Domain-Specific Evaluation of Visual Explanations for Application-Grounded Facial Expression Recognition., , , and . CD-MAKE, volume 14065 of Lecture Notes in Computer Science, page 31-44. Springer, (2023)An Explanation Based Generalization Approach to Inductive Synthesis of Functional Programs., and . AAIP, page 15-26. (2005)Semi-analytic Natural Number Series Induction., and . KI, volume 7526 of Lecture Notes in Computer Science, page 249-252. Springer, (2012)Automatic Generation of Analogous Problems to Help Resolving Misconceptions in an Intelligent Tutor System for Written Subtraction., and . ICCBR Workshops, volume 1815 of CEUR Workshop Proceedings, page 108-117. CEUR-WS.org, (2016)CAIPI in Practice: Towards Explainable Interactive Medical Image Classification., , , , and . AIAI Workshops, volume 652 of IFIP Advances in Information and Communication Technology, page 389-400. Springer, (2022)A Practical Approach to Fuse Shape and Appearance Information in a Gaussian Facial Action Estimation Framework., , , , and . ECAI, volume 285 of Frontiers in Artificial Intelligence and Applications, page 1812-1817. IOS Press, (2016)Folding of Finite Program Terms to Recursive Program Schemes, , , and . First International IEEE Symposium on Intelligent Systems (IS 2002), 1, page 144--149. IEEE, (2002)