jphmrst/bps

Haskell and Scala translations of Truth Maintenance Systems and other tools from Forbus and de Kleer's Building Problem Solvers.

语言：Haskell · GitHub 星标：17 · Fork：1

话题：ai · ai-algorithms · artificial-intelligence · artificial-intelligence-algorithms · atms · building-problem-solvers · forbus-dekleer · jtms

在 GitHub 上查看原仓库