building-problem-solvers

Here are 2 public repositories matching this topic...

jphmrst / bps

Haskell and Scala translations of Truth Maintenance Systems and other tools from Forbus and de Kleer's Building Problem Solvers.

search scala ai artificial-intelligence tms artificial-intelligence-algorithms atms ai-algorithms truth-maintenance jtms forbus-dekleer building-problem-solvers

Updated Oct 12, 2023
Haskell

pisanuw / ltms

Star

A logic-based Truth Maintenance System (LTMS) and pattern-directed reasoning engine in pure Python, after Forbus & de Kleer's Building Problem Solvers. Docs: https://pisanuw.github.io/ltms/

python logic inference artificial-intelligence tms sat-solver knowledge-representation reasoning ltms truth-maintenance jtms building-problem-solvers boolean-constraint-propagation forbus-de-kleer

Updated Jun 24, 2026
Python

Improve this page

Add a description, image, and links to the building-problem-solvers topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the building-problem-solvers topic, visit your repo's landing page and select "manage topics."

Learn more

Provide feedback

Saved searches

Use saved searches to filter your results more quickly