A Theory of Hypothesis Finding in Clausal Logic


Authored By:Akihiro Yamamoto and Bertram Fronhöfer
Paper Title:A Theory of Hypothesis Finding in Clausal Logic
Editor(s):Setsuo Arikawa and Ayumi Shinohara
Book/Journal Title:Progress in Discovery Science, Final Report of the Japanese Discovery Science Project
Vol. 2281
Publisher:Springer
Publication Date: 2001
Pages:246-257