logic-and-learning-lab/Popper

An inductive logic programming system

Language: Python - Size: 22 MB - Last synced: 15 days ago - Pushed: 15 days ago - Stars: 175 - Forks: 28

abeer-dyoub/EthicalEvalMAS

A MAS system for ethical monitoring and evaluation of dialog systems

Language: Prolog - Size: 78.1 KB - Last synced: about 1 month ago - Pushed: over 2 years ago - Stars: 2 - Forks: 0

danyvarghese/PyGol

A novel Inductive Logic Programming(ILP) system based on Meta Inverse Entailment in Python.

Language: C - Size: 5.72 MB - Last synced: about 2 months ago - Pushed: about 2 months ago - Stars: 10 - Forks: 2

ertsiger/induction-subgoal-automata-rl

Code for the papers "Induction of Subgoal Automata for Reinforcement Learning" (AAAI-20) and "Induction and Exploitation of Subgoal Automata for Reinforcement Learning" (JAIR).

Language: Python - Size: 102 KB - Last synced: 2 months ago - Pushed: 10 months ago - Stars: 8 - Forks: 7

celinehocquette/numsynth-aaai23

C. Hocquette and A. Cropper, Relational program synthesis with numerical reasoning, AAAI23.

Language: Prolog - Size: 85.5 MB - Last synced: 2 months ago - Pushed: over 1 year ago - Stars: 12 - Forks: 0

celinehocquette/aaai24-maxsynth

C. Hocquette, A. Niskanen, M Järvisalo, and Andrew Cropper, Learning MDL Logic Programs From Noisy Data, AAAI24.

Language: Prolog - Size: 172 MB - Last synced: 2 months ago - Pushed: 3 months ago - Stars: 1 - Forks: 0

jetnew/symbolic-function-approximator

Symbolic function approximator aims to generate a function using a genetic algorithm to approximate a data distribution using the symbolic paradigm with programming logic.

Language: Python - Size: 15.6 KB - Last synced: 26 days ago - Pushed: over 4 years ago - Stars: 7 - Forks: 1

friguzzi/cplint

cplint is a suite of programs for reasoning with probabilistic logic programs

Language: Prolog - Size: 36.9 MB - Last synced: 3 months ago - Pushed: 4 months ago - Stars: 63 - Forks: 13

921kiyo/symbolic-rl

Symbolic Reinforcement Learning using Inductive Logic Programming

Language: Lasso - Size: 78.2 MB - Last synced: 27 days ago - Pushed: over 1 year ago - Stars: 59 - Forks: 10

FLHonker/Awesome-Neural-Logic

Awesome Neural Logic and Causality: MLN, NLRL, NLM, etc. 因果推断，神经逻辑，强人工智能逻辑推理前沿领域。

Size: 2.41 MB - Last synced: about 1 month ago - Pushed: over 3 years ago - Stars: 127 - Forks: 19

mmsaki/certora-tool

Formal verifiaction personal notes

Size: 1.29 MB - Last synced: 6 months ago - Pushed: 6 months ago - Stars: 0 - Forks: 0

celinehocquette/magicpopper

C. Hocquette and A. Cropper, Learning programs with magic values.

Language: Prolog - Size: 1.16 GB - Last synced: 2 months ago - Pushed: over 1 year ago - Stars: 17 - Forks: 1

joschout/tilde

Top-down induction of first-order logical decision trees: master AI thesis implementation

Language: Python - Size: 4.66 MB - Last synced: 7 months ago - Pushed: over 3 years ago - Stars: 22 - Forks: 6

bhavul/Combining-ILP-and-Maximum-Entropy

This repo contains my undergraduate thesis work where I tried to combine ILP with MaxEnt.

Size: 635 KB - Last synced: 10 months ago - Pushed: over 6 years ago - Stars: 2 - Forks: 0

ademkikaj/AutoRFE

A code base for Automated Relational Feature Engineering

Language: Python - Size: 2.35 MB - Last synced: 10 months ago - Pushed: about 1 year ago - Stars: 0 - Forks: 0

friguzzi/bddem

bddem is a SWI-Prolog pack for using Binary Decision Diagrams

Language: C - Size: 8.47 MB - Last synced: 6 months ago - Pushed: 6 months ago - Stars: 9 - Forks: 2

AbhijeetKrishnan/interpretable-chess-tactics Fork of logic-and-learning-lab/Popper

A system to learn first-order logic based chess tactics from human gameplay data using inductive logic programming.

Language: Prolog - Size: 38.9 MB - Last synced: 10 months ago - Pushed: 10 months ago - Stars: 0 - Forks: 0

ilaspltd/ILASP-releases

Size: 1.95 KB - Last synced: 11 months ago - Pushed: 11 months ago - Stars: 26 - Forks: 0

tirtharajdash/BotGNN

BotGNN: Inclusion of Domain-Knowledge into GNNs using Mode-Directed Inverse Entailment

Language: Python - Size: 402 MB - Last synced: about 1 year ago - Pushed: about 1 year ago - Stars: 7 - Forks: 0

srlearn/relational-datasets

Python package for fetching and using srlearn-compatible relational datasets.

Language: Python - Size: 2.28 MB - Last synced: 25 days ago - Pushed: over 1 year ago - Stars: 4 - Forks: 2

fxs130430/SHAP_FOLD

(Explainable AI) - Learning Non-Monotonic Logic Programs From Statistical Models Using High-Utility Itemset Mining

Language: Prolog - Size: 7.31 MB - Last synced: about 1 year ago - Pushed: about 4 years ago - Stars: 34 - Forks: 8

joschout/LazyBum

Source code related to the ILP 2019 paper 'LazyBum: Decision tree learning using lazy propositionalization'

Language: Java - Size: 247 KB - Last synced: about 1 year ago - Pushed: over 3 years ago - Stars: 7 - Forks: 0

DanieleF198/ILASP-as-post-hoc-method-in-a-preference-system

Project about experiments of the use of ILASP as a post-hoc method over black-box models, in which we also study and approach technical issues like exponential time execution.

Size: 305 MB - Last synced: 5 months ago - Pushed: 5 months ago - Stars: 0 - Forks: 0

joschout/RelationalDatasets

A largely incomplete but hopefully useful list of links to datasets for relational learning and inductive logic programming. No guarantees on availability.

Size: 2.93 KB - Last synced: about 1 year ago - Pushed: over 4 years ago - Stars: 19 - Forks: 3

PythonUser-ux/Vox-Codei

Me and another student at Unibo developed a solution entirely written in Prolog to the game proposed in the following website: https://www.codingame.com/training/hard/vox-codei-episode-1. The report.pdf stands in for the README file.

Language: Prolog - Size: 112 KB - Last synced: about 1 year ago - Pushed: almost 2 years ago - Stars: 0 - Forks: 0

UCLA-SEAL/ALICE

Active Inductive Logic Programming for Code Search (ICSE 2019)

Language: Java - Size: 106 KB - Last synced: about 1 year ago - Pushed: over 2 years ago - Stars: 1 - Forks: 0

prosysscience/Symmetry_Breaking_with_ILP

Exploit ILP to learn symmetry breaking constraints of ASP programs.

Language: Python - Size: 96.3 MB - Last synced: about 1 year ago - Pushed: about 1 year ago - Stars: 1 - Forks: 0

tirtharajdash/VEGNN

Vertex-Enriched Graph Neural Network (VEGNN)

Language: Jupyter Notebook - Size: 296 MB - Last synced: about 1 year ago - Pushed: almost 3 years ago - Stars: 5 - Forks: 0

srlearn/RelationalDatasets.jl

Julia package for fetching and using srlearn-compatible relational datasets.

Language: Julia - Size: 233 KB - Last synced: 19 days ago - Pushed: over 1 year ago - Stars: 2 - Forks: 0

srlearn/datasets Fork of boost-starai/BoostSRL-Misc

srlearn-compatible relational datasets

Language: Shell - Size: 29.5 MB - Last synced: about 1 year ago - Pushed: over 1 year ago - Stars: 2 - Forks: 0

srlearn/linter

A grammar and linter for ILP datasets.

Language: Go - Size: 668 KB - Last synced: 10 months ago - Pushed: almost 3 years ago - Stars: 1 - Forks: 0