A Theory of Hypothesis Finding in Clausal Logic

Aus International Center for Computational Logic
Wechseln zu:Navigation, Suche

Toggle side column

A Theory of Hypothesis Finding in Clausal Logic

Akihiro YamamotoAkihiro Yamamoto,  Bertram FronhöferBertram Fronhöfer
A Theory of Hypothesis Finding in Clausal Logic


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