Communications of the ACM
A 15 Year Perspective on Automatic Programming
IEEE Transactions on Software Engineering - Special issue on artificial intelligence and software engineering
Object oriented programming: an evolutionary approach
Object oriented programming: an evolutionary approach
Learning regular sets from queries and counterexamples
Information and Computation
Managing the software process
Synthesis of eureka predicates for developing logic programs
Proceedings of the third European symposium on programming on ESOP '90
New Generation Computing - Selected papers from the international workshop on algorithmic learning theory,1990
Machine learning: a theoretical approach
Machine learning: a theoretical approach
Semi-Automatic Program Construction from Specifications Using Library Modules
IEEE Transactions on Software Engineering
Software engineering (3rd ed.): a practitioner's approach
Software engineering (3rd ed.): a practitioner's approach
A calculus for the construction of modular Prolog programs
Journal of Logic Programming
Artificial Intelligence
Partial evaluation and automatic program generation
Partial evaluation and automatic program generation
Deductive and inductive synthesis of equational programs
Journal of Symbolic Computation - Special issue on automatic programming
Genetic and evolutionary algorithms come of age
Communications of the ACM
Inductive functional programming using incremental program transformation
Artificial Intelligence
Automated Refinement of First-Order Horn-Clause Domain Theories
Machine Learning
Design and development of knowledge-based systems: from life cycle to methodology
Design and development of knowledge-based systems: from life cycle to methodology
Rules and strategies for transforming functional and logic programs
ACM Computing Surveys (CSUR)
Towards realistic theories of learning
New Generation Computing - Special issue on algorithmic learning theory
An introduction to Kolmogorov complexity and its applications (2nd ed.)
An introduction to Kolmogorov complexity and its applications (2nd ed.)
Interactive foundations of computing
Theoretical Computer Science - Special issue: theoretical aspects of coordination languages
Machine learning from examples: inductive and lazy methods
Data & Knowledge Engineering - Special jubilee issue: DKE 25
Software blueprints: lightweight uses of logic in conceptual modeling
Software blueprints: lightweight uses of logic in conceptual modeling
Programming by example (introduction)
Communications of the ACM
Adaptive Object-Oriented Software: The Demeter Method with Propagation Patterns
Adaptive Object-Oriented Software: The Demeter Method with Propagation Patterns
Software Engineering Economics
Software Engineering Economics
Machine Learning
Inductive Logic Programming: From Machine Learning to Software Engineering
Inductive Logic Programming: From Machine Learning to Software Engineering
Inductive Logic Programming: Techniques and Applications
Inductive Logic Programming: Techniques and Applications
Artificial Intelligence Review - Special issue on lazy learning
The Case for Inductive Programming
Computer
Guest Editors' Introduction: Requirements Engineering
IEEE Software
Machine Learning
Machine Learning
Reinforcement learning: a survey
Journal of Artificial Intelligence Research
The minimum description length principle in coding and modeling
IEEE Transactions on Information Theory
Software as Learning: Quality Factors and Life-Cycle Revised
FASE '00 Proceedings of the Third Internationsl Conference on Fundamental Approaches to Software Engineering: Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS 2000
Incremental Learning of Functional Logic Programs
FLOPS '01 Proceedings of the 5th International Symposium on Functional and Logic Programming
| Hi-index | 0.00 |
This paper presents an approach to inductive synthesis of logicprograms from examples using problem decomposition and problemreduction principles. This is in contrast to the prevailing logicprogram induction paradigm, which relies on generalization ...