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