Inductive Synthesis of Functional Programs: Universal Planning, Folding of Finite Programs, and Schema Abstraction by Analogical Reasoning

Authors:
U. Schmid
Affiliations:
-
Venue:
Inductive Synthesis of Functional Programs: Universal Planning, Folding of Finite Programs, and Schema Abstraction by Analogical Reasoning
Year:
2003

Inductive Synthesis of Functional Programs: An Explanation Based Generalization Approach

The Journal of Machine Learning Research
Shape analysis with inductive recursion synthesis

Proceedings of the 2007 ACM SIGPLAN conference on Programming language design and implementation
Efficient Exhaustive Generation of Functional Programs Using Monte-Carlo Search with Iterative Deepening

PRICAI '08 Proceedings of the 10th Pacific Rim International Conference on Artificial Intelligence: Trends in Artificial Intelligence
A program that acquires how to solve problems in mathematics

WSEAS Transactions on Computers
A program that acquires how to execute sentences

WSEAS Transactions on Computers
Data-Driven Detection of Recursive Program Schemes

Proceedings of the 2010 conference on ECAI 2010: 19th European Conference on Artificial Intelligence
A universal planning system for hybrid domains

Applied Intelligence
Anti-unification for Unranked Terms and Hedges

Journal of Automated Reasoning

Hi-index	0.00