Keyword:interpretation

Papers
Forced Selective Information Reduction for Interpreting Multi-Layered Neural Networks Ryotaro Kamimura and Ryozo Kitajima In:Proceedings of 11th International Congress on Advanced Applied Informatics
Interpretation and Translation in Policy Implementation Anne Mette Moller EasyChair Preprint no. 1082
The Thousands of Models for Theorem Provers (TMTP) Model Library - First Steps Geoff Sutcliffe and Stephan Schulz In:IWIL-2015. 11th International Workshop on the Implementation of Logics