hackage.haskell.org : BPS
Haskell monad transformer-based translations of two classic Truth Maintenance System algorithms of Forbus and de Kleer's Building Problem Solvers. This version includes justification-based and assumption-based TMS (JTMS and ATMS) implementations. See the GitHub repository https://github.com/jphmrst/bps/, or the Haddock documentation.
Registry
-
Source
- Homepage
- JSON
- codemeta.json
purl: pkg:hackage/BPS
Keywords:
gpl
, library
, program
, truth-maintenance
, Propose Tags
, ai
, ai-algorithms
, artificial-intelligence
, artificial-intelligence-algorithms
, atms
, building-problem-solvers
, forbus-dekleer
, jtms
, scala
, search
, tms
License: GPL-3.0-only
Latest release: over 3 years ago
First release: almost 4 years ago
Downloads: 237 total
Stars: 16 on GitHub
Forks: 1 on GitHub
See more repository details: repos.ecosyste.ms
Last synced: about 6 hours ago