Rensselaer Artificial Intelligence and Reasoning Laboratory
Search
Primary Menu
Skip to content
Publications
Members
Projects
Cognitive Robotics: PERI.2
Automated Cognitive Planning and Plan Recognition
Cognitive Calculi
The Deontic Cognitive Event Calculus (DCEC*)
Computational Reasoners
ShadowProver
TALOS
MATR
OSCAR
pyVivid
SemanticProver
Graphical Interactive Theorem Provers
Hyperslate
Virtualslate
Lazyslate
Slate
Past Projects
Moral Reasoning & Decision-Making: ONR: MURI/Moral Dilemmas
Tentacular Artificial Intelligence
Surmounting Arrow’s Impossibility Theorem
Great Computational Intelligence
Artificial Intelligence in Physics and Mathematics Education
Analogico-Deductive Reasoning (ADR)
PAGI World
PAGI World Tasks
Z3TRO
In The Media
Prospective Students
Search for:
James Oswald
Graduate Student
jamesoswald111@gmail.com
Doctoral Student in Computer Science
RAIR Laboratory
