debugging biological networks to reach coherence, completeness and consistency
-
Updated
Feb 18, 2024 - Common Lisp
#
truth-maintenance
Here are 8 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
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
Towards a Modern Truth-Maintenance System and Inference Engine
-
Updated
Jan 18, 2025 - Python
Verified knowledge for AI agents. Compress context, extract and store facts, define rules, and ask questions — get deterministic answers with proof, not LLM guesses. Connect agents via MCP, Python SDK, TypeSc
mcp knowledge-graph logic-programming agents reasoning ai-agents backward-chaining inference-engine cost-optimization truth-maintenance langchain ai-memory agentic-ai context-engineering
-
Updated
Apr 17, 2026 - Kotlin
An negation assumption based truth maintenance system (NATMS)
-
Updated
Feb 22, 2020 - Python
An R&D Neurosymbolic Reasoning Graph structured as a reactive working memory for LLM & reasoning by recursively abstracts sub-graphs, so large problems are solved in bounded local context and kept coherent by truth-maintenance.
knowledge-graph inference-engine mixture-of-experts knowledge-graphs truth-maintenance llm neurosymbolic-ai llm-orchestration defeasible-reasoning reasoning-graph
-
Updated
Jul 2, 2026 - JavaScript
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."