PSLQA
Reasoning engine
An implementation of a Probabilistic Soft Logic Engine with Python and Gurobi optimization for knowledge representation and reasoning.
An implementation of Probabilistic Soft Logic Engine using Python/Gurobi
56 stars
7 watching
5 forks
Language: Python
last commit: about 6 years ago conceptnetgurobipsl-enginereasoningword2vec
Related projects:
| Repository | Description | Stars |
|---|---|---|
 pasqal-io/pyqtorch | A PyTorch-based simulator for quantum machine learning | 45 |
 rigetti/quantumflow | A toolkit for developing and optimizing quantum algorithms using Python | 96 |
 ejgallego/pycoq | Python bindings for Coq's interactive proof assistant | 50 |
| pasqal-io/qadence | A package for building and simulating digital-analog quantum programs with tunable qubit interactions | 72 |
 lupantech/scienceqa | A dataset and software framework for building multimodal reasoning systems to answer science questions. | 615 |
 roddyyaga/ppx_rapper | A syntax extension for writing SQL queries in OCaml with type inference and syntax checking. | 138 |
 provablehq/sdk | A toolkit for building and executing zero-knowledge transactions in web applications. | 593 |
 deel-ai/xplique | An Explainable AI toolbox that provides various methods and tools to understand and interpret the behavior of neural networks | 654 |
 ohadlev77/sat-circuits-engine | A Python package for generating and executing quantum circuits for solving satisfiability problems using Grover's algorithm | 7 |
 pku-dair/mindware | An efficient AutoML system that automates the machine learning lifecycle | 53 |
 jvalegre/aqme | Automated workflows for quantum mechanical environments using Python. | 100 |
| rigetti/pyquil | A Python library for programming quantum computers using the Quil instruction language. | 1,421 |
| pasqal-io/horqrux | A JAX-based simulator for quantum states and machine learning | 24 |
 pouyamghari/pof-mkl | An implementation of an online federated learning algorithm with multiple kernels for personalized machine learning | 0 |
 coq-community/alea | A library for reasoning about randomized algorithms in Coq | 25 |