Similar to Logic_Theorist
Logic Theorist
Logic TheoristPlanner
Planner (programming language)Lean (証明アシスタント)
Lean (proof assistant)Wolfram (プログラミング言語)
Wolfram LanguageMathematica
Wolfram Mathematica人工知能
Artificial intelligenceBERT (言語モデル)
BERT (language model)Claude
Claude (language model)▲1 trendsDABUS
DABUSDALL-E
DALL-EDyNet
FIELD system
Gemini (チャットボット)
Gemini (chatbot)GPTs
ID3
ID3 algorithmJabberwacky
JabberwackyMNISTデータベース
MNIST databaseNEUTRINO
NovelAI
NovelAIOpen Neural Network Exchange
Open Neural Network ExchangePARRY
PARRYRepresentational State Transfer
RESTSHRDLU
SHRDLUSoar (認知アーキテクチャ)
Soar (cognitive architecture)STRIPS
Stanford Research Institute Problem SolverVOICEVOX
Webインテリジェンス
Web intelligenceWindows Copilot