|
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 |
Generating contrastive explanations for inductive logic programming based on a near miss approach
Rabold, Johannes. - Bamberg : Otto-Friedrich-Universität Bamberg, 2022
|
|
|
5 |
Inductive logic programming at 30
Enthalten in Machine learning 9.11.2021: 1-26
|
|
|
|
6 |
Generating contrastive explanations for inductive logic programming based on a near miss approach
Enthalten in Machine learning 24.9.2021: 1-22
|
|
|
|
7 |
Predicting the Evolution of Communities with Online Inductive Logic Programming
Athanasopoulos, George. - Wadern : Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2018
|
|
|
|
8 |
Predicate Invention in Inductive Logic Programming
Athakravi, Duangtida. - Wadern : Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2012
|
|
|
|
9 |
An Inductive Approach for Modal Transition System Refinement
Alrajeh, Dalal. - Wadern : Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2011
|
|
|
|
10 |
Inductive Logic Programming as Abductive Search
Corapi, Domenico. - Wadern : Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2010
|
|
Administration
