This is the repository for our CSC-490 project at UNCG in the Spring 2021 semester.

A Theorem Prover for Propositional Logic

A simple theorem prover made for a university programming assignment

In this bachelor thesis, I developed a toolkit for automated reasoning and interpolation with ordered resolution.

Propositional logic compiler

Propositional statement validity check or also check statement is true at least once or not.

This Project shows an understanding of Propositional Logic, Conjunctive Normal Form, and The Resolution Refutation Method.

Propositional logic SAT solver for deterministic/stochastic expressions using Neo4J graph database & machine learning system optimization

OpenPAS consists of a library, a script runtime, and an interactive console that is capable of probabilistic argumentation and propositional logic operations. OpenPAS contains a full implementation of Probabilistic Argumentation Systems (PAS) which is a framework that is a combination of propositional logic and probability theory.

Supplementing a Bayesian Network with classical and defeasible inference logical statements.

Implementation and Evaluation of KLM-Style Defeasible Entailment and Explanation Algorithms - A project of the University of Cape Town

Automatically checks whether a given propositional formula is satisfiable.

A resolver for propositional logic schemata/well-formed formulas using Quine’s method of truth value analysis.

COMP305 (Biocomputation) group project at the University of Liverpool. Converts a string of propositional logic to a McCulloch-Pitts network.

ACO494: Foundations of Artificial Intelligence Project #1

Export conclusions with resolution (resolution) / conclusions with forward chaining for (definite) Horn clauses of propositional logic

A better sat-solver than my previous String-based sat-solver

Theorem Prover for Propositional Logic using the truth table method for formulas in Conjuntive Normal Form.

Research code to find similarity and local/constructive symmetries of clausal propositions or graph isomophisms