Approaches and Applications of Inductive Programming (Dagstuhl Seminar 15442)
This report documents the program and the outcomes of Dagstuhl Seminar 15442 “Approaches and Applications of Inductive Programming”. After a short introduction to the state of the art to inductive programming research, an overview of the talks and the outcomes of discussion groups is given.
| Autores: | , , , |
|---|---|
| Tipo de recurso: | artículo |
| Fecha de publicación: | 2015 |
| País: | España |
| Institución: | Universitat Politècnica de València (UPV) |
| Repositorio: | RiuNet. Repositorio Institucional de la Universitat Politécnica de Valéncia |
| Idioma: | inglés |
| OAI Identifier: | oai:riunet.upv.es:10251/65089 |
| Acceso en línea: | https://riunet.upv.es/handle/10251/65089 |
| Access Level: | acceso abierto |
| Palabra clave: | Inductive program synthesis End-user programming Probabilistic programming Constraint programming Universal artificial intelligence Cognitive modeling LENGUAJES Y SISTEMAS INFORMATICOS |
| id |
ES_e45bb6bbf1114fa7f47fdb8d37d76a28 |
|---|---|
| oai_identifier_str |
oai:riunet.upv.es:10251/65089 |
| network_acronym_str |
ES |
| network_name_str |
España |
| repository_id_str |
|
| spelling |
Approaches and Applications of Inductive Programming (Dagstuhl Seminar 15442)Hernández-Orallo, José|||0000-0001-9746-7632Muggleton, Stephen H.Schmid, UteZorn, BenjaminInductive program synthesisEnd-user programmingProbabilistic programmingConstraint programmingUniversal artificial intelligenceCognitive modelingLENGUAJES Y SISTEMAS INFORMATICOSThis report documents the program and the outcomes of Dagstuhl Seminar 15442 “Approaches and Applications of Inductive Programming”. After a short introduction to the state of the art to inductive programming research, an overview of the talks and the outcomes of discussion groups is given.Schloss Dagstuhl - Leibniz-Zentrum für InformatikDepartamento de Sistemas Informáticos y ComputaciónEscuela Técnica Superior de Ingeniería InformáticaInstituto Universitario Valenciano de Investigación en Inteligencia ArtificialRepositorio Institucional de la Universitat Politècnica de València Riunet20152015-10-01journal articlehttp://purl.org/coar/resource_type/c_6501VoRhttp://purl.org/coar/version/c_970fb48d4fbd8a85info:eu-repo/semantics/articleapplication/pdfhttps://riunet.upv.es/handle/10251/65089reponame:RiuNet. Repositorio Institucional de la Universitat Politécnica de Valénciainstname:Universitat Politècnica de València (UPV)Inglésengopen accesshttp://purl.org/coar/access_right/c_abf2Reconocimiento (by)http://creativecommons.org/licenses/by/4.0/info:eu-repo/semantics/openAccessoai:riunet.upv.es:10251/650892026-06-13T07:49:27Z |
| dc.title.none.fl_str_mv |
Approaches and Applications of Inductive Programming (Dagstuhl Seminar 15442) |
| title |
Approaches and Applications of Inductive Programming (Dagstuhl Seminar 15442) |
| spellingShingle |
Approaches and Applications of Inductive Programming (Dagstuhl Seminar 15442) Hernández-Orallo, José|||0000-0001-9746-7632 Inductive program synthesis End-user programming Probabilistic programming Constraint programming Universal artificial intelligence Cognitive modeling LENGUAJES Y SISTEMAS INFORMATICOS |
| title_short |
Approaches and Applications of Inductive Programming (Dagstuhl Seminar 15442) |
| title_full |
Approaches and Applications of Inductive Programming (Dagstuhl Seminar 15442) |
| title_fullStr |
Approaches and Applications of Inductive Programming (Dagstuhl Seminar 15442) |
| title_full_unstemmed |
Approaches and Applications of Inductive Programming (Dagstuhl Seminar 15442) |
| title_sort |
Approaches and Applications of Inductive Programming (Dagstuhl Seminar 15442) |
| dc.creator.none.fl_str_mv |
Hernández-Orallo, José|||0000-0001-9746-7632 Muggleton, Stephen H. Schmid, Ute Zorn, Benjamin |
| author |
Hernández-Orallo, José|||0000-0001-9746-7632 |
| author_facet |
Hernández-Orallo, José|||0000-0001-9746-7632 Muggleton, Stephen H. Schmid, Ute Zorn, Benjamin |
| author_role |
author |
| author2 |
Muggleton, Stephen H. Schmid, Ute Zorn, Benjamin |
| author2_role |
author author author |
| dc.contributor.none.fl_str_mv |
Departamento de Sistemas Informáticos y Computación Escuela Técnica Superior de Ingeniería Informática Instituto Universitario Valenciano de Investigación en Inteligencia Artificial Repositorio Institucional de la Universitat Politècnica de València Riunet |
| dc.subject.none.fl_str_mv |
Inductive program synthesis End-user programming Probabilistic programming Constraint programming Universal artificial intelligence Cognitive modeling LENGUAJES Y SISTEMAS INFORMATICOS |
| topic |
Inductive program synthesis End-user programming Probabilistic programming Constraint programming Universal artificial intelligence Cognitive modeling LENGUAJES Y SISTEMAS INFORMATICOS |
| description |
This report documents the program and the outcomes of Dagstuhl Seminar 15442 “Approaches and Applications of Inductive Programming”. After a short introduction to the state of the art to inductive programming research, an overview of the talks and the outcomes of discussion groups is given. |
| publishDate |
2015 |
| dc.date.none.fl_str_mv |
2015 2015-10-01 |
| dc.type.none.fl_str_mv |
journal article http://purl.org/coar/resource_type/c_6501 VoR http://purl.org/coar/version/c_970fb48d4fbd8a85 |
| dc.type.openaire.fl_str_mv |
info:eu-repo/semantics/article |
| format |
article |
| dc.identifier.none.fl_str_mv |
https://riunet.upv.es/handle/10251/65089 |
| url |
https://riunet.upv.es/handle/10251/65089 |
| dc.language.none.fl_str_mv |
Inglés eng |
| language_invalid_str_mv |
Inglés |
| language |
eng |
| dc.rights.none.fl_str_mv |
open access http://purl.org/coar/access_right/c_abf2 Reconocimiento (by) http://creativecommons.org/licenses/by/4.0/ |
| dc.rights.openaire.fl_str_mv |
info:eu-repo/semantics/openAccess |
| rights_invalid_str_mv |
open access http://purl.org/coar/access_right/c_abf2 Reconocimiento (by) http://creativecommons.org/licenses/by/4.0/ |
| eu_rights_str_mv |
openAccess |
| dc.format.none.fl_str_mv |
application/pdf |
| dc.publisher.none.fl_str_mv |
Schloss Dagstuhl - Leibniz-Zentrum für Informatik |
| publisher.none.fl_str_mv |
Schloss Dagstuhl - Leibniz-Zentrum für Informatik |
| dc.source.none.fl_str_mv |
reponame:RiuNet. Repositorio Institucional de la Universitat Politécnica de Valéncia instname:Universitat Politècnica de València (UPV) |
| instname_str |
Universitat Politècnica de València (UPV) |
| reponame_str |
RiuNet. Repositorio Institucional de la Universitat Politécnica de Valéncia |
| collection |
RiuNet. Repositorio Institucional de la Universitat Politécnica de Valéncia |
| repository.name.fl_str_mv |
|
| repository.mail.fl_str_mv |
|
| _version_ |
1869422583816912896 |
| score |
15,300719 |