Info
- Utilizzare la checkbox di selezione a fianco di ciascun documento per attivare le funzionalità di stampa, invio email, download nei formati disponibili del (i) record.
Inductive Synthesis of Functional Programs [[electronic resource] ] : Universal Planning, Folding of Finite Programs, and Schema Abstraction by Analogical Reasoning / / by Ute Schmid
| Inductive Synthesis of Functional Programs [[electronic resource] ] : Universal Planning, Folding of Finite Programs, and Schema Abstraction by Analogical Reasoning / / by Ute Schmid |
| Autore | Schmid Ute |
| Edizione | [1st ed. 2003.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2003 |
| Descrizione fisica | 1 online resource (XXII, 402 p.) |
| Disciplina | 005.1 |
| Collana | Lecture Notes in Artificial Intelligence |
| Soggetto topico |
Artificial intelligence
Computer programming Software engineering Computer logic Mathematical logic Artificial Intelligence Science, Humanities and Social Sciences, multidisciplinary Programming Techniques Software Engineering Logics and Meanings of Programs Mathematical Logic and Formal Languages |
| ISBN | 3-540-44846-2 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | 1. Introduction -- 1. Introduction -- I. Planning -- 2. State-Based Planning -- 3. Constructing Complete Sets of Optimal Plans -- 4. Integrating Function Application in State-Based Planning -- 5. Conclusions and Further Research -- II. Inductive Program Synthesis -- 6. Automatic Programming -- 7. Folding of Finite Program Terms -- 8. Transforming Plans into Finite Programs -- 9. Conclusions and Further Research -- III. Schema Abstraction -- 10. Analogical Reasoning and Generalization -- 11. Structural Similarity in Analogical Transfer -- 12. Programming by Analogy -- 13. Conclusions and Further Research. |
| Record Nr. | UNISA-996465706503316 |
Schmid Ute
|
||
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2003 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Inductive Synthesis of Functional Programs : Universal Planning, Folding of Finite Programs, and Schema Abstraction by Analogical Reasoning / / by Ute Schmid
| Inductive Synthesis of Functional Programs : Universal Planning, Folding of Finite Programs, and Schema Abstraction by Analogical Reasoning / / by Ute Schmid |
| Autore | Schmid Ute |
| Edizione | [1st ed. 2003.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2003 |
| Descrizione fisica | 1 online resource (XXII, 402 p.) |
| Disciplina | 005.1 |
| Collana | Lecture Notes in Artificial Intelligence |
| Soggetto topico |
Artificial intelligence
Computer programming Software engineering Computer logic Logic, Symbolic and mathematical Artificial Intelligence Science, Humanities and Social Sciences, multidisciplinary Programming Techniques Software Engineering Logics and Meanings of Programs Mathematical Logic and Formal Languages |
| ISBN | 3-540-44846-2 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | 1. Introduction -- 1. Introduction -- I. Planning -- 2. State-Based Planning -- 3. Constructing Complete Sets of Optimal Plans -- 4. Integrating Function Application in State-Based Planning -- 5. Conclusions and Further Research -- II. Inductive Program Synthesis -- 6. Automatic Programming -- 7. Folding of Finite Program Terms -- 8. Transforming Plans into Finite Programs -- 9. Conclusions and Further Research -- III. Schema Abstraction -- 10. Analogical Reasoning and Generalization -- 11. Structural Similarity in Analogical Transfer -- 12. Programming by Analogy -- 13. Conclusions and Further Research. |
| Record Nr. | UNINA-9910143860803321 |
|
Schmid Ute
|
||
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2003 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||