Pinned Repositories
EG-Theorem-Proving-in-PMH
(Work In Progress) Open-Source Textbook and User Manual for Graphical Interactive Existential Graph Theorem Proving in PMH
lazyslate
An open source graphical proof construction assistant for the creation of Natural Deduction proofs.
logic-group
Website listing the talks given in the logic group
Parallel-Verifier
Parallel Verification of Propositional Natural-Deduction Proof Graphs
Peirce-My-Heart
A graphical web application for interactive theorem proving in Charles Peirce's alpha existential graph system.
pyPAGI
The python helper library for PAGI World.
ShadowAdjudicator
An automated reasoner for generating and adjudicating arguments amongst AI agents reasoning in a quantified modal logic.
ShadowProver
The definitive DCEC theorem prover built on SNARK.
Spectra
The Spectra Automated Planner for DCEC built on ShadowProver
VirtualSlate
VirtualSlate is an in deveopment proof of concept for VR graphical interactive theorem proving with natural deduction.
RAIR Lab's Repositories
RAIRLab/lazyslate
An open source graphical proof construction assistant for the creation of Natural Deduction proofs.
RAIRLab/Peirce-My-Heart
A graphical web application for interactive theorem proving in Charles Peirce's alpha existential graph system.
RAIRLab/Spectra
The Spectra Automated Planner for DCEC built on ShadowProver
RAIRLab/Parallel-Verifier
Parallel Verification of Propositional Natural-Deduction Proof Graphs
RAIRLab/EG-Theorem-Proving-in-PMH
(Work In Progress) Open-Source Textbook and User Manual for Graphical Interactive Existential Graph Theorem Proving in PMH
RAIRLab/logic-group
Website listing the talks given in the logic group
RAIRLab/pyPAGI
The python helper library for PAGI World.
RAIRLab/ShadowAdjudicator
An automated reasoner for generating and adjudicating arguments amongst AI agents reasoning in a quantified modal logic.
RAIRLab/VirtualSlate
VirtualSlate is an in deveopment proof of concept for VR graphical interactive theorem proving with natural deduction.
RAIRLab/DCEC_Library
A library for parsing and using the DCEC*, the Deontic Cognitive Event Calculus designed at RAIR Labs at RPI.
RAIRLab/Publications
RAIR Lab Publication List
RAIRLab/RAIRLab.github.io
RAIR Lab Homepage
RAIRLab/ShadowProver
The definitive DCEC theorem prover built on SNARK.
RAIRLab/vsp
Website for the Workshop on Variable Sharing Properties and Their Discontents
RAIRLab/.github
The RAIR Lab Github Organization Homepage Markdown
RAIRLab/Equitable-AI-Development-Paths
Data for our paper "Non-Profit-Driven Development Paths for Equitable AI/AGI" accepted for publication at ICRES 2023.
RAIRLab/PAGIapi-python
Python API for interacting with PAGIworld
RAIRLab/prover
This fork of ShadowProver is used as a submodule by ShadowAdjudicator and should not be moved.
RAIRLab/Talos
An automated theorem prover for the DCEC*, the Deontic Cognitive Event Calculus designed at RAIR Labs at RPI.
RAIRLab/Talos-Flask
A flask wrapper for the Talos automated theorem prover
RAIRLab/ShadowProver-Python
Python Interface to ShadowProver (Work in progress for new SP repo, use naveen branch instead)
RAIRLab/snark
Modified version of SNARK version 20120808r02. The RAIR Lab did not create nor does it claim any rights to snark.