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
Lectures

Naveen Sundar G.: “Uncomputable Games: Toward Crowd-sourced Solving of Truly Difficult Problems” (video)

November 4, 2014 licatj

Lecture by Naveen Sundar Govindarajulu on “Uncomputable Games: Toward Crowd-sourced Solving of Truly Difficult Problems.”

Post navigation

Previous PostSelmer Bringsjord: “Toward a Formal Definition of Evil” (video)Next Post“AI, Economics, MOOCs, and…the Fast-and-Furious Future of Higher Education” (video)

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