SOTAVerified

Inductive logic programming

Papers

Showing 7180 of 153 papers

TitleStatusHype
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
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
Show:102550
← PrevPage 8 of 16Next →

Benchmark Results

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