Implementation of a new scenario for the Neural-Symbolic system NEUROLOG
machine-learning
neural-network
prolog
mnist
abduction
neural-symbolic-reasoning
neural-symbolic
neurolog
abductive-proofs
-
Updated
Apr 19, 2021 - Prolog
Implementation of a new scenario for the Neural-Symbolic system NEUROLOG
Add a description, image, and links to the abductive-proofs topic page so that developers can more easily learn about it.
To associate your repository with the abductive-proofs topic, visit your repo's landing page and select "manage topics."