AbductiveLearning/ABLkit

A `Neural = Symbolic` framework for sound and complete weighted real-value logic

Python Toolkit for Causal and Probabilistic Reasoning

PyTorch implementation of Logic Tensor Networks, a Neural-Symbolic framework.

OWL Class Expressions Learning in Python

a python framework to build, learn and reason about probabilistic circuits and tensor networks

ProbLog is a Probabilistic Logic Programming Language for logic programs with probabilities.

Pytorch Library for Relational Table Learning with LLMs.

DeepProbLog is an extension of ProbLog that integrates Probabilistic Logic Programming with deep learning by introducing the neural predicate.

A neurosymbolic perspective on LLMs