Alternatives and similar repositories for pyreason:

Users that are interested in pyreason are comparing it to the libraries listed below

• LukasZahradnik / PyNeuraLogic
  PyNeuraLogic lets you use Python to create Differentiable Logic Programs
  ☆291Updated this week
• ML-KULeuven / deepproblog
  DeepProbLog is an extension of ProbLog that integrates Probabilistic Logic Programming with deep learning by introducing the neural predi…
  ☆228Updated 8 months ago
• ilaspltd / ILASP-releases
  ☆37Updated 5 months ago
• tommasocarraro / LTNtorch
  PyTorch implementation of Logic Tensor Networks, a Neural-Symbolic framework.
  ☆107Updated 6 months ago
• logic-and-learning-lab / Popper
  An inductive logic programming system
  ☆221Updated 2 weeks ago
• GustikS / NeuraLogic
  Deep relational learning through differentiable logic programming.
  ☆102Updated 8 months ago
• lio-wong / dreamcoder
  ☆63Updated 3 years ago
• IBM / neuro-vector-symbolic-architectures
  PyTorch Implementation of the paper "A Neuro-vector-symbolic architecture for Solving Raven's Progressive Matrices" published in Nature M…
  ☆91Updated last year
• ML-KULeuven / problog
  ProbLog is a Probabilistic Logic Programming Language for logic programs with probabilities.
  ☆338Updated last month
• logictensornetworks / logictensornetworks
  Deep Learning and Logical Reasoning from Data and Knowledge
  ☆293Updated 5 months ago
• scallop-lang / scallop
  Framework and Language for Neurosymbolic Programming.
  ☆346Updated 3 months ago
• IBM / neuro-symbolic-ai
  Neuro-Symbolic AI Toolkit
  ☆88Updated last year
• ML-KULeuven / deepstochlog
  ☆31Updated last year
• IBM / LNN
  A `Neural = Symbolic` framework for sound and complete weighted real-value logic
  ☆256Updated last year
• cair / GraphTsetlinMachine
  Tsetlin Machine for Logical Learning and Reasoning With Graphs
  ☆39Updated this week
• genlm / llamppl
  Probabilistic programming with large language models
  ☆109Updated this week
• SWI-Prolog / packages-swipy
  Python interface for SWI-Prolog
  ☆45Updated 2 weeks ago
• spike-imperial / FastLAS
  ☆19Updated 2 months ago
• metagol / metagol
  Metagol - an inductive logic programming system
  ☆201Updated 3 years ago
• MNoorFawi / pytholog
  Python library that enables using prolog syntax and logic programming in python
  ☆121Updated 2 years ago
• neurosymbolic-learning / Neurosymbolic_Tutorial
  Python notebooks for a tutorial on neurosymbolic programming
  ☆69Updated last year
• ml-research / SLASH
  Scalable Neural-Probabilistic Answer Set Programming
  ☆17Updated 10 months ago
• logic-and-learning-lab / ilp-experiments
  Experimentation framework for Popper
  ☆22Updated 11 months ago
• google-deepmind / neural_networks_solomonoff_induction
  Learning Universal Predictors
  ☆73Updated 8 months ago
• kamel-usp / dpasp
  Differentiable probabilistic answer set programming
  ☆20Updated 5 months ago
• michaelhodel / arc-dsl
  Domain Specific Language for the Abstraction and Reasoning Corpus
  ☆252Updated 6 months ago
• probcomp / LLaMPPL
  A domain-specific probabilistic programming language for modeling and inference with language models
  ☆124Updated last year
• pylon-lib / pylon
  ☆122Updated last year
• victorvikram / ConceptARC
  Materials for ConceptARC paper
  ☆91Updated 5 months ago
• rrtucci / mappa_mundi
  Causal DAG Extraction from Text (DEFT)
  ☆66Updated 3 months ago