SOTAVerified

Inductive logic programming

Papers

Showing 101125 of 153 papers

TitleStatusHype
The ILASP system for Inductive Learning of Answer Set Programs0
Knowledge Refactoring for Inductive Program SynthesisCode0
Learning large logic programs by going beyond entailment0
Incorporating Relational Background Knowledge into Reinforcement Learning via Differentiable Inductive Logic Programming0
Turning 30: New Ideas in Inductive Logic Programming0
SMT + ILP0
A logic-based relational learning approach to relation extraction: The OntoILPER system0
Maximal Closed Set and Half-Space Separations in Finite Closure Systems0
User Friendly Automatic Construction of Background Knowledge: Mode Construction from ER DiagramsCode0
One-Shot Induction of Generalized Logical Concepts via Human Guidance0
From Shallow to Deep Interactions Between Knowledge Representation, Reasoning and Machine Learning (Kay R. Amel group)0
Induction of Subgoal Automata for Reinforcement Learning0
REMI: Mining Intuitive Referring Expressions on Knowledge Bases0
Symbolic Graph Embedding using Frequent Pattern MiningCode0
Learn to Explain Efficiently via Neural Logic Inductive LearningCode0
Enriching Visual with Verbal Explanations for Relational Concepts -- Combining LIME with Aleph0
Induction of Non-monotonic Logic Programs To Explain Statistical Learning Models0
Proceedings 35th International Conference on Logic Programming (Technical Communications)0
RuDaS: Synthetic Datasets for Rule Learning and Evaluation ToolsCode0
Logical reduction of metarules0
Towards meta-interpretive learning of programming language semanticsCode0
Inductive general game playingCode0
Efficient predicate invention using shared "NeMuS"0
Inductive Logic Programming via Differentiable Deep Neural Logic NetworksCode0
Induction of Non-Monotonic Rules From Statistical Learning Models Using High-Utility Itemset MiningCode0
Show:102550
← PrevPage 5 of 7Next →

Benchmark Results

#ModelMetricClaimedVerifiedStatus
1AMIE+H-Score0.23Unverified
2FOILH-Score0.15Unverified
3Neural-LPH-Score0.1Unverified
4NTPH-Score0.07Unverified