rairlab Goto Github PK
Name: RAIR Lab
Type: Organization
Bio: The Rensselaer Artificial Intelligence and Reasoning (RAIR) Laboratory
Location: Troy, NY
Name: RAIR Lab
Type: Organization
Bio: The Rensselaer Artificial Intelligence and Reasoning (RAIR) Laboratory
Location: Troy, NY
The RAIR Lab Github Organization Homepage Markdown
A library for parsing and using the DCEC*, the Deontic Cognitive Event Calculus designed at RAIR Labs at RPI.
(Work In Progress) Open-Source Textbook and User Manual for Graphical Interactive Existential Graph Theorem Proving in PMH
Data for our paper "Non-Profit-Driven Development Paths for Equitable AI/AGI" accepted for publication at ICRES 2023.
An open source graphical proof construction assistant for the creation of Natural Deduction proofs.
Website listing the talks given in the logic group
Python API for interacting with PAGIworld
Parallel Verification of Propositional Natural-Deduction Proof Graphs
A graphical web application for interactive theorem proving in Charles Peirce's alpha existential graph system.
This fork of ShadowProver is used as a submodule by ShadowAdjudicator and should not be moved.
RAIR Lab Publication List
The python helper library for PAGI World.
RAIR Lab Homepage
An automated reasoner for generating and adjudicating arguments amongst AI agents reasoning in a quantified modal logic.
The definitive DCEC theorem prover built on SNARK.
Python Interface to ShadowProver (Work in progress for new SP repo, use naveen branch instead)
Modified version of SNARK version 20120808r02. The RAIR Lab did not create nor does it claim any rights to snark.
The Spectra Automated Planner for DCEC built on ShadowProver
An automated theorem prover for the DCEC*, the Deontic Cognitive Event Calculus designed at RAIR Labs at RPI.
A flask wrapper for the Talos automated theorem prover
VirtualSlate is an in deveopment proof of concept for VR graphical interactive theorem proving with natural deduction.
A declarative, efficient, and flexible JavaScript library for building user interfaces.
🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
An Open Source Machine Learning Framework for Everyone
The Web framework for perfectionists with deadlines.
A PHP framework for web artisans
Bring data to life with SVG, Canvas and HTML. 📊📈🎉
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
Some thing interesting about web. New door for the world.
A server is a program made to process requests and deliver data to clients.
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
Some thing interesting about visualization, use data art
Some thing interesting about game, make everyone happy.
We are working to build community through open source technology. NB: members must have two-factor auth.
Open source projects and samples from Microsoft.
Google ❤️ Open Source for everyone.
Alibaba Open Source for everyone
Data-Driven Documents codes.
China tencent open source team.