SOTAVerified

Inductive logic programming

Papers

Recently AddedMost HypedMost ActiveNeeds VerificationMost Verified

Showing 51–100 of 153 papers

TitleStatusHype
Incorporating Symbolic Domain Knowledge into Graph Neural NetworksCode0
Learning big logical rules by joining small rulesCode0
Expressive Explanations of DNNs by Combining Concept Analysis with ILPCode0
Incremental and Iterative Learning of Answer Set Programs from Mutually Distinct ExamplesCode0
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
Learning Logic Specifications for Policy Guidance in POMDPs: an Inductive Logic Programming Approach—0
Learning Probabilistic Logic Programs in Continuous Domains—0
Learning Symbolic Persistent Macro-Actions for POMDP Solving Over Time—0
Learning Weak Constraints in Answer Set Programming—0
LLM-Augmented Symbolic Reinforcement Learning with Landmark-Based Task Decomposition—0
LLMs for Relational Reasoning: How Far are We?—0
Logical Boltzmann Machines—0
Logical Explanations for Deep Relational Machines Using Relevance Information—0
Logical reduction of metarules—0
Maximal Closed Set and Half-Space Separations in Finite Closure Systems—0
Neuro-Symbolic Contrastive Learning for Cross-domain Inference—0
Neuro-symbolic EDA-based Optimisation using ILP-enhanced DBNs—0
Neuro-Symbolic Hierarchical Rule Induction—0
Neurosymbolic Methods for Rule Mining—0
Neuro-symbolic Weak Supervision: Theory and Semantics—0
NSL: Hybrid Interpretable Learning From Noisy Raw Data—0
One-Shot Induction of Generalized Logical Concepts via Human Guidance—0
Online inductive learning from answer sets for efficient reinforcement learning exploration—0
On the Complexity of Inductively Learning Guarded Rules—0
Ontology-Based Skill Description Learning for Flexible Production Systems—0
Parallel Constraint-Driven Inductive Logic Programming—0
Post-Proceedings of the First International Workshop on Learning and Nonmonotonic Reasoning—0
PrASP Report—0
Preprocessing in Inductive Logic Programming—0
Proceedings 35th International Conference on Logic Programming (Technical Communications)—0
Proceedings 36th International Conference on Logic Programming (Technical Communications)—0
Proceedings 40th International Conference on Logic Programming—0
Program Synthesis using Inductive Logic Programming for the Abstraction and Reasoning Corpus—0
Refinement Type Directed Search for Meta-Interpretive-Learning of Higher-Order Logic Programs—0
REMI: Mining Intuitive Referring Expressions on Knowledge Bases—0
Resource Constrained Dialog Policy Learning via Differentiable Inductive Logic Programming—0
SkILL - a Stochastic Inductive Logic Learner—0
SMT + ILP—0
Symbolic AI for XAI: Evaluating LFIT Inductive Programming for Fair and Explainable Automatic Recruitment—0
Symbolic Imitation Learning: From Black-Box to Explainable Driving Policies—0
The ILASP system for Inductive Learning of Answer Set Programs—0
Towards Probabilistic Inductive Logic Programming with Neurosymbolic Inference and Relaxation—0
Turning 30: New Ideas in Inductive Logic Programming—0
Using Program Synthesis and Inductive Logic Programming to solve Bongard Problems—0
White-box Induction From SVM Models: Explainable AI with Logic Programming—0
"Would life be more interesting if I were in AI?" Answering Counterfactuals based on Probabilistic Inductive Logic Programming—0
Show:102550
← PrevPage 2 of 4Next →

Benchmark Results

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