Inductive logic programming

43 papers with code • 1 benchmarks • 2 datasets

This task has no description! Would you like to contribute one?

Libraries

Use these libraries to find Inductive logic programming models and implementations

Most implemented papers

Probabilistic Inductive Logic Programming Based on Answer Set Programming

MatthiasNickles/diff-SAT 4 May 2014

We propose a new formal language for the expressive representation of probabilistic knowledge based on Answer Set Programming (ASP).

Online Learning of Event Definitions

nkatzz/OLED 30 Jul 2016

The Event Calculus is a temporal logic that has been used as a basis in event recognition applications, providing among others, direct connections to machine learning, via Inductive Logic Programming (ILP).

Distributed Online Learning of Event Definitions

nkatzz/OLED 5 May 2017

Logic-based event recognition systems infer occurrences of events in time using a set of event definitions in the form of first-order rules.

Playgol: learning programs through play

metagol/metagol 18 Apr 2019

In this approach, a program induction system (the learner) is given a set of tasks and initial background knowledge.

Neural Logic Reinforcement Learning

ZhengyaoJiang/NLRL 24 Apr 2019

Deep reinforcement learning (DRL) has achieved significant breakthroughs in various tasks.

Induction of Non-Monotonic Rules From Statistical Learning Models Using High-Utility Itemset Mining

fxs130430/SHAP_FOLD 24 May 2019

We present a fast and scalable algorithm to induce non-monotonic logic programs from statistical learning models.

Inductive Logic Programming via Differentiable Deep Neural Logic Networks

apayani/ILP 8 Jun 2019

In particular, we show that our proposed method outperforms the state of the art ILP solvers in classification tasks for Mutagenesis, Cora and IMDB datasets.

Towards meta-interpretive learning of programming language semantics

barthasanyi/metagol_PLS 20 Jul 2019

We introduce a new application for inductive logic programming: learning the semantics of programming languages from example evaluations.

RuDaS: Synthetic Datasets for Rule Learning and Evaluation Tools

IBM/RuDaS 16 Sep 2019

Logical rules are a popular knowledge representation language in many domains, representing background knowledge and encoding information that can be derived from given facts in a compact form.