SOTAVerified

Inductive logic programming

Papers

Showing 76100 of 153 papers

TitleStatusHype
Differentiable Inductive Logic Programming for Structured ExamplesCode1
Differentiable Logic Machines0
Inductive logic programming at 300
Refinement Type Directed Search for Meta-Interpretive-Learning of Higher-Order Logic Programs0
Learning logic programs by explaining their failures0
HySTER: A Hybrid Spatio-Temporal Event Reasoner0
Conflict-driven Inductive Logic Programming0
NSL: Hybrid Interpretable Learning From Noisy Raw Data0
Symbolic AI for XAI: Evaluating LFIT Inductive Programming for Fair and Explainable Automatic Recruitment0
Resource Constrained Dialog Policy Learning via Differentiable Inductive Logic Programming0
Learning Explainable Linguistic Expressions with Neural Inductive Logic Programming for Sentence Classification0
Incorporating Symbolic Domain Knowledge into Graph Neural NetworksCode0
Proceedings 36th International Conference on Logic Programming (Technical Communications)0
Induction and Exploitation of Subgoal Automata for Reinforcement Learning0
Inductive logic programming at 30: a new introductionCode1
White-box Induction From SVM Models: Explainable AI with Logic Programming0
Inducing game rules from varying quality game play0
Evaluating the Apperception Engine0
Learning programs by learning from failuresCode1
The ILASP system for Inductive Learning of Answer Set Programs0
Learning large logic programs by going beyond entailment0
Knowledge Refactoring for Inductive Program SynthesisCode0
Incorporating Relational Background Knowledge into Reinforcement Learning via Differentiable Inductive Logic Programming0
Turning 30: New Ideas in Inductive Logic Programming0
SMT + ILP0
Show:102550
← PrevPage 4 of 7Next →

Benchmark Results

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