`Travelled to:`

1 × Italy

2 × United Kingdom

5 × USA

`Collaborated with:`

A.Srinivasan M.Bain J.Santos ∅ C.Feng W.L.Buntine J.C.A.Santos A.Tamaddoni-Nezhad C.H.Bryant I.Bratko A.Varsek J.H.Michie D.Michie

`Talks about:`

logic (3) learn (3) program (2) machin (2) induct (2) order (2) experiment (1) comparison (1) subsumpt (1) signific (1)

## Person: Stephen Muggleton

### DBLP: Muggleton:Stephen

### Contributed to:

### Wrote 9 papers:

- ICLP-2010-SantosM10 #named #prolog
- Subsumer: A Prolog theta-subsumption engine (JS, SM), pp. 172–181.
- ICLP-2008-MuggletonST #bias #declarative #logic programming #named #using
- TopLog: ILP Using a Logic Program Declarative Bias (SM, JCAS, ATN), pp. 687–692.
- ICML-2000-MuggletonBS #biology #learning #product line #sequence
- Learning Chomsky-like Grammars for Biological Sequence Families (SM, CHB, AS), pp. 631–638.
- ICML-1994-Muggleton #induction #logic programming
- Bayesian Inductive Logic Programming (SM), pp. 371–379.
- ML-1992-FengM #higher-order #induction #logic #towards
- Towards Inductive Generalization in Higher Order Logic (CF, SM), pp. 154–162.
- ML-1992-MuggletonSB
- Compression, Significance, and Accuracy (SM, AS, MB), pp. 338–347.
- ML-1991-BratkoMV #learning #modelling
- Learning Qualitative Models of Dynamic Systems (IB, SM, AV), pp. 385–388.
- ML-1989-MuggletonBMM #comparison #machine learning
- An Experimental Comparison of Human and Machine Learning Formalisms (SM, MB, JHM, DM), pp. 113–118.
- ML-1988-MuggletonB #first-order
- Machine Invention of First Order Predicates by Inverting Resolution (SM, WLB), pp. 339–352.