Reformulation of Explanation by Linear Logic: Toward Logic for Explanation.

Jun Arima, Hajime Sawamura

Browse the full ALT paper archive.