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