SOTAVerified

Inductive logic programming

Papers

Recently AddedMost HypedMost ActiveNeeds VerificationMost Verified

Showing 1–50 of 153 papers

TitleStatusHype
AutoCoder: Enhancing Code Large Language Model with AIEV-InstructCode4
Learning higher-order logic programsCode1
Neuro-Symbolic Inductive Logic Programming with Logical Neural NetworksCode1
Learning programs with magic valuesCode1
Learning programs by learning from failuresCode1
Neural Logic MachinesCode1
Relational program synthesis with numerical reasoningCode1
Forgetting to learn logic programsCode1
Predicate Invention by Learning From FailuresCode1
CLUTRR: A Diagnostic Benchmark for Inductive Reasoning from TextCode1
Inductive logic programming at 30: a new introductionCode1
Playgol: learning programs through playCode1
Differentiable Inductive Logic Programming for Structured ExamplesCode1
Probabilistic Inductive Logic Programming Based on Answer Set ProgrammingCode1
Best-Effort Inductive Logic Programming via Fine-grained Cost-based Hypothesis Generation—0
Inductive Learning of Declarative Domain-Specific Heuristics for ASP—0
Inductive Learning of Logical Theories with LLMs: An Expressivity-Graded Analysis—0
A Critical Review of Inductive Logic Programming Techniques for Explainable AI—0
Induction of Subgoal Automata for Reinforcement Learning—0
Inductive Learning of Answer Set Programs from Noisy Examples—0
Inductive Logic Boosting—0
Deeply Semantic Inductive Spatio-Temporal Learning—0
Algebraic anti-unification—0
Differentiable Inductive Logic Programming for Fraud Detection—0
A Unifying Framework for Learning Argumentation Semantics—0
Differentiable Logic Machines—0
Deep Inductive Logic Programming meets Reinforcement Learning—0
A logic-based relational learning approach to relation extraction: The OntoILPER system—0
Efficient predicate invention using shared "NeMuS"—0
E-Generalization Using Grammars—0
An Interactive Explanatory AI System for Industrial Quality Control—0
Constraint-driven multi-task learning—0
An Inductive Logic Programming Approach to Validate Hexose Binding Biochemical Knowledge—0
A Hybrid Neuro-Symbolic approach for Text-Based Games using Inductive Logic Programming—0
Induction of Non-Monotonic Logic Programs to Explain Boosted Tree Models Using LIME—0
Conflict-driven Inductive Logic Programming—0
Increasing city safety awareness regarding disruptive traffic stream—0
A Divide-Align-Conquer Strategy for Program Synthesis—0
From Shallow to Deep Interactions Between Knowledge Representation, Reasoning and Machine Learning (Kay R. Amel group)—0
Consensus-Based Modelling using Distributed Feature Construction—0
Generating Contrastive Explanations for Inductive Logic Programming Based on a Near Miss Approach—0
Generation of Near-Optimal Solutions Using ILP-Guided Sampling—0
HT-HEDL: High-Throughput Hypothesis Evaluation in Description Logic—0
Human Comprehensible Active Learning of Genome-Scale Metabolic Networks—0
HySTER: A Hybrid Spatio-Temporal Event Reasoner—0
Imparo is complete by inverse subsumption—0
An Empirical Comparison of Cost Functions in Inductive Logic Programming—0
Improving Scalability of Inductive Logic Programming via Pruning and Best-Effort Optimisation—0
Incorporating Relational Background Knowledge into Reinforcement Learning via Differentiable Inductive Logic Programming—0
A Clustering and Demotion Based Algorithm for Inductive Learning of Default Theories—0
Show:102550
← PrevPage 1 of 4Next →

Benchmark Results

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