MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for "On inductive synthesis of programs." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

5 documents found, showing 1 through 5.

ATOM

On Inductive Synthesis of Declarative Programs
by Bjarte M. Ostvold — 1997
…On inductive synthesis of declarative programs Bjarte M. stvold Department of Computer…
Add To MetaCart

Inductive Logic Programming with Well-Modedness Constraints
by Andreas Hamfelt, Jørgen Fischer Nilsson — 1999 — Proc. Eighth International Workshop on Functional and Logic Programming 1999, Rapport de recherche, RR 1021-I, Laboratoire Leibniz, Institut IMAG
… applies a combinatory form of logic programs which is conducive to a top-down inductive synthesis process…
Cited by 1 (1 self) – Add To MetaCart

Logic Program Synthesis as Problem Reduction Using Combining Forms
by Andreas Hamfelt, Jørgen Fischer Nilsson — 2001
… an approach to inductive synthesis of logic programs from examples using problem decomposition and problem…
Cited by 1 (1 self) – Add To MetaCart

ILP and Automatic Programming: Towards Three Approaches
by Pierre Flener , Lubos Popelinsky, Olga Stepankova — 1994 — PROC. OF 4TH WORKSHOP ON INDUCTIVE LOGIC PROGRAMMING ILP’94
… in automatic programming [2, 4, 20, 8]. The goal of the paper is to show what makes inductive synthesis…
Cited by 1 (0 self) – Add To MetaCart

Workshop on Approaches and Applications of Inductive
by Programming Aaip To, Organized Emanuel Kitzelmann, Ute Schmid, Stephen Muggleton
… Wysotzki: Development of Inductive Synthesis of Functional Programs . . . . . . . . 13 Full Papers 15…
Add To MetaCart

Showing 1 through 5.

ATOM

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB