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

BibTeX Record:
@InCollection{yf-thfcl-01,
title = "A Theory of Hypothesis Finding in Clausal Logic",
author = "Akihiro Yamamoto and Bertram Fronh{\"o}fer",
booktitle = "Progress in Discovery Science, Final Report of the Japanese Discovery Science Project",
series = "Lecture Notes in Artificial Intelligence",
volume = "2281",
editor = "Setsuo Arikawa and Ayumi Shinohara",
publisher = "Springer",
year = "2001",
pages = "246--257",
}

Hide BibTeX Record