Top-down synthesis of divide-and-conquer algorithms
Artificial Intelligence
Fundamentals of Deductive Program Synthesis
IEEE Transactions on Software Engineering
Automating software design
Watch what I do: programming by demonstration
Watch what I do: programming by demonstration
Eager: programming repetitive tasks by demonstration
Watch what I do
Inductive functional programming using incremental program transformation
Artificial Intelligence
The Appropriateness of Predicate Invention as Bias Shift Operation in ILP
Machine Learning - Special issue on bias evaluation and selection
A Methodology for LISP Program Construction from Examples
Journal of the ACM (JACM)
An abstract formalization of correct schemas for program synthesis
Journal of Symbolic Computation - Special Issue on Schemas
Logic Program Synthesis from Incomplete Information: By Pierre Flener
Logic Program Synthesis from Incomplete Information: By Pierre Flener
Algorithmic Program DeBugging
Denotational Semantics: The Scott-Strachey Approach to Programming Language Theory
Denotational Semantics: The Scott-Strachey Approach to Programming Language Theory
Machine Learning
Automatic Program Construction Techniques
Automatic Program Construction Techniques
Automated Software Engineering
Machine Learning
Machine Learning
Induction of Recursive Program Schemes
ECML '98 Proceedings of the 10th European Conference on Machine Learning
Learning Chomsky-like Grammars for Biological Sequence Families
ICML '00 Proceedings of the Seventeenth International Conference on Machine Learning
Achievements and Prospects of Program Synthesis
Computational Logic: Logic Programming and Beyond, Essays in Honour of Robert A. Kowalski, Part I
Proceedings of the International Colloquium on Formalization of Programming Concepts
Inductive Logic Program Synthesis with DIALOGS
ILP '96 Selected Papers from the 6th International Workshop on Inductive Logic Programming
Inductive Synthesis of Functional Programs: An Explanation Based Generalization Approach
The Journal of Machine Learning Research
Learning recursive functions: A survey
Theoretical Computer Science
Automated Construction of XSL-Templates
Automated Construction of XSL-Templates
Learning first-order definitions of functions
Journal of Artificial Intelligence Research
Learning first-order definitions of functions
Journal of Artificial Intelligence Research
An integrated distance for atoms
FLOPS'10 Proceedings of the 10th international conference on Functional and Logic Programming
Inductive rule learning on the knowledge level
Cognitive Systems Research
Better GP benchmarks: community survey results and proposals
Genetic Programming and Evolvable Machines
| Hi-index | 0.00 |
The research field of inductive programming is concerned with the design of algorithms for learning computer programs with complex flow of control (typically recursive calls) from incomplete specifications such as examples. We introduce a basic algorithmic approach for inductive programming and illustrate it with three systems: dialogs learns logic programs by combining inductive and abductive reasoning; the classical thesys system and its extension igor1 learn functional programs based on a recurrence detection mechanism in traces; igor2 learns functional programs over algebraic data-types making use of constructor-term rewriting systems. Furthermore, we give a short history of inductive programming, discuss related approaches, and give hints about current applications and possible future directions of research.