( en | de | ru )

 

Disambiguation of "Schmid, Ute"

Author of the publication

copydeleteadd this publication to your clipboard
An Explanation Based Generalization Approach to Inductive Synthesis of Functional Programs.

, and . AAIP, page 15-26. (2005)

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.

Ute Schmid

Ute Schmid

Ute Schmid

Ute Schmid

Ute Schmid

 

Other publications of authors with the same name

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)Inductive Programming -- Example-driven Construction of Functional Programs, , and . Künstliche Intelligenz, (2009)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)Can Machine Intelligence be Measured in the Same Way as Human intelligence?, , and . Künstliche Intell., 29 (3): 291-297 (2015)Metaphors and heuristic-driven theory projection (HDTP)., , and . Theor. Comput. Sci., 354 (1): 98-117 (2006)Computer models solving intelligence test problems: Progress and implications., , , , and . Artif. Intell., (2016)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)An Explanation Based Generalization Approach to Inductive Synthesis of Functional Programs., and . AAIP, page 15-26. (2005)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)Semi-analytic Natural Number Series Induction., and . KI, volume 7526 of Lecture Notes in Computer Science, page 249-252. Springer, (2012)