logic-and-learning-lab/Popper

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

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

OWL Class Expressions Learning in Python

An efficient Python toolkit for Abductive Learning (ABL), a novel paradigm that integrates machine learning and logical reasoning in a unified framework.

Synthesized Logic Language for World Models 🌱🐋🌍

An explainable inference software supporting annotated, real valued, graph based and temporal logic

The goal is to help studying logic and solvers by providing easy-to-use, pure browser-based javascript tools for both full classical predicate logic and propositional formulas.

OntoLearner: A Modular Python Library for Ontology Learning with LLMs https://pypi.org/project/OntoLearner/

Deep relational learning through differentiable logic programming.