|
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 Logic Programming
Cham : Springer Nature Switzerland, Imprint: Springer, 2024, 1st ed. 2024
|
|
|
|
3 |
Inductive Predicate Synthesis Modulo Programs
Wesley, Scott. - Wadern : Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2024
|
|
|
|
4 |
Semantics for a Turing-Complete Reversible Programming Language with Inductive Types
Chardonnet, Kostia. - Wadern : Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2024
|
|
|
5 |
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
|
|
|
|
6 |
Inductive Logic Programming
Cham : Springer International Publishing, 2023, 1st edition 2023
|
|
|
|
7 |
Generating contrastive explanations for inductive logic programming based on a near miss approach
Rabold, Johannes. - Bamberg : Otto-Friedrich-Universität Bamberg, 2022
|
|
|
|
8 |
Inductive Logic Programming
Cham : Springer International Publishing, 2022, 1st edition 2022
|
|
|
|
9 |
Inductive logic programming at 30
Enthalten in Machine learning 9.11.2021: 1-26
|
|
|
|
10 |
Generating contrastive explanations for inductive logic programming based on a near miss approach
Enthalten in Machine learning 24.9.2021: 1-22
|
|
Administration
