Picture for Rolf Morel

Rolf Morel

Learning big logical rules by joining small rules

Add code
Jan 29, 2024
Figure 1 for Learning big logical rules by joining small rules
Figure 2 for Learning big logical rules by joining small rules
Figure 3 for Learning big logical rules by joining small rules
Figure 4 for Learning big logical rules by joining small rules
Viaarxiv icon

Parallel Constraint-Driven Inductive Logic Programming

Add code
Sep 15, 2021
Figure 1 for Parallel Constraint-Driven Inductive Logic Programming
Figure 2 for Parallel Constraint-Driven Inductive Logic Programming
Figure 3 for Parallel Constraint-Driven Inductive Logic Programming
Figure 4 for Parallel Constraint-Driven Inductive Logic Programming
Viaarxiv icon

Predicate Invention by Learning From Failures

Add code
Apr 29, 2021
Figure 1 for Predicate Invention by Learning From Failures
Figure 2 for Predicate Invention by Learning From Failures
Figure 3 for Predicate Invention by Learning From Failures
Figure 4 for Predicate Invention by Learning From Failures
Viaarxiv icon

Learning Logic Programs by Explaining Failures

Add code
Feb 18, 2021
Figure 1 for Learning Logic Programs by Explaining Failures
Figure 2 for Learning Logic Programs by Explaining Failures
Figure 3 for Learning Logic Programs by Explaining Failures
Figure 4 for Learning Logic Programs by Explaining Failures
Viaarxiv icon

Refinement Type Directed Search for Meta-Interpretive-Learning of Higher-Order Logic Programs

Add code
Feb 18, 2021
Figure 1 for Refinement Type Directed Search for Meta-Interpretive-Learning of Higher-Order Logic Programs
Figure 2 for Refinement Type Directed Search for Meta-Interpretive-Learning of Higher-Order Logic Programs
Figure 3 for Refinement Type Directed Search for Meta-Interpretive-Learning of Higher-Order Logic Programs
Figure 4 for Refinement Type Directed Search for Meta-Interpretive-Learning of Higher-Order Logic Programs
Viaarxiv icon

Learning programs by learning from failures

Add code
May 05, 2020
Figure 1 for Learning programs by learning from failures
Figure 2 for Learning programs by learning from failures
Figure 3 for Learning programs by learning from failures
Figure 4 for Learning programs by learning from failures
Viaarxiv icon

Learning higher-order logic programs

Add code
Jul 25, 2019
Figure 1 for Learning higher-order logic programs
Figure 2 for Learning higher-order logic programs
Figure 3 for Learning higher-order logic programs
Figure 4 for Learning higher-order logic programs
Viaarxiv icon