| 2021 | IJCAI | Abductive Learning with Ground Knowledge Base. | Le-Wen Cai, Wang-Zhou Dai, Yu-Xuan Huang, Yufeng Li, Stephen H. Muggleton, Yuan Jiang |
| 2021 | IJCAI | Abductive Knowledge Induction from Raw Data. | Wang-Zhou Dai, Stephen H. Muggleton |
| 2021 | ILP | Machine Learning of Microbial Interactions Using Abductive ILP and Hypothesis Frequency/Compression Estimation. | Didac Barroso-Bergada, Alireza Tamaddoni-Nezhad, Stephen H. Muggleton, Corinne Vacher, Nika Galic, David A. Bohan |
| 2021 | ILP | Human-Like Rule Learning from Images Using One-Shot Hypothesis Derivation. | Dany Varghese, Roman Bauer, Daniel Baxter-Beard, Stephen H. Muggleton, Alireza Tamaddoni-Nezhad |
| 2020 | AAAI | Learning Higher-Order Programs through Predicate Invention. | Andrew Cropper, Rolf Morel, Stephen H. Muggleton |
| 2020 | IJCAI | Turning 30: New Ideas in Inductive Logic Programming. | Andrew Cropper, Sebastijan Dumancic, Stephen H. Muggleton |
| 2020 | IJCAI | Complete Bottom-Up Predicate Invention in Meta-Interpretive Learning. | Cline Hocquette, Stephen H. Muggleton |
| 2018 | ILP | How Much Can Experimental Cost Be Reduced in Active Learning of Agent Strategies? | Cline Hocquette, Stephen H. Muggleton |
| 2017 | ILP | The Effect of Predicate Order on Curriculum Learning in ILP. | Hank Conn, Stephen H. Muggleton |
| 2017 | ILP | Logical Vision: One-Shot Meta-Interpretive Learning from Real Images. | Wang-Zhou Dai, Stephen H. Muggleton, Jing Wen, Alireza Tamaddoni-Nezhad, Zhi-Hua Zhou |
| 2016 | IJCAI | Learning Higher-Order Logic Programs through Abstraction and Invention. | Andrew Cropper, Stephen H. Muggleton |
| 2016 | ILP | How Does Predicate Invention Affect Human Comprehensibility? | Ute Schmid, Christina Zeller, Tarek R. Besold, Alireza Tamaddoni-Nezhad, Stephen H. Muggleton |
| 2015 | IJCAI | Learning Efficient Logical Robot Strategies Involving Composable Objects. | Andrew Cropper, Stephen H. Muggleton |
| 2015 | ILP | Meta-Interpretive Learning of Data Transformation Programs. | Andrew Cropper, Alireza Tamaddoni-Nezhad, Stephen H. Muggleton |
| 2015 | ILP | Logical Vision: Meta-Interpretive Learning for Simple Geometrical Concepts. | Wang-Zhou Dai, Stephen H. Muggleton, Zhi-Hua Zhou |
| 2015 | ILP | Typed meta-interpretive learning for proof strategies. | Colin Farquhar, Gudmund Grov, Andrew Cropper, Stephen H. Muggleton, Alan Bundy |
| 2014 | ECAI | Bias reformulation for one-shot function induction. | Dianhuan Lin, Eyal Dechter, Kevin Ellis, Joshua B. Tenenbaum, Stephen H. Muggleton |
| 2014 | ILP | Logical Minimisation of Meta-Rules Within Meta-Interpretive Learning. | Andrew Cropper, Stephen H. Muggleton |
| 2014 | ILP | Towards Machine Learning of Predictive Models from Ecological Data. | Alireza Tamaddoni-Nezhad, David A. Bohan, Alan Raybould, Stephen H. Muggleton |
| 2013 | IJCAI | Meta-Interpretive Learning of Higher-Order Dyadic Datalog: Predicate Invention revisited. | Stephen H. Muggleton, Dianhuan Lin |
| 2013 | ILP | MetaBayes: Bayesian Meta-Interpretative Learning Using Higher-Order Stochastic Refinement. | Stephen H. Muggleton, Dianhuan Lin, Jianzhong Chen, Alireza Tamaddoni-Nezhad |
| 2012 | ICMLA | Machine Learning and Text Mining of Trophic Links. | Ghazal Afroozi Milani, David A. Bohan, Stuart J. Dunbar, Stephen H. Muggleton, Alan Raybould, Alireza Tamaddoni-Nezhad |
| 2011 | ILP | Customisable Multi-Processor Acceleration of Inductive Logic Programming. | Andreas Kirkeby Fidjeland, Wayne Luk, Stephen H. Muggleton |
| 2011 | ILP | Automatic Invention of Functional Abstractions. | Robert J. Henderson, Stephen H. Muggleton |
| 2011 | ILP | Does Multi-Clause Learning Help in Real-World Applications? | Dianhuan Lin, Jianzhong Chen, Hiroaki Watanabe, Stephen H. Muggleton, Pooja Jain, Michael J. E. Sternberg, Charles Baxter, Richard A. Currie, Stuart J. Dunbar, Mark Earll, Jos Domingo Salazar |
| 2011 | ILP | MC-TopLog: Complete Multi-clause Learning Guided by a Top Theory. | Stephen H. Muggleton, Dianhuan Lin, Alireza Tamaddoni-Nezhad |
| 2011 | ILP | Can ILP Learn Complete and Correct Game Strategies? | Stephen H. Muggleton, Changze Xu |
| 2011 | ILP | Towards Efficient Higher-Order Logic Learning in a First-Order Datalog Framework. | Niels Pahlavi, Stephen H. Muggleton |
| 2011 | ILP | Machine Learning a Probabilistic Network of Ecological Interactions. | Alireza Tamaddoni-Nezhad, David A. Bohan, Alan Raybould, Stephen H. Muggleton |
| 2011 | ILP | Projection-Based PILP: Computational Learning Theory with Empirical Results. | Hiroaki Watanabe, Stephen H. Muggleton |
| 2010 | ICLP | Subsumer: A Prolog theta-subsumption engine. | Jose Santos, Stephen H. Muggleton |
| 2010 | ILP | Variation of Background Knowledge in an Industrial Application of ILP. | Stephen H. Muggleton, Jianzhong Chen, Hiroaki Watanabe, Stuart J. Dunbar, Charles Baxter, Richard A. Currie, Jos Domingo Salazar, Jan Taubert, Michael J. E. Sternberg |
| 2010 | ILP | Can HOLL Outperform FOLL? | Niels Pahlavi, Stephen H. Muggleton |
| 2010 | ILP | When Does It Pay Off to Use Sophisticated Entailment Engines in ILP? | Jose Santos, Stephen H. Muggleton |
| 2010 | ILP | Stochastic Refinement. | Alireza Tamaddoni-Nezhad, Stephen H. Muggleton |
| 2009 | DIS | Learning Large Margin First Order Decision Lists for Multi-Class Classification. | Huma Lodhi, Stephen H. Muggleton, Michael J. E. Sternberg |
| 2009 | EPIA | An ILP System for Learning Head Output Connected Predicates. | Jos Carlos Almeida Santos, Alireza Tamaddoni-Nezhad, Stephen H. Muggleton |
| 2009 | ILP | Chess Revision: Acquiring the Rules of Chess Variants through FOL Theory Revision from Examples. | Stephen H. Muggleton, Aline Paes, Vtor Santos Costa, Gerson Zaverucha |
| 2009 | ILP | ProGolem: A System Based on Relative Minimal Generalisation. | Stephen H. Muggleton, Jos Carlos Almeida Santos, Alireza Tamaddoni-Nezhad |
| 2009 | ILP | Can ILP Be Applied to Large Datasets? | Hiroaki Watanabe, Stephen H. Muggleton |
| 2009 | KDD | Multi-class protein fold recognition using large margin logic based divide and conquer learning. | Huma Lodhi, Stephen H. Muggleton, Michael J. E. Sternberg |
| 2008 | ICLP | TopLog: ILP Using a Logic Program Declarative Bias. | Stephen H. Muggleton, Jos Carlos Almeida Santos, Alireza Tamaddoni-Nezhad |
| 2008 | ILP | A Note on Refinement Operators for IE-Based ILP Systems. | Alireza Tamaddoni-Nezhad, Stephen H. Muggleton |
| 2007 | ILP | Learning Probabilistic Logic Models from Probabilistic Examples (Extended Abstract). | Jianzhong Chen, Stephen H. Muggleton, Jose Santos |
| 2006 | AAAI | Towards Chemical Universal Turing Machines. | Stephen H. Muggleton |
| 2006 | ILP | Multi-class Prediction Using Stochastic Logic Programs. | Jianzhong Chen, Lawrence A. Kelley, Stephen H. Muggleton, Michael J. E. Sternberg |
| 2006 | ILP | The Complexity of Translating BLPs to RMMs. | Stephen H. Muggleton, Niels Pahlavi |
| 2006 | ILP | QG/GA: A Stochastic Search for Progol. | Stephen H. Muggleton, Alireza Tamaddoni-Nezhad |
| 2005 | DIS | Support Vector Inductive Logic Programming. | Stephen H. Muggleton, Huma Lodhi, Ata Amini, Michael J. E. Sternberg |
| 2005 | ICMLA | Abduction and induction for learning models of inhibition in metabolic networks. | Alireza Tamaddoni-Nezhad, Raphael Chaleil, Antonis C. Kakas, Stephen H. Muggleton |
| 2005 | ILP | Machine Learning for Systems Biology. | Stephen H. Muggleton |
| 2004 | ILP | Modelling Inhibition in Metabolic Pathways Through Abduction and Induction. | Alireza Tamaddoni-Nezhad, Antonis C. Kakas, Stephen H. Muggleton, Florencio Pazos |
| 2003 | ILP | ILP for Mathematical Discovery. | Simon Colton, Stephen H. Muggleton |
| 2003 | ILP | Induction of Enzyme Classes from Biological Databases. | Stephen H. Muggleton, Alireza Tamaddoni-Nezhad, Hiroaki Watanabe |
| 2002 | ILP | Learning Structure and Parameters of Stochastic Logic Programs. | Stephen H. Muggleton |
| 2002 | ILP | A Genetic Algorithms Approach to ILP. | Alireza Tamaddoni-Nezhad, Stephen H. Muggleton |
| 2000 | ICML | Learning Chomsky-like Grammars for Biological Sequence Families. | Stephen H. Muggleton, Christopher H. Bryant, Ashwin Srinivasan |
| 2000 | ILP | Theory Completion Using Inverse Entailment. | Stephen H. Muggleton, Christopher H. Bryant |
| 2000 | ILP | Searching the Subsumption Lattice by a Genetic Algorithm. | Alireza Tamaddoni-Nezhad, Stephen H. Muggleton |
| 1999 | ILP | Analogical Prediction. | Stephen H. Muggleton, Michael Bain |
| 1999 | ILP | Theory Recovery. | Rupert Parson, Khalid Khan, Stephen H. Muggleton |
| 1998 | DIS | Knowledge Discovery in Biological and Chemical Domains. | Stephen H. Muggleton |
| 1998 | DIS | Biochemical Knowledge Discovery Using Inductive Logic Programming. | Stephen H. Muggleton, Ashwin Srinivasan, Ross D. King, Michael J. E. Sternberg |
| 1998 | ECAI | Inductive Logic Programming: Issues, Results and the LLL Challenge (abstract). | Stephen H. Muggleton |
| 1998 | ILP | Detecting Traffic Problems with ILP. | Saso Dzeroski, Nico Jacobs, Martn Molina, Carlos Moure, Stephen H. Muggleton, Wim Van Laer |
| 1998 | ILP | Repeat Learning Using Predicate Invention. | Khalid Khan, Stephen H. Muggleton, Rupert Parson |
| 1998 | ILP | Advances in ILP Theory and Implementations (Abstract). | Stephen H. Muggleton |
| 1998 | ILP | Completing Inverse Entailment. | Stephen H. Muggleton |
| 1998 | ILP | A Comparison of ILP and Propositional Systems on Propositional Traffic Data. | Sam Roberts, Wim Van Laer, Nico Jacobs, Stephen H. Muggleton, Jeremy Broughton |
| 1998 | ILP | Application of Inductive Logic Programming to Discover Rules Governing the Three-Dimensional Topology of Protein Structure. | Marcel Turcotte, Stephen H. Muggleton, Michael J. E. Sternberg |
| 1997 | IJCAI | The Predictive Toxicology Evaluation Challenge. | Ashwin Srinivasan, Ross D. King, Stephen H. Muggleton, Michael J. E. Sternberg |
| 1997 | ILP | Learning Programs in the Event Calculus. | Stephen Moyle, Stephen H. Muggleton |
| 1997 | ILP | Carcinogenesis Predictions Using ILP. | Ashwin Srinivasan, Ross D. King, Stephen H. Muggleton, Michael J. E. Sternberg |
| 1996 | ILP | Learning from Positive Data. | Stephen H. Muggleton |
| 1996 | ILP | An Initial Experiment into Stereochemistry-Based Drug Design Using Inductive Logic Programming. | Stephen H. Muggleton, David Page, Ashwin Srinivasan |
| 1995 | IJCAI | Inductive Logic Programming: Inverse Resolution and Beyond. | Stephen H. Muggleton |
| 1994 | COLT | Bayesian Inductive Logic Programming. | Stephen H. Muggleton |
| 1994 | ICML | Bayesian Inductive Logic Programming. | Stephen H. Muggleton |
| 1993 | ALT | Optimal Layered Learning: A PAC Approach to Incremental Sampling. | Stephen H. Muggleton |
| 1992 | COLT | PAC-Learnability of Determinate Logic Programs. | Saso Dzeroski, Stephen H. Muggleton, Stuart Russell |
| 1992 | ICML | Towards Inductive Generalization in Higher Order Logic. | Cao Feng, Stephen H. Muggleton |
| 1992 | ICML | Compression, Significance, and Accuracy. | Stephen H. Muggleton, Ashwin Srinivasan, Michael Bain |
| 1991 | ICML | Learning Qualitative Models of Dynamic Systems. | Ivan Bratko, Stephen H. Muggleton, Alen Varsek |
| 1990 | ALT | Inductive Logic Programming. | Stephen H. Muggleton |
| 1990 | ALT | Efficient Induction of Logic Programs. | Stephen H. Muggleton, Cao Feng |
| 1989 | ICML | An Experimental Comparison of Human and Machine Learning Formalisms. | Stephen H. Muggleton, Michael Bain, Jean Hayes Michie, Donald Michie |
| 1988 | ICML | Machine Invention of First Order Predicates by Inverting Resolution. | Stephen H. Muggleton, Wray L. Buntine |
| 1987 | IJCAI | Duce, An Oracle-based Approach to Constructive Induction. | Stephen H. Muggleton |