SOTAVerified

Inductive logic programming

Papers

Showing 51–75 of 153 papers

TitleStatusHype
A Critical Review of Inductive Logic Programming Techniques for Explainable AI—0
Learning Higher-Order Programs without Meta-Interpretive Learning—0
Learning Logic Programs From Noisy Failures—0
Neuro-Symbolic Hierarchical Rule Induction—0
Lifting Symmetry Breaking Constraints with Inductive Logic ProgrammingCode0
Preprocessing in Inductive Logic Programming—0
Logical Boltzmann Machines—0
Neuro-Symbolic Inductive Logic Programming with Logical Neural NetworksCode1
Ontology-Based Skill Description Learning for Flexible Production Systems—0
A Hybrid Neuro-Symbolic approach for Text-Based Games using Inductive Logic Programming—0
Using Program Synthesis and Inductive Logic Programming to solve Bongard Problems—0
Learning Rules with Stratified Negation in Differentiable ILP.Code0
Explanation as a process: user-centric construction of multi-level and multi-modal explanations—0
On the Complexity of Inductively Learning Guarded Rules—0
A Clustering and Demotion Based Algorithm for Inductive Learning of Default Theories—0
Learning logic programs through divide, constrain, and conquerCode0
Combining Rules and Embeddings via Neuro-Symbolic AI for Knowledge Base Completion—0
Parallel Constraint-Driven Inductive Logic Programming—0
FF-NSL: Feed-Forward Neural-Symbolic LearnerCode0
Interpretable Model-based Hierarchical Reinforcement Learning using Inductive Logic Programming—0
Generating Contrastive Explanations for Inductive Logic Programming Based on a Near Miss Approach—0
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.23—Unverified
2FOILH-Score0.15—Unverified
3Neural-LPH-Score0.1—Unverified
4NTPH-Score0.07—Unverified