Stephen H. Muggleton

Orcid: 0000-0001-6061-6104

Affiliations:
  • Imperial College London, Department of Computing, UK
  • University of York, Department of Computer Science, UK


According to our database1, Stephen H. Muggleton authored at least 187 papers between 1986 and 2024.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2024
Active learning of digenic functions with boolean matrix logic programming.
CoRR, 2024

Boolean Matrix Logic Programming.
CoRR, 2024

Simulating Petri nets with Boolean Matrix Logic Programming.
CoRR, 2024

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

2023
Explanatory machine learning for sequential human teaching.
Mach. Learn., October, 2023

Human Comprehensible Active Learning of Genome-Scale Metabolic Networks.
CoRR, 2023

2022
Meta-interpretive learning as metarule specialisation.
Mach. Learn., 2022

Correction to: Meta-interpretive learning as metarule specialisation.
Mach. Learn., 2022

Inductive logic programming at 30.
Mach. Learn., 2022

Human-Machine Scientific Discovery.
Proceedings of the Human-Like Machine Intelligence., 2022

Human-like Computer Vision.
Proceedings of the Human-Like Machine Intelligence., 2022

2021
Top program construction and reduction for polynomial time Meta-Interpretive learning.
Mach. Learn., 2021

Beneficial and harmful explanatory machine learning.
Mach. Learn., 2021

Automated Biodesign Engineering by Abductive Meta-Interpretive Learning.
CoRR, 2021

Fast Abductive Learning by Similarity-based Consistency Optimization.
Proceedings of the Advances in Neural Information Processing Systems 34: Annual Conference on Neural Information Processing Systems 2021, 2021

Human-Like Rule Learning from Images Using One-Shot Hypothesis Derivation.
Proceedings of the Inductive Logic Programming - 30th International Conference, 2021

Machine Learning of Microbial Interactions Using Abductive ILP and Hypothesis Frequency/Compression Estimation.
Proceedings of the Inductive Logic Programming - 30th International Conference, 2021

Abductive Knowledge Induction from Raw Data.
Proceedings of the Thirtieth International Joint Conference on Artificial Intelligence, 2021

Abductive Learning with Ground Knowledge Base.
Proceedings of the Thirtieth International Joint Conference on Artificial Intelligence, 2021

2020
Learning higher-order logic programs.
Mach. Learn., 2020

Complete Bottom-Up Predicate Invention in Meta-Interpretive Learning.
Proceedings of the Twenty-Ninth International Joint Conference on Artificial Intelligence, 2020

Turning 30: New Ideas in Inductive Logic Programming.
Proceedings of the Twenty-Ninth International Joint Conference on Artificial Intelligence, 2020

Learning Higher-Order Programs through Predicate Invention.
Proceedings of the Thirty-Fourth AAAI Conference on Artificial Intelligence, 2020

2019
Machine Discovery of Comprehensible Strategies for Simple Games Using Meta-interpretive Learning.
New Gener. Comput., 2019

Special Issue on Semantic Technology.
New Gener. Comput., 2019

Learning efficient logic programs.
Mach. Learn., 2019

Approaches and Applications of Inductive Programming (Dagstuhl Seminar 19202).
Dagstuhl Reports, 2019

Can Meta-Interpretive Learning outperform Deep Reinforcement Learning of Evaluable Game strategies?
CoRR, 2019

2018
Ultra-Strong Machine Learning: comprehensibility of programs learned with ILP.
Mach. Learn., 2018

Meta-Interpretive Learning from noisy images.
Mach. Learn., 2018

How Much Can Experimental Cost Be Reduced in Active Learning of Agent Strategies?
Proceedings of the Inductive Logic Programming - 28th International Conference, 2018

2017
Approaches and Applications of Inductive Programming (Dagstuhl Seminar 17382).
Dagstuhl Reports, 2017

Meta-Interpretive Learning: Achievements and Challenges (Invited Paper).
Proceedings of the Rules and Reasoning - International Joint Conference, 2017

Logical Vision: One-Shot Meta-Interpretive Learning from Real Images.
Proceedings of the Inductive Logic Programming - 27th International Conference, 2017

The Effect of Predicate Order on Curriculum Learning in ILP.
Proceedings of the Late Breaking Papers of the 27th International Conference on Inductive Logic Programming, 2017

2016
How Does Predicate Invention Affect Human Comprehensibility?
Proceedings of the Inductive Logic Programming - 26th International Conference, 2016

Learning Higher-Order Logic Programs through Abstraction and Invention.
Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence, 2016

2015
Meta-interpretive learning of higher-order dyadic datalog: predicate invention revisited.
Mach. Learn., 2015

Approaches and Applications of Inductive Programming (Dagstuhl Seminar 15442).
Dagstuhl Reports, 2015

Inductive programming meets the real world.
Commun. ACM, 2015

Can predicate invention compensate for incomplete background knowledge?
Proceedings of the Thirteenth Scandinavian Conference on Artificial Intelligence, 2015

Typed meta-interpretive learning for proof strategies.
Proceedings of the Late Breaking Papers of the 25th International Conference on Inductive Logic Programming, 2015

Logical Vision: Meta-Interpretive Learning for Simple Geometrical Concepts.
Proceedings of the Late Breaking Papers of the 25th International Conference on Inductive Logic Programming, 2015

Meta-Interpretive Learning of Data Transformation Programs.
Proceedings of the Inductive Logic Programming - 25th International Conference, 2015

Learning Efficient Logical Robot Strategies Involving Composable Objects.
Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, 2015

2014
Meta-interpretive learning: application to grammatical inference.
Mach. Learn., 2014

Alan Turing and the development of Artificial Intelligence.
AI Commun., 2014

Towards Machine Learning of Predictive Models from Ecological Data.
Proceedings of the Inductive Logic Programming - 24th International Conference, 2014

Logical Minimisation of Meta-Rules Within Meta-Interpretive Learning.
Proceedings of the Inductive Logic Programming - 24th International Conference, 2014

Bias reformulation for one-shot function induction.
Proceedings of the ECAI 2014 - 21st European Conference on Artificial Intelligence, 18-22 August 2014, Prague, Czech Republic, 2014

2013
Editors's Introduction to the Special Issue on "100 Years of Alan Turing and 20 Years of SLAIS".
Informatica (Slovenia), 2013

MetaBayes: Bayesian Meta-Interpretative Learning Using Higher-Order Stochastic Refinement.
Proceedings of the Inductive Logic Programming - 23rd International Conference, 2013

Meta-Interpretive Learning of Higher-Order Dyadic Datalog: Predicate Invention revisited.
Proceedings of the IJCAI 2013, 2013

2012
ILP turns 20 - Biography and future challenges.
Mach. Learn., 2012

Guest editorial: special issue on Inductive Logic Programming (ILP 2011).
Mach. Learn., 2012

Automated identification of protein-ligand interaction features using Inductive Logic Programming: a hexose binding case study.
BMC Bioinform., 2012

Machine Learning and Text Mining of Trophic Links.
Proceedings of the 11th International Conference on Machine Learning and Applications, 2012

The Scientific Contribution of Marek Sergot.
Proceedings of the Logic Programs, Norms and Action, 2012

2011
WIBL: Workbench for Integrative Biological Learning.
J. Integr. Bioinform., 2011

Projection-Based PILP: Computational Learning Theory with Empirical Results.
Proceedings of the Inductive Logic Programming - 21st International Conference, 2011

Machine Learning a Probabilistic Network of Ecological Interactions.
Proceedings of the Inductive Logic Programming - 21st International Conference, 2011

Towards Efficient Higher-Order Logic Learning in a First-Order Datalog Framework.
Proceedings of the Latest Advances in Inductive Logic Programming, 2011

Can ILP Learn Complete and Correct Game Strategies?
Proceedings of the Latest Advances in Inductive Logic Programming, 2011

MC-TopLog: Complete Multi-clause Learning Guided by a Top Theory.
Proceedings of the Inductive Logic Programming - 21st International Conference, 2011

Does Multi-Clause Learning Help in Real-World Applications?
Proceedings of the Inductive Logic Programming - 21st International Conference, 2011

Automatic Invention of Functional Abstractions.
Proceedings of the Latest Advances in Inductive Logic Programming, 2011

Customisable Multi-Processor Acceleration of Inductive Logic Programming.
Proceedings of the Latest Advances in Inductive Logic Programming, 2011

2010
Stochastic Refinement.
Proceedings of the Inductive Logic Programming - 20th International Conference, 2010

When Does It Pay Off to Use Sophisticated Entailment Engines in ILP?
Proceedings of the Inductive Logic Programming - 20th International Conference, 2010

Can HOLL Outperform FOLL?
Proceedings of the Inductive Logic Programming - 20th International Conference, 2010

Variation of Background Knowledge in an Industrial Application of ILP.
Proceedings of the Inductive Logic Programming - 20th International Conference, 2010

Knowledge Mining Biological Network Models.
Proceedings of the Intelligent Information Processing V, 2010

Subsumer: A Prolog theta-subsumption engine.
Proceedings of the Technical Communications of the 26th International Conference on Logic Programming, 2010

2009
Multi-Class protein fold recognition using large margin logic based divide and conquer learning.
SIGKDD Explor., 2009

The lattice structure and refinement operators for the hypothesis space bounded by a bottom clause.
Mach. Learn., 2009

Can ILP Be Applied to Large Datasets?
Proceedings of the Inductive Logic Programming, 19th International Conference, 2009

ProGolem: A System Based on Relative Minimal Generalisation.
Proceedings of the Inductive Logic Programming, 19th International Conference, 2009

Chess Revision: Acquiring the Rules of Chess Variants through FOL Theory Revision from Examples.
Proceedings of the Inductive Logic Programming, 19th International Conference, 2009

An ILP System for Learning Head Output Connected Predicates.
Proceedings of the Progress in Artificial Intelligence, 2009

Learning Large Margin First Order Decision Lists for Multi-Class Classification.
Proceedings of the Discovery Science, 12th International Conference, 2009

2008
QG/GA: a stochastic search for Progol.
Mach. Learn., 2008

Guest editorial: special issue on Inductive Logic Programming.
Mach. Learn., 2008

Structured machine learning: the next ten years.
Mach. Learn., 2008

Learning probabilistic logic models from probabilistic examples.
Mach. Learn., 2008

Scaffold Hopping in Drug Discovery Using Inductive Logic Programming.
J. Chem. Inf. Model., 2008

From ILP to PILP.
Proceedings of the Advances in Artificial Intelligence, 2008

Developing Robust Synthetic Biology Designs Using a Microfluidic Robot Scientist.
Proceedings of the Advances in Artificial Intelligence, 2008

A Note on Refinement Operators for IE-Based ILP Systems.
Proceedings of the Inductive Logic Programming, 18th International Conference, 2008

A Behavioral Comparison of Some Probabilistic Logic Models.
Proceedings of the Probabilistic Inductive Logic Programming - Theory and Applications, 2008

Protein Fold Discovery Using Stochastic Logic Programs.
Proceedings of the Probabilistic Inductive Logic Programming - Theory and Applications, 2008

TopLog: ILP Using a Logic Program Declarative Bias.
Proceedings of the Logic Programming, 24th International Conference, 2008

A Customisable Multiprocessor for Application-Optimised Inductive Logic Programming.
Proceedings of the Visions of Computer Science, 2008

2007
A Novel Logic-Based Approach for Quantitative Toxicology Prediction.
J. Chem. Inf. Model., 2007

Support vector inductive logic programming outperforms the naive Bayes classifier and inductive logic programming for the classification of bioactive chemical compounds.
J. Comput. Aided Mol. Des., 2007

Abductive Stochastic Logic Programs for Metabolic Network Inhibition Learning.
Proceedings of the Mining and Learning with Graphs, 2007

Learning Probabilistic Logic Models from Probabilistic Examples (Extended Abstract).
Proceedings of the Inductive Logic Programming, 17th International Conference, 2007

07161 Abstracts Collection -- Probabilistic, Logical and Relational Learning - A Further Synthesis.
Proceedings of the Probabilistic, Logical and Relational Learning - A Further Synthesis, 15.04., 2007

2006
Application of abductive ILP to learning metabolic network inhibition from temporal data.
Mach. Learn., 2006

Mathematical applications of inductive logic programming.
Mach. Learn., 2006

The Complexity of Translating BLPs to RMMs.
Proceedings of the Inductive Logic Programming, 16th International Conference, 2006

Multi-class Prediction Using Stochastic Logic Programs.
Proceedings of the Inductive Logic Programming, 16th International Conference, 2006

Towards Chemical Universal Turing Machines.
Proceedings of the Proceedings, 2006

2005
Computing Confidence Measures in Stochastic Logic Programs.
Proceedings of the MICAI 2005: Advances in Artificial Intelligence, 2005

Learning Stochastic Logical Automaton.
Proceedings of the New Frontiers in Artificial Intelligence, 2005

Machine Learning for Systems Biology.
Proceedings of the Inductive Logic Programming, 15th International Conference, 2005

Abduction and induction for learning models of inhibition in metabolic networks.
Proceedings of the Fourth International Conference on Machine Learning and Applications, 2005

Support Vector Inductive Logic Programming.
Proceedings of the Discovery Science, 8th International Conference, 2005

05051 Abstracts Collection - Probabilistic, Logical and Relational Learning - Towards a Synthesis.
Proceedings of the Probabilistic, Logical and Relational Learning - Towards a Synthesis, 30. January, 2005

05051 Executive Summary - Probabilistic, Logical and Relational Learning - Towards a Synthesis.
Proceedings of the Probabilistic, Logical and Relational Learning - Towards a Synthesis, 30. January, 2005

Learning the Time Complexity of Logic Programs.
Proceedings of the Workshop on Approaches and Applications of Inductive Programming, 2005

2004
Modelling Inhibition in Metabolic Pathways Through Abduction and Induction.
Proceedings of the Inductive Logic Programming, 14th International Conference, 2004

Modelling Metabolic Pathways Using Stochastic Logic Programs-Based Ensemble Methods.
Proceedings of the Computational Methods in Systems Biology, International Conference, 2004

2003
Interpretation of Hidden Node Methodology in Automated Classification of Neural Cell Morphology.
Proceedings of the International Conference on Mathematics and Engineering Techniques in Medicine and Biological Scienes, 2003

Induction of Enzyme Classes from Biological Databases.
Proceedings of the Inductive Logic Programming: 13th International Conference, 2003

ILP for Mathematical Discovery.
Proceedings of the Inductive Logic Programming: 13th International Conference, 2003

2002
Generating Protein Three-dimensional Fold Signatures using Inductive Logic Programming.
Comput. Chem., 2002

A Genetic Algorithms Approach to ILP.
Proceedings of the Inductive Logic Programming, 12th International Conference, 2002

Learning Structure and Parameters of Stochastic Logic Programs.
Proceedings of the Inductive Logic Programming, 12th International Conference, 2002

Scalable acceleration of inductive logic programs.
Proceedings of the 2002 IEEE International Conference on Field-Programmable Technology, 2002

2001
The Effect of Relational Background Knowledge on Learning of Protein Three-Dimensional Fold Signatures.
Mach. Learn., 2001

Are Grammatical Representations Useful for Learning from Biological Sequence Data? - A Case Study.
J. Comput. Biol., 2001

Developing a Logical Model of Yeast Metabolism.
Electron. Trans. Artif. Intell., 2001

Automatic determination of protein fold signatures from structural superpositions.
Electron. Trans. Artif. Intell., 2001

Combining Inductive Logic Programming, Active Learning and Robotics to Discover the Function of Genes.
Electron. Trans. Artif. Intell., 2001

2000
Use of Inductive Logic Programming to Learn Principles of Protein Structure.
Electron. Trans. Artif. Intell., 2000

Learning Stochastic Logic Programs.
Electron. Trans. Artif. Intell., 2000

Searching the Subsumption Lattice by a Genetic Algorithm.
Proceedings of the Inductive Logic Programming, 10th International Conference, 2000

Theory Completion Using Inverse Entailment.
Proceedings of the Inductive Logic Programming, 10th International Conference, 2000

Learning Chomsky-like Grammars for Biological Sequence Families.
Proceedings of the Seventeenth International Conference on Machine Learning (ICML 2000), Stanford University, Stanford, CA, USA, June 29, 2000

Measuring Performance when Positives Are Rare: Relative Advantage versus Predictive Accuracy - A Biological Case Study.
Proceedings of the Machine Learning: ECML 2000, 11th European Conference on Machine Learning, Barcelona, Catalonia, Spain, May 31, 2000

1999
Guest Editors' Introduction: Inductive Logic Programming.
J. Log. Program., 1999

Scientific Knowledge Discovery Using Inductive Logic Programming.
Commun. ACM, 1999

Inductive Logic Programming: Issues, Results and the Challenge of Learning Language in Logic.
Artif. Intell., 1999

Theory Recovery.
Proceedings of the Inductive Logic Programming, 9th International Workshop, 1999

Analogical Prediction.
Proceedings of the Inductive Logic Programming, 9th International Workshop, 1999

1998
Pharmacophore Discovery Using the Inductive Logic Programming System PROGOL.
Mach. Learn., 1998

Application of Inductive Logic Programming to Discover Rules Governing the Three-Dimensional Topology of Protein Structure.
Proceedings of the Inductive Logic Programming, 8th International Workshop, 1998

A Comparison of ILP and Propositional Systems on Propositional Traffic Data.
Proceedings of the Inductive Logic Programming, 8th International Workshop, 1998

Completing Inverse Entailment.
Proceedings of the Inductive Logic Programming, 8th International Workshop, 1998

Advances in ILP Theory and Implementations (Abstract).
Proceedings of the Inductive Logic Programming, 8th International Workshop, 1998

Repeat Learning Using Predicate Invention.
Proceedings of the Inductive Logic Programming, 8th International Workshop, 1998

Detecting Traffic Problems with ILP.
Proceedings of the Inductive Logic Programming, 8th International Workshop, 1998

Inductive Logic Programming: Issues, Results and the LLL Challenge (abstract).
Proceedings of the 13th European Conference on Artificial Intelligence, 1998

Biochemical Knowledge Discovery Using Inductive Logic Programming.
Proceedings of the Discovery Science, 1998

Knowledge Discovery in Biological and Chemical Domains.
Proceedings of the Discovery Science, 1998

1997
Guest Editors' Introduction.
Mach. Learn., 1997

Carcinogenesis Predictions Using ILP.
Proceedings of the Inductive Logic Programming, 7th International Workshop, 1997

Learning Programs in the Event Calculus.
Proceedings of the Inductive Logic Programming, 7th International Workshop, 1997

The Predictive Toxicology Evaluation Challenge.
Proceedings of the Fifteenth International Joint Conference on Artificial Intelligence, 1997

Machine Intelligibility and the Duality Principle.
Proceedings of the Software Agents and Soft Computing: Towards Enhancing Machine Intelligence, 1997

1996
Theories for Mutagenicity: A Study in First-Order and Feature-Based Induction.
Artif. Intell., 1996

An Initial Experiment into Stereochemistry-Based Drug Design Using Inductive Logic Programming.
Proceedings of the Inductive Logic Programming, 6th International Workshop, 1996

Learning from Positive Data.
Proceedings of the Inductive Logic Programming, 6th International Workshop, 1996

1995
Special Issue on Inductive Logic Programming.
New Gener. Comput., 1995

Inverse Entailment and Progol.
New Gener. Comput., 1995

Applications of Inductive Logic Programming.
Commun. ACM, 1995

Drug Design by Machine Learning.
Proceedings of the Machine Intelligence 15, 1995

An Experiment with Browsers that Learn.
Proceedings of the Machine Intelligence 15, 1995

A Learnability Model for Universal Representations and Its Application to Top-down Induction of Decision Trees.
Proceedings of the Machine Intelligence 15, 1995

Inductive Logic Programming: Inverse Resolution and Beyond.
Proceedings of the Fourteenth International Joint Conference on Artificial Intelligence, 1995

1994
Inductive Logic Programming: Derivations, Successes and Shortcomings.
SIGART Bull., 1994

Inductive Logic Programming: Theory and Methods.
J. Log. Program., 1994

Predicate invention and utilization.
J. Exp. Theor. Artif. Intell., 1994

Bayesian Inductive Logic Programming.
Proceedings of the Machine Learning, 1994

1993
Inverting Entailment and Progol.
Proceedings of the Machine Intelligence 14, 1993

Learnability of Constrained Logic Programs.
Proceedings of the Machine Learning: ECML-93, 1993

Optimal Layered Learning: A PAC Approach to Incremental Sampling.
Proceedings of the Algorithmic Learning Theory, 4th International Workshop, 1993

1992
Statlog Project.
Dataset, September, 1992

Machine Learning and biomolecular modelling.
Proceedings of the Machine Intelligence 13, 1992

The Justification of Logical Theories based on Data Compression.
Proceedings of the Machine Intelligence 13, 1992

Logic and Learning: Turing's legacy.
Proceedings of the Machine Intelligence 13, 1992

Learning optimal chess strategies.
Proceedings of the Machine Intelligence 13, 1992

Compression, Significance, and Accuracy.
Proceedings of the Ninth International Workshop on Machine Learning (ML 1992), 1992

Towards Inductive Generalization in Higher Order Logic.
Proceedings of the Ninth International Workshop on Machine Learning (ML 1992), 1992

Developments in Inductive Logic Programming, Panel Position Paper.
Proceedings of the International Conference on Fifth Generation Computer Systems. FGCS 1992, 1992

PAC-Learnability of Determinate Logic Programs.
Proceedings of the Fifth Annual ACM Conference on Computational Learning Theory, 1992

1991
Inductive Logic Programming.
New Gener. Comput., 1991

Learning Qualitative Models of Dynamic Systems.
Proceedings of the Eighth International Workshop (ML91), 1991

Learning to Relate Terms in a Multiple Agent Environment.
Proceedings of the Machine Learning, 1991

1990
Efficient Induction of Logic Programs.
Proceedings of the Algorithmic Learning Theory, First International Workshop, 1990

Inductive acquisition of expert knowledge.
Turing Institute Pr., ISBN: 978-0-201-17561-5, 1990

1989
An Experimental Comparison of Human and Machine Learning Formalisms.
Proceedings of the Sixth International Workshop on Machine Learning (ML 1989), 1989

1988
Machine Invention of First Order Predicates by Inverting Resolution.
Proceedings of the Machine Learning, 1988

A Strategy for Constructing New Predicates in First-Order Logic.
Proceedings of the Third European Working Session on Learning, 1988

1987
Duce, An Oracle-based Approach to Constructive Induction.
Proceedings of the 10th International Joint Conference on Artificial Intelligence. Milan, 1987

Structuring Knowledge by Asking Questions.
Proceedings of the Progress in Machine Learning, 1987

1986
Inductive acquisition of expert knowledge.
PhD thesis, 1986


  Loading...