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: almost 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 | 95 |
 ejgallego/pycoq | Python bindings for Coq's interactive proof assistant | 50 |
| pasqal-io/qadence | A digital-analog quantum programming interface allowing users to build and simulate complex quantum programs. | 70 |
 lupantech/scienceqa | Develops a framework for multimodal reasoning and question answering in science and other domains using natural language processing and machine learning techniques. | 606 |
 roddyyaga/ppx_rapper | A syntax extension for writing SQL queries in OCaml with type inference and syntax checking. | 137 |
 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 | 644 |
 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 | 52 |
 jvalegre/aqme | Automated workflows for quantum mechanical environments using Python. | 99 |
| rigetti/pyquil | A Python library for programming quantum computers using the Quil instruction language. | 1,410 |
| 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 |