A proposal to reduce cumulative reasoning time in hypothetical reasoning

Hideaki Nobata, Haruhiko Kimura, Sadaki Hirose. A proposal to reduce cumulative reasoning time in hypothetical reasoning. Systems and Computers in Japan, 30(12):63-71, 1999. [doi]

Abstract

Abstract is missing.