SOTAVerified

Inductive logic programming

Papers

Showing 4150 of 153 papers

TitleStatusHype
Learning programs with magic valuesCode1
A Model-Oriented Approach for Lifting Symmetries in Answer Set Programming0
Temporal Inductive Logic Reasoning over HypergraphsCode0
Learning logic programs by combining programsCode0
Composition of Relational Features with an Application to Explaining Black-Box PredictorsCode0
Explanatory machine learning for sequential human teachingCode0
Efficient lifting of symmetry breaking constraints for complex combinatorial problemsCode0
Learning First-Order Rules with Differentiable Logic Program Semantics0
An Interactive Explanatory AI System for Industrial Quality Control0
Learning logic programs by discovering where not to searchCode0
Show:102550
← PrevPage 5 of 16Next →

Benchmark Results

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