Emanuel Kitzelmann

Proceedings of the Künstliche Intelligenz für Lehrkräfte: Eine fachliche Einführung mit didaktischen Hinweisen, 2024

2015

Inductive programming meets the real world.

[BibT_eX]

[DOI]

Sumit Gulwani

José Hernández-Orallo

Commun. ACM, 2015

2014

Applying Inductive Program Synthesis to Induction of Number Series A Case Study with IGOR2.

[BibT_eX]

[DOI]

Jacqueline Hofmann

Proceedings of the KI 2014: Advances in Artificial Intelligence, 2014

2013

Approaches and Applications of Inductive Programming (Dagstuhl Seminar 13502).

[BibT_eX]

[DOI]

Sumit Gulwani

Dagstuhl Reports, 2013

2011

A Combined Analytical and Search-Based Approach for the Inductive Synthesis of Functional Programs.

[BibT_eX]

[DOI]

Künstliche Intell., 2011

Inductive rule learning on the knowledge level.

[BibT_eX]

[DOI]

Cogn. Syst. Res., 2011

From Sensorimotor Graphs to Rules: An Agent Learns from a Stream of Experience.

[BibT_eX]

[DOI]

Proceedings of the Artificial General Intelligence - 4th International Conference, 2011

Two New Operators for IGOR2 to Increase Synthesis Efficiency.

[BibT_eX]

[DOI]

Proceedings of AAIP 2011, 2011

2010

I/O guided detection of list catamorphisms: towards problem specific use of program templates in IP.

[BibT_eX]

[DOI]

Proceedings of the 2010 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, 2010

Ein kombinierter analytischer und suchbasierter Ansatz zur induktiven Synthese funktionaler Programme.

[BibT_eX]

[DOI]

Proceedings of the Ausgezeichnete Informatikdissertationen 2010, 2010

A Combined Analytical and Search-Based Approach to the Inductive Synthesis of Functional Programs.

[BibT_eX]

[DOI]

PhD thesis, 2010

2009

Inductive Programming.

[BibT_eX]

[DOI]

Künstliche Intell., 2009

Evolutionary Programming Guided by Analytically Generated Seeds.

[BibT_eX]

Proceedings of the IJCCI 2009, 2009

Inductive Programming: A Survey of Program Synthesis Techniques.

[BibT_eX]

[DOI]

Proceedings of the Approaches and Applications of Inductive Programming, 2009

Porting IgorII from Maude to Haskell.

[BibT_eX]

[DOI]

Proceedings of the Approaches and Applications of Inductive Programming, 2009

2008

Analytical Inductive Functional Programming.

[BibT_eX]

[DOI]

Proceedings of the Logic-Based Program Synthesis and Transformation, 2008

Analysis and Evaluation of Inductive Programming Systems in a Higher-Order Framework.

[BibT_eX]

[DOI]

Proceedings of the KI 2008: Advances in Artificial Intelligence, 2008

Data-driven Induction of Functional Programs.

[BibT_eX]

[DOI]

Proceedings of the ECAI 2008, 2008

2007

Inductive Synthesis of Recursive Functional Programs.

[BibT_eX]

[DOI]

Proceedings of the KI 2007: Advances in Artificial Intelligence, 2007

Data-Driven Induction of Recursive Functions from Input/Output-Examples.

[BibT_eX]

[DOI]

Proceedings of the Workshop on Approaches and Applications of Inductive Programming, 2007

2006

Inductive Synthesis of Functional Programs: An Explanation Based Generalization Approach.

[BibT_eX]

[DOI]

J. Mach. Learn. Res., 2006

Inducing Constructor Systems from Example-Terms by Detecting Syntactical Regularities.

[BibT_eX]

[DOI]

Proceedings of the 7th International Workshop on Rule Based Programming, 2006

2005

An Explanation Based Generalization Approach to Inductive Synthesis of Functional Programs.

[BibT_eX]

[DOI]

Proceedings of the Workshop on Approaches and Applications of Inductive Programming, 2005

2003

Cost Optimality And Predictability Of Parallel Programming With Skeletons.

[BibT_eX]

[DOI]

Holger Bischof

Sergei Gorlatch

Parallel Process. Lett., 2003

Design and Implementation of a Cost-Optimal Parallel Tridiagonal System Solver Using Skeletons.

[BibT_eX]

[DOI]

Holger Bischof

Sergei Gorlatch