Regular Inference on Artificial Neural Networks

Franz Mayr, Sergio Yovine. Regular Inference on Artificial Neural Networks. In Andreas Holzinger, Peter Kieseberg, A Min Tjoa, Edgar R. Weippl, editors, Machine Learning and Knowledge Extraction - Second IFIP TC 5, TC 8/WG 8.4, 8.9, TC 12/WG 12.9 International Cross-Domain Conference, CD-MAKE 2018, Hamburg, Germany, August 27-30, 2018, Proceedings. Volume 11015 of Lecture Notes in Computer Science, pages 350-369, Springer, 2018. [doi]

Abstract

Abstract is missing.