RAIR Lab's repositories
Peirce-My-Heart
A graphical web application for interactive theorem proving in Charles Peirce's alpha existential graph system.
EG-Theorem-Proving-in-PMH
(Work In Progress) Open-Source Textbook and User Manual for Graphical Interactive Existential Graph Theorem Proving in PMH
logic-group
Website listing the talks given in the logic group
Parallel-Verifier
Parallel Verification of Propositional Natural-Deduction Proof Graphs
ShadowAdjudicator
An automated reasoner for generating and adjudicating arguments amongst AI agents reasoning in a quantified modal logic.
DCEC_Library
A library for parsing and using the DCEC*, the Deontic Cognitive Event Calculus designed at RAIR Labs at RPI.
Publications
RAIR Lab Publication List
RAIRLab.github.io
RAIR Lab Homepage
ShadowProver
The definitive DCEC theorem prover built on SNARK.
VirtualSlate
VirtualSlate is an in deveopment proof of concept for VR graphical interactive theorem proving with natural deduction.
Equitable-AI-Development-Paths
Data for our paper "Non-Profit-Driven Development Paths for Equitable AI/AGI" accepted for publication at ICRES 2023.
PAGIapi-python
Python API for interacting with PAGIworld
prover
This fork of ShadowProver is used as a submodule by ShadowAdjudicator and should not be moved.
Talos-Flask
A flask wrapper for the Talos automated theorem prover
ShadowProver-Python
Python Interface to ShadowProver (Work in progress for new SP repo, use naveen branch instead)