License
When quoting this document, please refer to the following
DOI: 10.4230/DagRep.3.12.43
URN: urn:nbn:de:0030-drops-45078
URL: http://drops.dagstuhl.de/opus/volltexte/2014/4507/
Go back to Dagstuhl Reports


Gulwani, Sumit ; Kitzelmann, Emanuel ; Schmid, Ute
Weitere Beteiligte (Hrsg. etc.): Sumit Gulwani and Emanuel Kitzelmann and Ute Schmid

Approaches and Applications of Inductive Programming (Dagstuhl Seminar 13502)

pdf-format:
dagrep_v003_i012_p043_s13502.pdf (1 MB)


Abstract

This report documents the program and the outcomes of Dagstuhl Seminar 13502 "Approaches and Applications of Inductive Programming". After a short introduction to inductive programming research, an overview of the talks and the outcomes of discussion groups is given.

BibTeX - Entry

@Article{gulwani_et_al:DR:2014:4507,
  author =	{Sumit Gulwani and Emanuel Kitzelmann and Ute Schmid},
  title =	{{Approaches and Applications of Inductive Programming (Dagstuhl Seminar 13502)}},
  pages =	{43--66},
  journal =	{Dagstuhl Reports},
  ISSN =	{2192-5283},
  year =	{2014},
  volume =	{3},
  number =	{12},
  editor =	{Sumit Gulwani and Emanuel Kitzelmann and Ute Schmid},
  publisher =	{Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{http://drops.dagstuhl.de/opus/volltexte/2014/4507},
  URN =		{urn:nbn:de:0030-drops-45078},
  doi =		{10.4230/DagRep.3.12.43},
  annote =	{Keywords: inductive program synthesis, end-user programming, universal artificial intelligence, constraint programming, probabilistic programming, cognitive mod}
}

Keywords: inductive program synthesis, end-user programming, universal artificial intelligence, constraint programming, probabilistic programming, cognitive mod
Seminar: Dagstuhl Reports, Volume 3, Issue 12
Issue Date: 2014
Date of publication: 18.03.2014


DROPS-Home | Fulltext Search | Imprint Published by LZI