Topic: "logical-inference"
JRC1995/Continuous-RvNN
Official Repository for "Modeling Hierarchical Structures with Continuous Recursive Neural Networks" (ICML 2021)
Language: Python - Size: 262 KB - Last synced at: about 2 years ago - Pushed at: almost 4 years ago - Stars: 10 - Forks: 1
ulf1/bwsample
Sampling algorithm for best-worst scaling sets.
Language: Python - Size: 412 KB - Last synced at: 2 days ago - Pushed at: almost 2 years ago - Stars: 7 - Forks: 1
lambduli/resin
A toy Automated Theorem Prover for First Order Classical Logic built on Resolution.
Language: Haskell - Size: 264 KB - Last synced at: about 1 year ago - Pushed at: about 1 year ago - Stars: 1 - Forks: 0
d1mavares/Knights-Knaves
Program that solves Raymond Smullyan's “Knights and Knaves” logic puzzles. It uses logical inference rules and the puzzle's conditions as a knowledge base.
Language: Python - Size: 9.77 KB - Last synced at: 7 months ago - Pushed at: 7 months ago - Stars: 0 - Forks: 0
sigpwned/horn4j
A simple library for performing logical reasoning with Horn clauses for Java 11+
Language: Java - Size: 60.5 KB - Last synced at: 8 months ago - Pushed at: 8 months ago - Stars: 0 - Forks: 0
