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.

Detalles Bibliográficos
Autores: Hernández-Orallo, José|||0000-0001-9746-7632, Muggleton, Stephen H., Schmid, Ute, Zorn, Benjamin
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