Rensselaer Artificial Intelligence and Reasoning Laboratory

Rensselaer Artificial Intelligence and Reasoning Laboratory

Search
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

No Fog

December 7, 2023 1920 × 1080 Cognitive Robotics: PERI.2
Previous Image
Next Image

RAIR Laboratory

Quick Links

  • RAIR Lab Homepage
  • Prof. Bringsjord's Homepage
  • RAIR Lab GitHub
  • RAIR Lab YouTube

For Members

  • RAIR Lab SVN Login
  • Hyperslate Login
  • Shadowprover Installation
Proudly powered by WordPress