SOTAVerified

Inductive logic programming

Papers

Recently AddedMost HypedMost ActiveNeeds VerificationMost Verified

Showing 51–75 of 153 papers

TitleStatusHype
Lifting Symmetry Breaking Constraints with Inductive Logic ProgrammingCode0
Incremental and Iterative Learning of Answer Set Programs from Mutually Distinct ExamplesCode0
Learning big logical rules by joining small rulesCode0
Learning Logic Specifications for Soft Policy Guidance in POMCPCode0
E-Generalization Using Grammars—0
Induction of Subgoal Automata for Reinforcement Learning—0
Efficient predicate invention using shared "NeMuS"—0
Best-Effort Inductive Logic Programming via Fine-grained Cost-based Hypothesis Generation—0
Induction of Non-monotonic Logic Programs To Explain Statistical Learning Models—0
Induction of Non-Monotonic Logic Programs to Explain Boosted Tree Models Using LIME—0
Inductive Learning of Answer Set Programs from Noisy Examples—0
Inductive Learning of Declarative Domain-Specific Heuristics for ASP—0
Induction and Exploitation of Subgoal Automata for Reinforcement Learning—0
A logic-based relational learning approach to relation extraction: The OntoILPER system—0
Inducing game rules from varying quality game play—0
Differentiable Logic Machines—0
Increasing city safety awareness regarding disruptive traffic stream—0
A Unifying Framework for Learning Argumentation Semantics—0
Incorporating Relational Background Knowledge into Reinforcement Learning via Differentiable Inductive Logic Programming—0
Improving Scalability of Inductive Logic Programming via Pruning and Best-Effort Optimisation—0
Differentiable Inductive Logic Programming for Fraud Detection—0
Algebraic anti-unification—0
A Critical Review of Inductive Logic Programming Techniques for Explainable AI—0
Imparo is complete by inverse subsumption—0
HySTER: A Hybrid Spatio-Temporal Event Reasoner—0
Show:102550
← PrevPage 3 of 7Next →

Benchmark Results

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