SOTAVerified

Inductive logic programming

Papers

Showing 2650 of 153 papers

TitleStatusHype
Explainable and Trustworthy Traffic Sign Detection for Safe Autonomous Driving: An Inductive Logic Programming Approach0
Inductive Learning of Declarative Domain-Specific Heuristics for ASP0
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 Programming0
Deep Inductive Logic Programming meets Reinforcement Learning0
Human Comprehensible Active Learning of Genome-Scale Metabolic Networks0
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 Synthesis0
A Model for Intelligible Interaction Between Agents That Predict and ExplainCode0
Relational program synthesis with numerical reasoningCode1
Constraint-driven multi-task learning0
Differentiable Inductive Logic Programming in High-Dimensional SpaceCode0
Learning programs with magic valuesCode1
A Model-Oriented Approach for Lifting Symmetries in Answer Set Programming0
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 Semantics0
An Interactive Explanatory AI System for Industrial Quality Control0
Learning logic programs by discovering where not to searchCode0
Show:102550
← PrevPage 2 of 7Next →

Benchmark Results

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