Garcez, ‘Using inductive types for ensuring correctness of neuro-symbolic computations (2010)

by E Komendantskaya, K Broda, A d’Avila
Venue:in Proc. of CiE2010, accepted for informal proceedings