formal-logic

PheKnowLator: Heterogeneous Biomedical Knowledge Graphs and Benchmarks Constructed Under Alternative Semantic Models

The Principia Rewrite

Infinite Games on graph & Logic-based controller Synthesis (IGLSynth)

➡️Formal logic deduction based on system-L

A Python package for deal with logical formulas and formal systems (e.g. FOL)

Kripke semantics

🐝 LaTeX style for Linear Style Natural Deduction proofs similar to way found in COMP11120 at UoM

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

Java-based implementation of the refutation resolution algorithm, which is used in propositional logic to prove logical consequences. Implementation is done as part of the laboratory excercise for the Introduction to Artificial Intelligence class, at Faculty of Electrical Engineering and Computing, University of Zagreb.

A minimal implementation of an expansion-based QBF solver which does not use recursion.

Implementation of a Forward-Planning Agent for Udacity's Artificial Intelligence Nanodegree (v3.0). This project is the solution for the notebook from the classroom (topic: Classical Planning).

Online tool for graphing entity relations, designed for use in the field of Analytic Theology.

Leaving the cave: an introduction to mathematical thinking.