An negation assumption based truth maintenance system (NATMS)
-
Updated
Feb 22, 2020 - Python
An negation assumption based truth maintenance system (NATMS)
HERMES, a tool to ease simulation of road networks with different ATIS systems.
Add a description, image, and links to the atms topic page so that developers can more easily learn about it.
To associate your repository with the atms topic, visit your repo's landing page and select "manage topics."