Reformulation of Explanation by Linear Logic: Toward Logic for Explanation

Jun Arima, Hajime Sawamura. Reformulation of Explanation by Linear Logic: Toward Logic for Explanation. In Klaus P. Jantke, Shigenobu Kobayashi, Etsuji Tomita, Takashi Yokomori, editors, Algorithmic Learning Theory, 4th International Workshop, ALT 93, Tokyo, Japan, November 8-10, 1993, Proceedings. Volume 744 of Lecture Notes in Computer Science, pages 45-57, Springer, 1993.

Authors

Jun Arima

This author has not been identified. Look up 'Jun Arima' in Google

Hajime Sawamura

This author has not been identified. Look up 'Hajime Sawamura' in Google