Rewriting Logic Using Strategies for Neural Networks: An Implementation in Maude.

Gustavo Santos-Garca, Miguel Palomino, Alberto Verdejo

Browse the full DCAI paper archive.