Approaches and Applications of Inductive Programming (Dagstuhl Seminar 13502)

Gulwani, Sumit; Kitzelmann, Emanuel; Schmid, Ute

doi:10.4230/DagRep.3.12.43

Document

Approaches and Applications of Inductive Programming (Dagstuhl Seminar 13502)

Authors Sumit Gulwani, Emanuel Kitzelmann, Ute Schmid and all authors of the abstracts in this report

Part of: Issue: Dagstuhl Reports, Volume 3, Issue 12
Part of: Volume: Dagstuhl Reports, Volume 3
Part of: Journal: Dagstuhl Reports (DagRep)
License: Creative Commons Attribution 3.0 Unported license
Publication Date: 2014-03-18

PDF

File

DagRep.3.12.43.pdf

Filesize: 1.22 MB
24 pages

Document Identifiers

DOI: 10.4230/DagRep.3.12.43
URN: urn:nbn:de:0030-drops-45078

Author Details

Sumit Gulwani

Emanuel Kitzelmann

Ute Schmid

and all authors of the abstracts in this report

Cite As Get BibTex

Sumit Gulwani, Emanuel Kitzelmann, and Ute Schmid. Approaches and Applications of Inductive Programming (Dagstuhl Seminar 13502). In Dagstuhl Reports, Volume 3, Issue 12, pp. 43-66, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2014) https://doi.org/10.4230/DagRep.3.12.43

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.

Subject Classification

Keywords

inductive program synthesis
end-user programming
universal artificial intelligence
constraint programming
probabilistic programming
cognitive mod

Metrics

Access Statistics
Total Accesses (updated on a weekly basis)

0

PDF Downloads

0

Metadata Views

Questions / Remarks / Feedback

Feedback for Dagstuhl Publishing

Thanks for your feedback!

Feedback submitted

Could not send message

Please try again later or send an E-mail