Skip to the content
Search
Rensselaer Artificial Intelligence and Reasoning Laboratory
RAIR Lab
Menu
Home
Projects
Great Computational Intelligence
Surmounting Arrow’s Impossibility Theorem
Tentacular Artificial Intelligence
Computational Reasoners
TALOS
ShadowProver
MATR
OSCAR
pyVivid
SemanticProver
Z3
Cognitive Calculi
The Deontic Cognitive Event Calculus (DCEC*)
Moral Reasoning & Decision-Making: ONR: MURI/Moral Dilemmas
Members
Faculty
Graduate Students
Affiliated Researchers
Prospective Students
Publications
In The Media
Past Projects
Artificial Intelligence in Physics and Mathematics Education
Analogico-Deductive Reasoning (ADR)
PAGI World
PAGI World Tasks
Slate
Search
Undergraduate Students
Faculty
Graduate Students
Undergraduate Students
Affiliated Researchers