SOTAVerified

Inductive logic programming

Papers

Recently AddedMost HypedMost ActiveNeeds VerificationMost Verified

Showing 101–150 of 153 papers

TitleStatusHype
A Clustering and Demotion Based Algorithm for Inductive Learning of Default Theories—0
A Critical Review of Inductive Logic Programming Techniques for Explainable AI—0
A Divide-Align-Conquer Strategy for Program Synthesis—0
A Hybrid Neuro-Symbolic approach for Text-Based Games using Inductive Logic Programming—0
Algebraic anti-unification—0
A logic-based relational learning approach to relation extraction: The OntoILPER system—0
A Model-Oriented Approach for Lifting Symmetries in Answer Set Programming—0
An Empirical Comparison of Cost Functions in Inductive Logic Programming—0
An Inductive Logic Programming Approach to Validate Hexose Binding Biochemical Knowledge—0
An Interactive Explanatory AI System for Industrial Quality Control—0
A Unifying Framework for Learning Argumentation Semantics—0
Best-Effort Inductive Logic Programming via Fine-grained Cost-based Hypothesis Generation—0
Combining Rules and Embeddings via Neuro-Symbolic AI for Knowledge Base Completion—0
Conflict-driven Inductive Logic Programming—0
Consensus-Based Modelling using Distributed Feature Construction—0
Constraint-driven multi-task learning—0
Deep Inductive Logic Programming meets Reinforcement Learning—0
Deeply Semantic Inductive Spatio-Temporal Learning—0
Differentiable Inductive Logic Programming for Fraud Detection—0
Differentiable Logic Machines—0
Efficient predicate invention using shared "NeMuS"—0
E-Generalization Using Grammars—0
Enriching Visual with Verbal Explanations for Relational Concepts -- Combining LIME with Aleph—0
Evaluating the Apperception Engine—0
Explainable and Trustworthy Traffic Sign Detection for Safe Autonomous Driving: An Inductive Logic Programming Approach—0
Explanation as a process: user-centric construction of multi-level and multi-modal explanations—0
From Shallow to Deep Interactions Between Knowledge Representation, Reasoning and Machine Learning (Kay R. Amel group)—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
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
Increasing city safety awareness regarding disruptive traffic stream—0
Inducing game rules from varying quality game play—0
Induction and Exploitation of Subgoal Automata for Reinforcement Learning—0
Induction of Non-Monotonic Logic Programs to Explain Boosted Tree Models Using LIME—0
Induction of Non-monotonic Logic Programs To Explain Statistical Learning Models—0
Induction of Subgoal Automata for Reinforcement Learning—0
Inductive Learning of Answer Set Programs from Noisy Examples—0
Inductive Learning of Declarative Domain-Specific Heuristics for ASP—0
Inductive Learning of Logical Theories with LLMs: An Expressivity-Graded Analysis—0
Inductive Logic Boosting—0
Inductive logic programming at 30—0
Interpretable Model-based Hierarchical Reinforcement Learning using Inductive Logic Programming—0
Iterative Learning of Answer Set Programs from Context Dependent Examples—0
kLog: A Language for Logical and Relational Learning with Kernels—0
Learning Algorithms via Neural Logic Networks—0
Show:102550
← PrevPage 3 of 4Next →

Benchmark Results

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