The inductive synthesis of recursive logic programs from incomplete information, such as input/output examples, is a challenging subยฎeld both of Inductive Logic Programming (ILP) and of the synthesis (in general) of logic programs, from formal speciยฎcations. We ยฎrst overview past and present achieve
โฆ LIBER โฆ
Inductive synthesis of programs: State of the art, problems, prospects
โ Scribed by Ya. M. Barzdin'; A. N. Brazma; E. B. Kinber
- Publisher
- Springer US
- Year
- 1988
- Tongue
- English
- Weight
- 721 KB
- Volume
- 23
- Category
- Article
- ISSN
- 1573-8337
No coin nor oath required. For personal study only.
๐ SIMILAR VOLUMES
Inductive synthesis of recursive logic p
โ
Pierre Flener; Serap Yฤฑilmaz
๐
Article
๐
1999
๐
Elsevier Science
๐
English
โ 377 KB
State-of-the-art and prospects of adapti
โ
A.A. Voronov; V.Yu. Rutkovsky
๐
Article
๐
1984
๐
Elsevier Science
๐
English
โ 958 KB
Works of Soviet authors in adaptive control describe the structure types of the basic loop and adaptation algorithms as well as possible methods for investigation and design analysis of adaptive systems including optimal adaptive systems.
95/00578 Photovoltaics โ State of the ar
๐
Article
๐
1995
๐
Elsevier Science
โ 194 KB
LP/LV circuits: state of the art and pro
โ
J. Borel
๐
Article
๐
1997
๐
Elsevier Science
๐
English
โ 370 KB
State of the art, capabilities, and pros
โ
A. F. Tsyb; A. N. Dedenkov; B. A. Berdov; R. N. Turaev; E. G. Matveenko; V. M. V
๐
Article
๐
1986
๐
Springer US
๐
English
โ 263 KB
State of the art and development prospec
โ
V. A. Godzikovskii; V. A. Strokov; A. S. Vishenkov; E. I. Perel'man
๐
Article
๐
1979
๐
Springer US
๐
English
โ 285 KB