Autor der Publikation

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

 

Weitere Publikationen von Autoren mit dem selben Namen

Inductive Synthesis of Functional Programs, , , und . Joint International Conferences on Artificial Intelligence, Automated Reasoning, and Symbolic Computation, Volume 2385 von LNCS, Seite 337--354. Springer-Verlag, (2002)Folding of Finite Program Terms to Recursive Program Schemes, , , und . First International IEEE Symposium on Intelligent Systems (IS 2002), 1, Seite 144--149. IEEE, (2002)Inductive Programming -- Example-driven Construction of Functional Programs, , und . Künstliche Intelligenz, (2009)Metaphors and heuristic-driven theory projection (HDTP)., , und . Theor. Comput. Sci., 354 (1): 98-117 (2006)Can Machine Intelligence be Measured in the Same Way as Human intelligence?, , und . Künstliche Intell., 29 (3): 291-297 (2015)Computer models solving intelligence test problems: Progress and implications., , , , und . Artif. Intell., (2016)Automatic Generation of Analogous Problems to Help Resolving Misconceptions in an Intelligent Tutor System for Written Subtraction., und . ICCBR Workshops, Volume 1815 von CEUR Workshop Proceedings, Seite 108-117. CEUR-WS.org, (2016)CAIPI in Practice: Towards Explainable Interactive Medical Image Classification., , , , und . AIAI Workshops, Volume 652 von IFIP Advances in Information and Communication Technology, Seite 389-400. Springer, (2022)Semi-analytic Natural Number Series Induction., und . KI, Volume 7526 von Lecture Notes in Computer Science, Seite 249-252. Springer, (2012)An Explanation Based Generalization Approach to Inductive Synthesis of Functional Programs., und . AAIP, Seite 15-26. (2005)