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.
@inproceedings{ArimaS93,
title = {Reformulation of Explanation by Linear Logic: Toward Logic for Explanation},
author = {Jun Arima and Hajime Sawamura},
year = {1993},
tags = {logic},
researchr = {https://researchr.org/publication/ArimaS93},
cites = {0},
citedby = {0},
pages = {45-57},
booktitle = {Algorithmic Learning Theory, 4th International Workshop, ALT 93, Tokyo, Japan, November 8-10, 1993, Proceedings},
editor = {Klaus P. Jantke and Shigenobu Kobayashi and Etsuji Tomita and Takashi Yokomori},
volume = {744},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {3-540-57370-4},
}