SOTAVerified

Inductive logic programming

Papers

Recently AddedMost HypedMost ActiveNeeds VerificationMost Verified

Showing 51–100 of 153 papers

TitleStatusHype
Constraint-driven multi-task learning—0
Differentiable Inductive Logic Programming in High-Dimensional SpaceCode0
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
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
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
Learning Description Logic Ontologies. Five Approaches. Where Do They Stand?—0
Differentiable Logic Machines—0
Inductive logic programming at 30—0
Learning logic programs by explaining their failures—0
Refinement Type Directed Search for Meta-Interpretive-Learning of Higher-Order Logic Programs—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
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
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