pypi.org "propositional-logic" keyword
View the packages on the pypi.org package registry that are tagged with the "propositional-logic" keyword.
mathesis 0.5.3
Formal logic library in Python for humans11 versions - Latest release: 9 months ago - 540 downloads last month - 5 stars on GitHub - 1 maintainer
pythogic 0.2.9
Python package for deal with logical formulas and formal systems12 versions - Latest release: about 7 years ago - 1 dependent repositories - 397 downloads last month - 5 stars on GitHub - 1 maintainer
flloat 0.3.0
A Python implementation of the FLLOAT library.20 versions - Latest release: about 5 years ago - 8 dependent repositories - 648 downloads last month - 22 stars on GitHub - 1 maintainer
pytsetlinmachinecuda 0.1.9
Massively Parallel and Asynchronous Architecture for Logic-based AI.9 versions - Latest release: almost 4 years ago - 1 dependent repositories - 329 downloads last month - 41 stars on GitHub - 1 maintainer
pytsetlinmachineparallel 0.2.1
Multi-threaded implementation of the Tsetlin Machine, Convolutional Tsetlin Machine, Regression T...10 versions - Latest release: over 3 years ago - 1 dependent repositories - 200 downloads last month - 41 stars on GitHub - 1 maintainer
tmu 0.8.3
Your project description39 versions - Latest release: about 1 year ago - 1 dependent repositories - 1.35 thousand downloads last month - 108 stars on GitHub - 1 maintainer
pytsetlinmachine 0.6.6
Implements the Tsetlin Machine, Embedding Tsetlin Machine, Convolutional Tsetlin Machine, Regress...31 versions - Latest release: about 1 year ago - 1 dependent repositories - 612 downloads last month - 135 stars on GitHub - 1 maintainer
graphtsetlinmachine 0.3.3
Graph Tsetlin Machine13 versions - Latest release: 18 days ago - 210 downloads last month - 0 stars on GitHub - 1 maintainer
tsetlinmachinecuda 0.1.9
Massively Parallel and Asynchronous Architecture for Logic-based AI.2 versions - Latest release: almost 4 years ago - 1 dependent repositories - 35 downloads last month - 0 stars on GitHub - 1 maintainer
tmu2 0.6.1
Implements the Tsetlin Machine, Coalesced Tsetlin Machine, Convolutional Tsetlin Machine, Regress...10 versions - Latest release: over 2 years ago - 57 downloads last month - 9 stars on GitHub
Related Keywords
convolution
7
regression
7
tsetlin-machine
7
pattern-recognition
7
classification
5
rule-based-machine-learning
5
interpretable-machine-learning
5
machine-learning
5
cuda
5
gpu
3
multi-layer
3
logic
3
ldlf
2
linear-temporal-logic
2
bandit-learning
2
ltlf
2
frequent-pattern-mining
2
relational-logic
2
multi-output
2
rule-based
2
first-order-logic
2
formal-logic
2
logic-based-artificial-intelligence
1
absorbing-states
1
autoencoder
1
incremental
1
incremental-computation
1
sparse
1
embedding
1
interpretable
1
graph
1
learning-automata
1
semantics
1
proof
1
philosophy
1
mathematical-logic
1
philosophical-logic
1
prover
1
pythogic
1
formal-languages
1
automata
1
flloat
1
ltl
1
logic-formalisms
1
formal-methods
1