SOTAVerified

Inductive logic programming

Papers

Recently AddedMost HypedMost ActiveNeeds VerificationMost Verified

Showing 51–100 of 153 papers

TitleStatusHype
A Critical Review of Inductive Logic Programming Techniques for Explainable AI—0
Learning Higher-Order Programs without Meta-Interpretive Learning—0
Learning Logic Programs From Noisy Failures—0
Neuro-Symbolic Hierarchical Rule Induction—0
Lifting Symmetry Breaking Constraints with Inductive Logic ProgrammingCode0
Preprocessing in Inductive Logic Programming—0
Logical Boltzmann Machines—0
Neuro-Symbolic Inductive Logic Programming with Logical Neural NetworksCode1
Ontology-Based Skill Description Learning for Flexible Production Systems—0
A Hybrid Neuro-Symbolic approach for Text-Based Games using Inductive Logic Programming—0
Using Program Synthesis and Inductive Logic Programming to solve Bongard Problems—0
Learning Rules with Stratified Negation in Differentiable ILP.Code0
Explanation as a process: user-centric construction of multi-level and multi-modal explanations—0
On the Complexity of Inductively Learning Guarded Rules—0
A Clustering and Demotion Based Algorithm for Inductive Learning of Default Theories—0
Learning logic programs through divide, constrain, and conquerCode0
Combining Rules and Embeddings via Neuro-Symbolic AI for Knowledge Base Completion—0
Parallel Constraint-Driven Inductive Logic Programming—0
FF-NSL: Feed-Forward Neural-Symbolic LearnerCode0
Interpretable Model-based Hierarchical Reinforcement Learning using Inductive Logic Programming—0
Generating Contrastive Explanations for Inductive Logic Programming Based on a Near Miss Approach—0
Inclusion of Domain-Knowledge into GNNs using Mode-Directed Inverse EntailmentCode0
Expressive Explanations of DNNs by Combining Concept Analysis with ILPCode0
Predicate Invention by Learning From FailuresCode1
Learning Description Logic Ontologies. Five Approaches. Where Do They Stand?—0
Differentiable Inductive Logic Programming for Structured ExamplesCode1
Differentiable Logic Machines—0
Inductive logic programming at 30—0
Refinement Type Directed Search for Meta-Interpretive-Learning of Higher-Order Logic Programs—0
Learning logic programs by explaining their failures—0
HySTER: A Hybrid Spatio-Temporal Event Reasoner—0
Conflict-driven Inductive Logic Programming—0
NSL: Hybrid Interpretable Learning From Noisy Raw Data—0
Symbolic AI for XAI: Evaluating LFIT Inductive Programming for Fair and Explainable Automatic Recruitment—0
Resource Constrained Dialog Policy Learning via Differentiable Inductive Logic Programming—0
Learning Explainable Linguistic Expressions with Neural Inductive Logic Programming for Sentence Classification—0
Incorporating Symbolic Domain Knowledge into Graph Neural NetworksCode0
Proceedings 36th International Conference on Logic Programming (Technical Communications)—0
Induction and Exploitation of Subgoal Automata for Reinforcement Learning—0
Inductive logic programming at 30: a new introductionCode1
White-box Induction From SVM Models: Explainable AI with Logic Programming—0
Inducing game rules from varying quality game play—0
Evaluating the Apperception Engine—0
Learning programs by learning from failuresCode1
The ILASP system for Inductive Learning of Answer Set Programs—0
Learning large logic programs by going beyond entailment—0
Knowledge Refactoring for Inductive Program SynthesisCode0
Incorporating Relational Background Knowledge into Reinforcement Learning via Differentiable Inductive Logic Programming—0
Turning 30: New Ideas in Inductive Logic Programming—0
SMT + ILP—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