Similar to Logic_Theorist

• 

  Logic Theorist

  Logic Theorist
  
• 

  Planner

  Planner (programming language)
  
• 

  Lean (証明アシスタント)

  Lean (proof assistant)
  
• 

  Mathematica

  Wolfram Mathematica
  
• 

  Wolfram (プログラミング言語)

  Wolfram Language
  
• 

  人工知能

  Artificial intelligence
  ▲10 trends

  
• 

  Apple Intelligence

  Apple Intelligence
  
• 

  Copilotキー

  
• 

  DABUS

  DABUS
  
• 

  DyNet

  
• 

  FIELD system

  
• 

  GPTs

  
• 

  ID3

  ID3 algorithm
  
• 

  Jabberwacky

  Jabberwacky
  
• 

  MNISTデータベース

  MNIST database
  ▲1 trends

  
• 

  NovelAI

  NovelAI
  
• 

  Open Neural Network Exchange

  Open Neural Network Exchange
  
• 

  OpenAI o1

  OpenAI o1
  
• 

  PARRY

  PARRY
  
• 

  Representational State Transfer

  REST
  
• 

  SHRDLU

  SHRDLU
  
• 

  Soar (認知アーキテクチャ)

  Soar (cognitive architecture)
  
• 

  STRIPS

  Stanford Research Institute Problem Solver
  
• 

  Udio

  Udio
  
• 

  VALL-E

  VALL-E
  
• 

  Webインテリジェンス

  Web intelligence
  
• 

  Windows Copilot

  
• 

  アジャイルワン