Popular GitHub Repositories for Propositional Logic

Implements the Tsetlin Machine, Convolutional Tsetlin Machine, Regression Tsetlin Machine, Weighted Tsetlin Machine, and Embedding Tsetlin Machine, with support for continuous features, multigranularity, clause indexing, and literal budget

1st Project of Course 'Knowledge Technology' of the SMARTNET programme. The assignment consists in creating a knowledge-base system with support to reasoning under uncertainty using CLIPS 6.3.

Beat the wumpus is a small artificial intelligence project based on game theory and propositional logic with a SAT solver in python

An AI for playing Minesweeper, utilizing propositional logic and knowledge-based inference to identify safe cells and mines. The AI learns from the game's state to make informed decisions.

Verifying decision tree ensembles using propositional satisfiability

? Classification of pathologies column using propositional logic satisfiability algorithms.

Knights and Knaves puzzle

In this project, an AI agent that plays Minesweeper was implemented, utilizing propositional logic to make informed decisions about which cells to click.