Stephen H. Muggleton
4 papers · 2015–2020 · 1 conference · across top CS/AI conferences
Achievements
Jump to papers ↓
๐
Interdisciplinary Bridge
๐งญ
Keyword Pioneer
๐
Academic Marathon
(5)
๐
Cross-Pollinator
(5)
Conferences
IJCAI (4)
Top co-authors
Keywords
inductive logic programming
(2)
knowledge representation
(1)
interpretable machine learning
(1)
program synthesis
(1)
automated reasoning
(1)
answer set programming
(1)
logic programming
(1)
predicate invention
(1)
meta-interpretive learning
(1)
bottom-up learning
(1)
second-order logic
(1)
clause learning
(1)
few-shot learning
(1)
neural network
(1)
Papers
Complete Bottom-Up Predicate Invention in Meta-Interpretive Learning
IJCAI 2020
Turning 30: New Ideas in Inductive Logic Programming
IJCAI 2020
Learning Higher-Order Logic Programs through Abstraction and Invention
IJCAI 2016
Learning Efficient Logical Robot Strategies Involving Composable Objects
IJCAI 2015