JRC1995 / Continuous-RvNN Star 11 Code Issues Pull requests Official Repository for "Modeling Hierarchical Structures with Continuous Recursive Neural Networks" (ICML 2021) logical-inference latent-structure listops structured-encoder crvnn continuous-recursive-neural-network Updated Aug 18, 2021 Python
ulf1 / bwsample Sponsor Star 6 Code Issues Pull requests Sampling algorithm for best-worst scaling sets. ranking pairwise-comparison best-worst-scaling logical-inference extracting-pairs sampling-algorithm bws-sets Updated Aug 12, 2023 Python
KamruzzamanAsif / Wumpus-World Star 1 Code Issues Pull requests A game of self observing AI agent in wumpus world game-development first-order-logic artificial-intelligence propositional-logic logical-operators ai-game logical-programming logical-inference Updated Oct 1, 2023 TypeScript
lambduli / resin Star 1 Code Issues Pull requests A toy Automated Theorem Prover for First Order Classical Logic built on Resolution. resolution first-order-logic theorem-prover classical-logic automated-theorem-proving logical-inference Updated Apr 11, 2024 Haskell