SOTAVerified

Inductive logic programming

Papers

Showing 5175 of 153 papers

TitleStatusHype
A Critical Review of Inductive Logic Programming Techniques for Explainable AI0
Learning Higher-Order Programs without Meta-Interpretive Learning0
Learning Logic Programs From Noisy Failures0
Neuro-Symbolic Hierarchical Rule Induction0
Lifting Symmetry Breaking Constraints with Inductive Logic ProgrammingCode0
Preprocessing in Inductive Logic Programming0
Logical Boltzmann Machines0
Neuro-Symbolic Inductive Logic Programming with Logical Neural NetworksCode1
Ontology-Based Skill Description Learning for Flexible Production Systems0
A Hybrid Neuro-Symbolic approach for Text-Based Games using Inductive Logic Programming0
Using Program Synthesis and Inductive Logic Programming to solve Bongard Problems0
Learning Rules with Stratified Negation in Differentiable ILP.Code0
Explanation as a process: user-centric construction of multi-level and multi-modal explanations0
On the Complexity of Inductively Learning Guarded Rules0
A Clustering and Demotion Based Algorithm for Inductive Learning of Default Theories0
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
Predicate Invention by Learning From FailuresCode1
Learning Description Logic Ontologies. Five Approaches. Where Do They Stand?0
Show:102550
← PrevPage 3 of 7Next →

Benchmark Results

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