Ecosyste.ms: Packages

An open API service providing package, version and dependency metadata of many open source software ecosystems and registries.

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
purl: pkg:hackage/BPS
Keywords: gpl, library, program, truth-maintenance, 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 1 year ago
First release: about 2 years ago
Downloads: 134 total
Stars: 16 on GitHub
Forks: 1 on GitHub
See more repository details: repos.ecosyste.ms
Last synced: 5 days ago

    Loading...
    Readme
    Loading...