{"id":15946444,"url":"https://github.com/hemile/probabilistic-real-logic","last_synced_at":"2025-04-06T12:40:51.548Z","repository":{"id":40623470,"uuid":"123491092","full_name":"HEmile/Probabilistic-Real-Logic","owner":"HEmile","description":null,"archived":false,"fork":false,"pushed_at":"2018-04-13T08:24:35.000Z","size":13765,"stargazers_count":4,"open_issues_count":0,"forks_count":0,"subscribers_count":2,"default_branch":"master","last_synced_at":"2025-02-12T18:25:14.472Z","etag":null,"topics":[],"latest_commit_sha":null,"homepage":null,"language":"Python","has_issues":true,"has_wiki":null,"has_pages":null,"mirror_url":null,"source_name":null,"license":null,"status":null,"scm":"git","pull_requests_enabled":true,"icon_url":"https://github.com/HEmile.png","metadata":{"files":{"readme":"README.md","changelog":null,"contributing":null,"funding":null,"license":null,"code_of_conduct":null,"threat_model":null,"audit":null,"citation":null,"codeowners":null,"security":null,"support":null}},"created_at":"2018-03-01T20:53:06.000Z","updated_at":"2022-06-27T05:48:35.000Z","dependencies_parsed_at":"2022-09-23T18:51:04.813Z","dependency_job_id":null,"html_url":"https://github.com/HEmile/Probabilistic-Real-Logic","commit_stats":null,"previous_names":[],"tags_count":0,"template":false,"template_full_name":null,"repository_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/HEmile%2FProbabilistic-Real-Logic","tags_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/HEmile%2FProbabilistic-Real-Logic/tags","releases_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/HEmile%2FProbabilistic-Real-Logic/releases","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/HEmile%2FProbabilistic-Real-Logic/manifests","owner_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/HEmile","download_url":"https://codeload.github.com/HEmile/Probabilistic-Real-Logic/tar.gz/refs/heads/master","host":{"name":"GitHub","url":"https://github.com","kind":"github","repositories_count":247485284,"owners_count":20946397,"icon_url":"https://github.com/github.png","version":null,"created_at":"2022-05-30T11:31:42.601Z","updated_at":"2022-07-04T15:15:14.044Z","host_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub","repositories_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories","repository_names_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repository_names","owners_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners"}},"keywords":[],"created_at":"2024-10-07T09:21:53.294Z","updated_at":"2025-04-06T12:40:51.514Z","avatar_url":"https://github.com/HEmile.png","language":"Python","funding_links":[],"categories":[],"sub_categories":[],"readme":"# PROBABILISTIC REAL LOGIC\n\n- This repository contains the implementation of PRL. The code is adapted from https://gitlab.fbk.eu/donadello/LTN_IJCAI17 which implemented the paper *Learning and Reasoning in Logic Tensor Networks: Theory and Application for Semantic Image Interpretation* by Serafini Luciano, Donadello Ivan, d'Avila Garcez Artur.\n- This code implements the paper *Semi-supervised Classification using Differentiable Reasoning* by Emile van Krieken.\n- The code is written using Python 3.6 and Tensorflow 1.3.0, though it should work with newer versions.\n- This repository is missing the data. You can download it from https://www.dropbox.com/sh/502aq9u537lrmbv/AAAy00eEtQkIIK5Ytt3Bc2Iha/code/data?dl=0 and then extract it to the `code` folder.\n\n\n## How to train\n\n```sh\n$ python train.py\n```\n- `code/config.py` contains the parameters and experimental setup, see that file for more information. Multiple models can be trained simultaneously. \n- During training, summaries are written to the `code/logging` folder. From that folder, run ```tensorboard --logdir .``` to follow the progress.\n- After training, the models are written to `code/models`.\n\n","project_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fhemile%2Fprobabilistic-real-logic","html_url":"https://awesome.ecosyste.ms/projects/github.com%2Fhemile%2Fprobabilistic-real-logic","lists_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fhemile%2Fprobabilistic-real-logic/lists"}