A Theory of Hypothesis Finding in Clausal Logic
Aus International Center for Computational Logic
A Theory of Hypothesis Finding in Clausal Logic
Akihiro YamamotoAkihiro Yamamoto, Bertram FronhöferBertram Fronhöfer
![A Theory of Hypothesis Finding in Clausal Logic A Theory of Hypothesis Finding in Clausal Logic](/w/images/thumb/e/e2/Missing_document_icon.png/150px-Missing_document_icon.png)
Akihiro Yamamoto, Bertram Fronhöfer
A Theory of Hypothesis Finding in Clausal Logic
In Setsuo Arikawa and Ayumi Shinohara, eds., Progress in Discovery Science, volume 2281 of Lecture Notes in Artificial Intelligence, 246-257. Springer, 2002
A Theory of Hypothesis Finding in Clausal Logic
In Setsuo Arikawa and Ayumi Shinohara, eds., Progress in Discovery Science, volume 2281 of Lecture Notes in Artificial Intelligence, 246-257. Springer, 2002
- Forschungsgruppe:Research Group: WissensverarbeitungKnowledge Representation and Reasoning
@incollection{YF2002,
author = {Akihiro Yamamoto and Bertram Fronh{\"{o}}fer},
title = {A Theory of Hypothesis Finding in Clausal Logic},
editor = {Setsuo Arikawa and Ayumi Shinohara},
booktitle = {Progress in Discovery Science},
series = {Lecture Notes in Artificial Intelligence},
volume = {2281},
publisher = {Springer},
year = {2002},
pages = {246-257}
}