truth-maintenance

There are 0 repository under truth-maintenance topic.

namin / biohacker
debugging biological networks to reach coherence, completeness and consistency
metabolic-network common-lisp ai reasoning expert-system ncats-translator truth-maintenance
Language:Common Lisp 42
jphmrst / bps
Haskell and Scala translations of Truth Maintenance Systems and other tools from Forbus and de Kleer's Building Problem Solvers.
scala tms jtms atms search truth-maintenance forbus-dekleer building-problem-solvers ai artificial-intelligence-algorithms ai-algorithms artificial-intelligence
Language:Haskell 16
metareflection / llm-mysteries
LLMs to reason about whodunit mysteries
llm truth-maintenance ai
Language:Python 4
Ruggiero-Santo / NATMS
An negation assumption based truth maintenance system (NATMS)
atms truth-maintenance denied-assumptions
Language:Python 1

namin / biohacker