debugging biological networks to reach coherence, completeness and consistency
-
Updated
Feb 18, 2024 - Common Lisp
#
truth-maintenance
Here are 5 public repositories matching this topic...
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
Towards a Modern Truth-Maintenance System and Inference Engine
-
Updated
Sep 19, 2024 - Python
An negation assumption based truth maintenance system (NATMS)
-
Updated
Feb 22, 2020 - Python
Improve this page
Add a description, image, and links to the truth-maintenance topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the truth-maintenance topic, visit your repo's landing page and select "manage topics."