|
11 |
Approaches and Applications of Inductive Programming (Dagstuhl Seminar 17382)
Enthalten in Schloss Dagstuhl, Leibniz-Zentrum für Informatik: Dagstuhl Reports 2018, Volume 7, Issue 9, page 86-108
|
|
|
12 |
Implementation issues in Inductive Logic Programming
Kolter, Robert. - Kaiserslautern : Technische Universität Kaiserslautern, Fachbereich Informatik, 2017
|
|
|
|
13 |
Approaches and Applications of Inductive Programming (Dagstuhl Seminar 15442)
Enthalten in Schloss Dagstuhl, Leibniz-Zentrum für Informatik: Dagstuhl Reports 2016, Volume 5, Issue 10, page 89-111
|
|
|
|
14 |
Approaches and Applications of Inductive Programming (Dagstuhl Seminar 13502)
Enthalten in Schloss Dagstuhl, Leibniz-Zentrum für Informatik: Dagstuhl Reports 2014, Volume 3, Issue 12, page 43-66
|
|
|
|
15 |
Predicate Invention in Inductive Logic Programming
Athakravi, Duangtida. - Wadern : Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2012
|
|
|
|
16 |
An Inductive Approach for Modal Transition System Refinement
Alrajeh, Dalal. - Wadern : Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2011
|
|
|
|
17 |
Inductive Logic Programming as Abductive Search
Corapi, Domenico. - Wadern : Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2010
|
|
|
|
18 |
Schema-guided inductive functional programming through automatic detection of type morphisms
Hofmann, Martin, 2010, [Online-Ausg.]
|
|
|
|
19 |
Inductive temporal logic programming
Kolter, Robert, 2009, [Online-Ausg.]
|
|
|
|
20 |
Proceedings of the ACM SIGPLAN Workshop on Approaches and Applications of Inductive Programming (AAIP 2009)
Bamberg : Otto-Friedrich-Universität Bamberg, 2009
|
|
Administration
