A Theory of Hypothesis Finding in Clausal Logic

Akihiro YamamotoAkihiro Yamamoto, Bertram FronhöferBertram Fronhöfer

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

Details
Bibtex

Forschungsgruppe:Research Group: WissensverarbeitungKnowledge Representation and Reasoning

The final publication is available at Springer.

@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}
}