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

A simple library for performing logical reasoning with Horn clauses for Java 11+

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.