Search Results

Documents authored by Schmid, Ute

Document
DOI: 10.4230/DagRep.13.10.182
Approaches and Applications of Inductive Programming (Dagstuhl Seminar 23442)

Authors: Luc De Raedt, Ute Schmid, and Johannes Langer

Published in: Dagstuhl Reports, Volume 13, Issue 10 (2024)

Abstract
The Dagstuhl Seminar "Approaches and Applications of Inductive Programming" (AAIP) has taken place for the sixth time. The Dagstuhl Seminar series brings together researchers concerned with learning programs from input/output examples from different areas, mostly from machine learning and other branches of artificial intelligence research, cognitive scientists interested in human learning in complex domains, and researchers with a background in formal methods and programming languages. Main topics adressed in the AAIP 2023 seminar have been neurosymbolic approaches to IP bringing together learning and reasoning, IP as a post-hoc approach to explaining decision-making of deep learning blackbox models, and exploring the potential of deep learning approaches, especially large language models such as OpenAI Codex for IP. Topics discussed in working groups were Large Language Models and inductive programming in cognitive architectures, avoiding too much search in inductive programming, finding suitable benchmark problems, and evaluation criteria for interpretability and explainability of inductive programming.
Cite as

Luc De Raedt, Ute Schmid, and Johannes Langer. Approaches and Applications of Inductive Programming (Dagstuhl Seminar 23442). In Dagstuhl Reports, Volume 13, Issue 10, pp. 182-211, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2024)

Copy BibTex To Clipboard

@Article{deraedt_et_al:DagRep.13.10.182,
  author =	{De Raedt, Luc and Schmid, Ute and Langer, Johannes},
  title =	{{Approaches and Applications of Inductive Programming (Dagstuhl Seminar 23442)}},
  pages =	{182--211},
  journal =	{Dagstuhl Reports},
  ISSN =	{2192-5283},
  year =	{2024},
  volume =	{13},
  number =	{10},
  editor =	{De Raedt, Luc and Schmid, Ute and Langer, Johannes},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagRep.13.10.182},
  URN =		{urn:nbn:de:0030-drops-198397},
  doi =		{10.4230/DagRep.13.10.182},
  annote =	{Keywords: explainable ai, human-like machine learning, inductive logic programming, interpretable machine learning, neuro-symbolic ai}
}
Document
DOI: 10.4230/DagRep.11.4.20
Approaches and Applications of Inductive Programming (Dagstuhl Seminar 21192)

Authors: Andrew Cropper, Luc De Raedt, Richard Evans, and Ute Schmid

Published in: Dagstuhl Reports, Volume 11, Issue 4 (2021)

Abstract
In this report the program and the outcomes of Dagstuhl Seminar 21192 "Approaches and Applications of Inductive Programming" is documented. The goal of inductive programming (IP) is to induce computer programs from data, typically input/output examples of a desired program. IP interests researchers from many areas of computer science, including machine learning, automated reasoning, program verification, and software engineering. Furthermore, IP contributes to research outside computer science, notably in cognitive science, where IP can help build models of human inductive learning and contribute methods for intelligent tutor systems. Building on the success of previous IP Dagstuhl seminars (13502, 15442, 17382, and 19202), the goal of this new edition of the seminar is to focus on IP methods which integrate learning and reasoning, scaling up IP methods to be applicable to more complex real world problems, and to further explore the potential of IP for explainable artificial intelligence (XAI), especially for interactive learning. The extended abstracts included in this report show recent advances in IP research. The included short report of the outcome of the discussion sessions additionally point out interesting interrelation between different aspects and possible new directions for IP.
Cite as

Andrew Cropper, Luc De Raedt, Richard Evans, and Ute Schmid. Approaches and Applications of Inductive Programming (Dagstuhl Seminar 21192). In Dagstuhl Reports, Volume 11, Issue 4, pp. 20-33, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2021)

Copy BibTex To Clipboard

@Article{cropper_et_al:DagRep.11.4.20,
  author =	{Cropper, Andrew and De Raedt, Luc and Evans, Richard and Schmid, Ute},
  title =	{{Approaches and Applications of Inductive Programming (Dagstuhl Seminar 21192)}},
  pages =	{20--33},
  journal =	{Dagstuhl Reports},
  ISSN =	{2192-5283},
  year =	{2021},
  volume =	{11},
  number =	{4},
  editor =	{Cropper, Andrew and De Raedt, Luc and Evans, Richard and Schmid, Ute},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagRep.11.4.20},
  URN =		{urn:nbn:de:0030-drops-147975},
  doi =		{10.4230/DagRep.11.4.20},
  annote =	{Keywords: Interpretable Machine Learning, Explainable Artificial Intelligence, Interactive Learning, Human-like Computing, Inductive Logic Programming}
}
Document
DOI: 10.4230/DagRep.9.5.58
Approaches and Applications of Inductive Programming (Dagstuhl Seminar 19202)

Authors: Luc De Raedt, Richard Evans, Stephen H. Muggleton, and Ute Schmid

Published in: Dagstuhl Reports, Volume 9, Issue 5 (2019)

Abstract
In this report the program and the outcomes of Dagstuhl Seminar 19202 "Approaches and Applications of Inductive Programming" is documented. After a short introduction to the state of the art to inductive programming research, an overview of the introductory tutorials, the talks, program demonstrations, and the outcomes of discussion groups is given.
Cite as

Luc De Raedt, Richard Evans, Stephen H. Muggleton, and Ute Schmid. Approaches and Applications of Inductive Programming (Dagstuhl Seminar 19202). In Dagstuhl Reports, Volume 9, Issue 5, pp. 58-88, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2019)

Copy BibTex To Clipboard

@Article{deraedt_et_al:DagRep.9.5.58,
  author =	{De Raedt, Luc and Evans, Richard and Muggleton, Stephen H. and Schmid, Ute},
  title =	{{Approaches and Applications of Inductive Programming (Dagstuhl Seminar 19202)}},
  pages =	{58--88},
  journal =	{Dagstuhl Reports},
  ISSN =	{2192-5283},
  year =	{2019},
  volume =	{9},
  number =	{5},
  editor =	{De Raedt, Luc and Evans, Richard and Muggleton, Stephen H. and Schmid, Ute},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagRep.9.5.58},
  URN =		{urn:nbn:de:0030-drops-113810},
  doi =		{10.4230/DagRep.9.5.58},
  annote =	{Keywords: Enduser programming, Explainable AI, Human-like computing, Inductive logic programming, Probabilistic programming}
}
Document
DOI: 10.4230/DagRep.7.9.86
Approaches and Applications of Inductive Programming (Dagstuhl Seminar 17382)

Authors: Ute Schmid, Stephen H. Muggleton, and Rishabh Singh

Published in: Dagstuhl Reports, Volume 7, Issue 9 (2018)

Abstract
This report documents the program and the outcomes of Dagstuhl Seminar 17382 "Approaches and Applications of Inductive Programming". After a short introduction to the state of the art to inductive programming research, an overview of the introductory tutorials, the talks, program demonstrations, and the outcomes of discussion groups is given.
Cite as

Ute Schmid, Stephen H. Muggleton, and Rishabh Singh. Approaches and Applications of Inductive Programming (Dagstuhl Seminar 17382). In Dagstuhl Reports, Volume 7, Issue 9, pp. 86-108, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2018)

Copy BibTex To Clipboard

@Article{schmid_et_al:DagRep.7.9.86,
  author =	{Schmid, Ute and Muggleton, Stephen H. and Singh, Rishabh},
  title =	{{Approaches and Applications of Inductive Programming (Dagstuhl Seminar 17382)}},
  pages =	{86--108},
  journal =	{Dagstuhl Reports},
  ISSN =	{2192-5283},
  year =	{2018},
  volume =	{7},
  number =	{9},
  editor =	{Schmid, Ute and Muggleton, Stephen H. and Singh, Rishabh},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagRep.7.9.86},
  URN =		{urn:nbn:de:0030-drops-85909},
  doi =		{10.4230/DagRep.7.9.86},
  annote =	{Keywords: inductive program synthesis, inductive logic programming, probabilistic programming, end-user programming, human-like computing}
}
Document
DOI: 10.4230/DagRep.5.10.89
Approaches and Applications of Inductive Programming (Dagstuhl Seminar 15442)

Authors: José Hernández-Orallo, Stephen H. Muggleton, Ute Schmid, and Benjamin Zorn

Published in: Dagstuhl Reports, Volume 5, Issue 10 (2016)

Abstract
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.
Cite as

José Hernández-Orallo, Stephen H. Muggleton, Ute Schmid, and Benjamin Zorn. Approaches and Applications of Inductive Programming (Dagstuhl Seminar 15442). In Dagstuhl Reports, Volume 5, Issue 10, pp. 89-111, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2016)

Copy BibTex To Clipboard

@Article{hernandezorallo_et_al:DagRep.5.10.89,
  author =	{Hern\'{a}ndez-Orallo, Jos\'{e} and Muggleton, Stephen H. and Schmid, Ute and Zorn, Benjamin},
  title =	{{Approaches and Applications of Inductive Programming (Dagstuhl Seminar 15442)}},
  pages =	{89--111},
  journal =	{Dagstuhl Reports},
  ISSN =	{2192-5283},
  year =	{2016},
  volume =	{5},
  number =	{10},
  editor =	{Hern\'{a}ndez-Orallo, Jos\'{e} and Muggleton, Stephen H. and Schmid, Ute and Zorn, Benjamin},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagRep.5.10.89},
  URN =		{urn:nbn:de:0030-drops-57006},
  doi =		{10.4230/DagRep.5.10.89},
  annote =	{Keywords: inductive program synthesis, end-user programming, probabilistic programming, constraint programming, universal artificial intelligence, cognitive modeling}
}
Document
DOI: 10.4230/DagRep.3.12.43
Approaches and Applications of Inductive Programming (Dagstuhl Seminar 13502)

Authors: Sumit Gulwani, Emanuel Kitzelmann, and Ute Schmid

Published in: Dagstuhl Reports, Volume 3, Issue 12 (2014)

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.
Cite as

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)

Copy BibTex To Clipboard

@Article{gulwani_et_al:DagRep.3.12.43,
  author =	{Gulwani, Sumit and Kitzelmann, Emanuel and Schmid, Ute},
  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 =	{Gulwani, Sumit and Kitzelmann, Emanuel and Schmid, Ute},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagRep.3.12.43},
  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}
}
Questions / Remarks / Feedback
X

Feedback for Dagstuhl Publishing


Thanks for your feedback!

Feedback submitted

Could not send message

Please try again later or send an E-mail
© 2023-2024 Schloss Dagstuhl – LZI GmbH Imprint Privacy Contact