https://github.com/jphmrst/bps
Haskell and Scala translations of Truth Maintenance Systems and other tools from Forbus and de Kleer's Building Problem Solvers.
https://github.com/jphmrst/bps
ai ai-algorithms artificial-intelligence artificial-intelligence-algorithms atms building-problem-solvers forbus-dekleer jtms scala search tms truth-maintenance
Last synced: 4 months ago
JSON representation
Haskell and Scala translations of Truth Maintenance Systems and other tools from Forbus and de Kleer's Building Problem Solvers.
- Host: GitHub
- URL: https://github.com/jphmrst/bps
- Owner: jphmrst
- License: other
- Created: 2021-11-17T19:23:58.000Z (over 4 years ago)
- Default Branch: main
- Last Pushed: 2023-10-12T15:59:51.000Z (over 2 years ago)
- Last Synced: 2025-12-07T16:53:42.585Z (6 months ago)
- Topics: ai, ai-algorithms, artificial-intelligence, artificial-intelligence-algorithms, atms, building-problem-solvers, forbus-dekleer, jtms, scala, search, tms, truth-maintenance
- Language: Haskell
- Homepage:
- Size: 2.03 MB
- Stars: 16
- Watchers: 2
- Forks: 1
- Open Issues: 0
-
Metadata Files:
- Readme: README-forbus-dekleer.txt
- Changelog: CHANGELOG.md
- License: LICENSE.txt