A hypothetical reasoning for knowledge bases with preferentially ordered hypotheses

Yasuyuki Watanabe, Ikuo Tahara. A hypothetical reasoning for knowledge bases with preferentially ordered hypotheses. Systems and Computers in Japan, 28(5):52-59, 1997. [doi]

Abstract

Abstract is missing.