jtms

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 29, 2026
Python

Improve this page

Add a description, image, and links to the jtms 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 jtms 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