SOTAVerified

Inductive logic programming

Papers

Showing 76100 of 153 papers

TitleStatusHype
Learning logic programs through divide, constrain, and conquerCode0
Combining Rules and Embeddings via Neuro-Symbolic AI for Knowledge Base Completion0
Parallel Constraint-Driven Inductive Logic Programming0
FF-NSL: Feed-Forward Neural-Symbolic LearnerCode0
Interpretable Model-based Hierarchical Reinforcement Learning using Inductive Logic Programming0
Generating Contrastive Explanations for Inductive Logic Programming Based on a Near Miss Approach0
Inclusion of Domain-Knowledge into GNNs using Mode-Directed Inverse EntailmentCode0
Expressive Explanations of DNNs by Combining Concept Analysis with ILPCode0
Learning Description Logic Ontologies. Five Approaches. Where Do They Stand?0
Differentiable Logic Machines0
Inductive logic programming at 300
Learning logic programs by explaining their failures0
Refinement Type Directed Search for Meta-Interpretive-Learning of Higher-Order Logic Programs0
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
White-box Induction From SVM Models: Explainable AI with Logic Programming0
Inducing game rules from varying quality game play0
Evaluating the Apperception Engine0
Show:102550
← PrevPage 4 of 7Next →

Benchmark Results

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