Data

Tools

Indexes

Applications

Experiments

Packages

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

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.

Ecosystem
hackage.haskell.org
Latest Release
0.1.1.0
over 3 years ago
Versions
2
Downloads
238 total
    Loading...
    Readme
    Loading...
    Links
    Registry hackage.haskell.org
    Source Repository
    Homepage Homepage
    JSON API View JSON
    CodeMeta codemeta.json
    Package Details
    PURL pkg:hackage/BPS
    spec
    License GPL-3.0-only
    First Release almost 4 years ago
    Last Synced 13 days ago
    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
    Repository
    Stars 16 on GitHub
    Forks 1 on GitHub
    repos.ecosyste.ms