GI LogoGI Logo
  • Login
Digital Library
    • All of DSpace

      • Communities & Collections
      • Titles
      • Authors
      • By Issue Date
      • Subjects
    • This Collection

      • Titles
      • Authors
      • By Issue Date
      • Subjects
Digital Library Gesellschaft für Informatik e.V.
GI-DL
    • English
    • Deutsch
  • English 
    • English
    • Deutsch
View Item 
  •   DSpace Home
  • Fachbereiche
  • Künstliche Intelligenz (KI)
  • KI - Künstliche Intelligenz
  • Künstliche Intelligenz 25(2) - Mai 2011
  • View Item
JavaScript is disabled for your browser. Some features of this site may not work without it.
  •   DSpace Home
  • Fachbereiche
  • Künstliche Intelligenz (KI)
  • KI - Künstliche Intelligenz
  • Künstliche Intelligenz 25(2) - Mai 2011
  • View Item

A Combined Analytical and Search-Based Approach for the Inductive Synthesis of Functional Programs

Author:
Kitzelmann, Emanuel [DBLP]
Abstract
Inductive program synthesis addresses the problem of automatically generating (declarative) recursive programs from ambiguous specifications such as input/output examples. Potential applications range from software development to intelligent agents that learn in recursive domains. Current systems suffer from either strong restrictions regarding the form of inducible programs or from blind search in vast program spaces. The main contribution of my dissertation (Kitzelmann, Ph.D. thesis, 2010) is the algorithm Igor2 for the induction of functional programs. It is based on search in program spaces but derives candidate programs directly from examples, rather than using them as test cases, and thereby prunes many programs. Experiments show promising results.
  • Citation
  • BibTeX
Kitzelmann, E., (2011). A Combined Analytical and Search-Based Approach for the Inductive Synthesis of Functional Programs.   KI - Künstliche Intelligenz: Vol. 25, No. 2. Springer. (S. 179-182). DOI: 10.1007/s13218-010-0071-x
@article{mci/Kitzelmann2011,
author = {Kitzelmann, Emanuel},
title = {A Combined Analytical and Search-Based Approach for the Inductive Synthesis of Functional Programs},
journal = {KI - Künstliche Intelligenz},
volume = {25},
number = {2},
year = {2011},
,
pages = { 179-182 } ,
doi = { 10.1007/s13218-010-0071-x }
}

Sollte hier kein Volltext (PDF) verlinkt sein, dann kann es sein, dass dieser aus verschiedenen Gruenden (z.B. Lizenzen oder Copyright) nur in einer anderen Digital Library verfuegbar ist. Versuchen Sie in diesem Fall einen Zugriff ueber die verlinkte DOI: 10.1007/s13218-010-0071-x

Haben Sie fehlerhafte Angaben entdeckt? Sagen Sie uns Bescheid: Send Feedback

More Info

DOI: 10.1007/s13218-010-0071-x
ISSN: 1610-1987
xmlui.MetaDataDisplay.field.date: 2011
Content Type: Text/Journal Article
Collections
  • Künstliche Intelligenz 25(2) - Mai 2011 [16]

Show full item record


About uns | FAQ | Help | Imprint | Datenschutz

Gesellschaft für Informatik e.V. (GI), Kontakt: Geschäftsstelle der GI
Diese Digital Library basiert auf DSpace.

 

 


About uns | FAQ | Help | Imprint | Datenschutz

Gesellschaft für Informatik e.V. (GI), Kontakt: Geschäftsstelle der GI
Diese Digital Library basiert auf DSpace.