|
1 |
Task-To-Processor Assignment for Real-Time Mixed-Critical Networked Systems Using Inductive Logic Programming
Gualtieri, Marcus. - Wadern : Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2025
|
|
|
|
2 |
Inductive Predicate Synthesis Modulo Programs
Wesley, Scott. - Wadern : Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2024
|
|
|
|
3 |
Semantics for a Turing-Complete Reversible Programming Language with Inductive Types
Chardonnet, Kostia. - Wadern : Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2024
|
|
|
4 |
Approaches and Applications of Inductive Programming (Dagstuhl Seminar 23442)
Enthalten in Schloss Dagstuhl, Leibniz-Zentrum für Informatik: Dagstuhl Reports 2024, Volume 13, Issue 10, page 182-211
|
|
|
|
5 |
Generating contrastive explanations for inductive logic programming based on a near miss approach
Rabold, Johannes. - Bamberg : Otto-Friedrich-Universität Bamberg, 2022
|
|
|
|
6 |
Inductive logic programming at 30
Enthalten in Machine learning 9.11.2021: 1-26
|
|
|
|
7 |
Generating contrastive explanations for inductive logic programming based on a near miss approach
Enthalten in Machine learning 24.9.2021: 1-22
|
|
|
|
8 |
Approaches and Applications of Inductive Programming (Dagstuhl Seminar 21192)
Enthalten in Schloss Dagstuhl, Leibniz-Zentrum für Informatik: Dagstuhl Reports 2021, Volume 11, Issue 4, page 20-33
|
|
|
|
9 |
Approaches and Applications of Inductive Programming (Dagstuhl Seminar 19202)
Enthalten in Schloss Dagstuhl, Leibniz-Zentrum für Informatik: Dagstuhl Reports 2019, Volume 9, Issue 5, page 58-88
|
|
|
|
10 |
Predicting the Evolution of Communities with Online Inductive Logic Programming
Athanasopoulos, George. - Wadern : Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2018
|
|
Administration
