Picture for Stephen H. Muggleton

Stephen H. Muggleton

Boolean Matrix Logic Programming

Add code
Aug 19, 2024
Viaarxiv icon

Active learning of digenic functions with boolean matrix logic programming

Add code
Aug 19, 2024
Viaarxiv icon

Simulating Petri nets with Boolean Matrix Logic Programming

Add code
May 18, 2024
Viaarxiv icon

Boolean matrix logic programming for active learning of gene functions in genome-scale metabolic network models

Add code
May 10, 2024
Viaarxiv icon

Human Comprehensible Active Learning of Genome-Scale Metabolic Networks

Add code
Aug 31, 2023
Viaarxiv icon

Explanatory machine learning for sequential human teaching

Add code
May 20, 2022
Figure 1 for Explanatory machine learning for sequential human teaching
Figure 2 for Explanatory machine learning for sequential human teaching
Figure 3 for Explanatory machine learning for sequential human teaching
Figure 4 for Explanatory machine learning for sequential human teaching
Viaarxiv icon

Meta-Interpretive Learning as Metarule Specialisation

Add code
Jun 09, 2021
Figure 1 for Meta-Interpretive Learning as Metarule Specialisation
Figure 2 for Meta-Interpretive Learning as Metarule Specialisation
Figure 3 for Meta-Interpretive Learning as Metarule Specialisation
Figure 4 for Meta-Interpretive Learning as Metarule Specialisation
Viaarxiv icon

Automated Biodesign Engineering by Abductive Meta-Interpretive Learning

Add code
May 17, 2021
Figure 1 for Automated Biodesign Engineering by Abductive Meta-Interpretive Learning
Viaarxiv icon

Inductive logic programming at 30

Add code
Feb 21, 2021
Figure 1 for Inductive logic programming at 30
Viaarxiv icon

Top Program Construction and Reduction for polynomial time Meta-Interpretive Learning

Add code
Jan 13, 2021
Figure 1 for Top Program Construction and Reduction for polynomial time Meta-Interpretive Learning
Figure 2 for Top Program Construction and Reduction for polynomial time Meta-Interpretive Learning
Figure 3 for Top Program Construction and Reduction for polynomial time Meta-Interpretive Learning
Figure 4 for Top Program Construction and Reduction for polynomial time Meta-Interpretive Learning
Viaarxiv icon