#
atms
Here are 13 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
HERMES, a tool to ease simulation of road networks with different ATIS systems.
-
Updated
Jul 10, 2019 - Python
CashSDK to get Crypto to Cash direct at thousands of ATMs
-
Updated
Apr 20, 2021 - Kotlin
An negation assumption based truth maintenance system (NATMS)
-
Updated
Feb 22, 2020 - Python
Improve this page
Add a description, image, and links to the atms topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the atms topic, visit your repo's landing page and select "manage topics."