Arima, Jun

5 publications

IJCAI 1997 Preduction: A Common Form of Induction and Analogy Jun Arima

ALT 1996 Inductive Logic Programming Beyond Logical Implication Jianguo Lu, Jun Arima

ALT 1993 Reformulation of Explanation by Linear Logic: Toward Logic for Explanation Jun Arima, Hajime Sawamura

ALT 1991 A Logical Analysis of Relevance in Analogy Jun Arima

ALT 1990 Analog by Simulation - A Weak Justification Method (Preliminary Report) Jun Arima