S
Stephen Muggleton
Researcher at Imperial College London
Publications - 247
Citations - 12380
Stephen Muggleton is an academic researcher from Imperial College London. The author has contributed to research in topics: Inductive logic programming & PROGOL. The author has an hindex of 46, co-authored 242 publications receiving 11680 citations. Previous affiliations of Stephen Muggleton include Astellas Pharma & University of London.
Papers
More filters
Journal ArticleDOI
Inductive Logic Programming : Theory and Methods
Stephen Muggleton,Luc De Raedt +1 more
TL;DR: The most important theories and methods of Inductive Logic Programming, a new discipline which investigates the inductive construction of first-order clausal theories from examples and background knowledge, are surveyed.
Journal ArticleDOI
Inverse entailment and PROGOL
TL;DR: Mode-Directed Inverse Entailment (MDIE) is introduced as a generalisation and enhancement of previous approaches for inverting deduction and an implementation of MDIE in the Progol system is described.
Proceedings Article
Efficient Induction of Logic Programs
Stephen Muggleton,C. Feng +1 more
TL;DR: The concept of h-easy rlgg clauses is introduced and it is proved that the length of a certain class of \determinate" r lgg is bounded by a polynomial function of certain features of the background knowledge.
Journal ArticleDOI
Functional genomic hypothesis generation and experimentation by a robot scientist
Ross D. King,Kenneth E. Whelan,Ffion M. Jones,Philip G. K. Reiser,Christopher H. Bryant,Stephen Muggleton,Douglas B. Kell,Stephen G. Oliver +7 more
TL;DR: A physically implemented robotic system that applies techniques from artificial intelligence to carry out cycles of scientific experimentation and shows that an intelligent experiment selection strategy is competitive with human performance and significantly outperforms, with a cost decrease of 3-fold and 100-fold, both cheapest and random-experiment selection.
Book ChapterDOI
Machine invention of first order predicates by inverting resolution
Stephen Muggleton,Wray Buntine +1 more
TL;DR: A mechanism for automatically inventing and generalising first-order Horn clause predicates is presented and implemented in a system called CIGOL, which uses incremental induction to augment incomplete clausal theories.