Results 301 to 310 of about 6,127,131 (339)

The Case for Inductive Programming

Computer, 1997
The science of creating software is based on deductive methods, but induction-deduction's ignored sibling-could have a profound effect on the future development of computer science theory and practice.
D. Partridge
semanticscholar   +2 more sources

Inductive Programming

Encyclopedia of Machine Learning, 2010
P. Flener, Ute Schmid
semanticscholar   +2 more sources

An introduction to inductive programming

Artificial Intelligence Review, 2008
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 ...
P. Flener, Ute Schmid
semanticscholar   +3 more sources

Inductive Programming: A Survey of Program Synthesis Techniques [PDF]

open access: yesApproaches and Applications of Inductive Programming, 2009
Inductive programming (IP)—the use of inductive reasoning methods for programming, algorithm design, and software development—is a currently emerging research field. A major subfield is inductive program synthesis, the (semi-)automatic construction of programs from exemplary behavior.
E. Kitzelmann
semanticscholar   +3 more sources

Approaches and Applications of Inductive Programming (Dagstuhl Seminar 17382)

Dagstuhl Reports, 2017
This report documents the program and the outcomes of Dagstuhl Seminar 17382 "Approaches and Applications of Inductive Programming". After a short introduction to the state of the art to inductive programming research, an overview of the introductory ...
Ute Schmid, S. Muggleton, Rishabh Singh
semanticscholar   +1 more source

Home - About - Disclaimer - Privacy