SOTAVerified

Inductive logic programming

Papers

Recently AddedMost HypedMost ActiveNeeds VerificationMost Verified

Showing 1–50 of 153 papers

TitleStatusHype
Learning Symbolic Persistent Macro-Actions for POMDP Solving Over Time—0
Neuro-symbolic Weak Supervision: Theory and Semantics—0
An Empirical Comparison of Cost Functions in Inductive Logic Programming—0
Neuro-Symbolic Contrastive Learning for Cross-domain Inference—0
Proceedings 40th International Conference on Logic Programming—0
Inductive Learning of Robot Task Knowledge from Raw Data and Online Expert FeedbackCode0
Online inductive learning from answer sets for efficient reinforcement learning exploration—0
HT-HEDL: High-Throughput Hypothesis Evaluation in Description Logic—0
Learning Rules Explaining Interactive Theorem Proving Tactic PredictionCode0
Differentiable Inductive Logic Programming for Fraud Detection—0
LLM-Augmented Symbolic Reinforcement Learning with Landmark-Based Task Decomposition—0
Learning Robust Reward Machines from Noisy LabelsCode0
Relational decomposition for program synthesisCode0
Towards Probabilistic Inductive Logic Programming with Neurosymbolic Inference and Relaxation—0
Inductive Learning of Logical Theories with LLMs: An Expressivity-Graded Analysis—0
Neurosymbolic Methods for Rule Mining—0
Algebraic anti-unification—0
AutoCoder: Enhancing Code Large Language Model with AIEV-InstructCode4
Program Synthesis using Inductive Logic Programming for the Abstraction and Reasoning Corpus—0
Learning Logic Specifications for Policy Guidance in POMDPs: an Inductive Logic Programming Approach—0
Learning logic programs by finding minimal unsatisfiable subprograms—0
Learning big logical rules by joining small rulesCode0
LLMs for Relational Reasoning: How Far are We?—0
A Unifying Framework for Learning Argumentation Semantics—0
Symbolic Imitation Learning: From Black-Box to Explainable Driving Policies—0
Explainable and Trustworthy Traffic Sign Detection for Safe Autonomous Driving: An Inductive Logic Programming Approach—0
Inductive Learning of Declarative Domain-Specific Heuristics for ASP—0
Towards One-Shot Learning for Text Classification using Inductive Logic ProgrammingCode0
"Would life be more interesting if I were in AI?" Answering Counterfactuals based on Probabilistic Inductive Logic Programming—0
Deep Inductive Logic Programming meets Reinforcement Learning—0
Human Comprehensible Active Learning of Genome-Scale Metabolic Networks—0
Learning MDL logic programs from noisy dataCode0
Learning logic programs by discovering higher-order abstractionsCode0
Learning Logic Specifications for Soft Policy Guidance in POMCPCode0
Generalisation Through Negation and Predicate InventionCode0
A Divide-Align-Conquer Strategy for Program Synthesis—0
A Model for Intelligible Interaction Between Agents That Predict and ExplainCode0
Relational program synthesis with numerical reasoningCode1
Constraint-driven multi-task learning—0
Differentiable Inductive Logic Programming in High-Dimensional SpaceCode0
Learning programs with magic valuesCode1
A Model-Oriented Approach for Lifting Symmetries in Answer Set Programming—0
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 Semantics—0
An Interactive Explanatory AI System for Industrial Quality Control—0
Learning logic programs by discovering where not to searchCode0
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