Official Repository for "Modeling Hierarchical Structures with Continuous Recursive Neural Networks" (ICML 2021)
Sampling algorithm for best-worst scaling sets.
A game of self observing AI agent in wumpus world
AI logic puzzle solver using propositional logic, knowledge representation, and model checking in Python.
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.
A simple library for performing logical reasoning with Horn clauses for Java 11+
Add a description, image, and links to the logical-inference topic page so that developers can more easily learn about it.
To associate your repository with the logical-inference topic, visit your repo's landing page and select "manage topics."