SOTAVerified

Inductive logic programming

Papers

Recently AddedMost HypedMost ActiveNeeds VerificationMost Verified

Showing 101–125 of 153 papers

TitleStatusHype
Inductive logic programming at 30—0
Interpretable Model-based Hierarchical Reinforcement Learning using Inductive Logic Programming—0
Iterative Learning of Answer Set Programs from Context Dependent Examples—0
kLog: A Language for Logical and Relational Learning with Kernels—0
Learning Algorithms via Neural Logic Networks—0
Learning Description Logic Ontologies. Five Approaches. Where Do They Stand?—0
Learning Explainable Linguistic Expressions with Neural Inductive Logic Programming for Sentence Classification—0
Learning First-Order Rules with Differentiable Logic Program Semantics—0
Learning Higher-Order Programs without Meta-Interpretive Learning—0
Learning large logic programs by going beyond entailment—0
Learning logic programs by explaining their failures—0
Learning logic programs by finding minimal unsatisfiable subprograms—0
Learning Logic Programs From Noisy Failures—0
Incorporating Symbolic Domain Knowledge into Graph Neural NetworksCode0
Learning MDL logic programs from noisy dataCode0
Incremental and Iterative Learning of Answer Set Programs from Mutually Distinct ExamplesCode0
Incremental Learning of Event Definitions with Inductive Logic ProgrammingCode0
Differentiable Inductive Logic Programming in High-Dimensional SpaceCode0
Learning logic programs by combining programsCode0
FF-NSL: Feed-Forward Neural-Symbolic LearnerCode0
Expressive Explanations of DNNs by Combining Concept Analysis with ILPCode0
Induction of Non-Monotonic Rules From Statistical Learning Models Using High-Utility Itemset MiningCode0
Learning Robust Reward Machines from Noisy LabelsCode0
Inductive general game playingCode0
Learning Rules Explaining Interactive Theorem Proving Tactic PredictionCode0
Show:102550
← PrevPage 5 of 7Next →

Benchmark Results

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