Haskell and Scala translations of Truth Maintenance Systems and other tools from Forbus and de Kleer's Building Problem Solvers.
- building-problem-solvers
- tms
- jtms
- artificial-intelligence-algorithms
- ai-algorithms
- forbus-dekleer
- search
- ai
- atms
- scala
- artificial-intelligence
- truth-maintenance
Scala versions:
3.x
3
versions found for
bps-scala