Yoshihiko Ohta
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
4
Venues
3
Active years
1990–1998
Best venue rank
A*
Where they publish
Papers
4 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 1998 | CADE | On the Relationship Between Non-Horn Magic Sets and Relevancy Testing. | Yoshihiko Ohta, Katsumi Inoue, Ryuzo Hasegawa |
| 1997 | CADE | Non-Horn Magic Sets to Incorporate Top-down Inference into Bottom-up Theorem Proving. | Ryuzo Hasegawa, Katsumi Inoue, Yoshihiko Ohta, Miyuki Koshimura |
| 1993 | IJCAI | Bottom-up Abduction by Model Generation. | Katsumi Inoue, Yoshihiko Ohta, Ryuzo Hasegawa, Makoto Nakashima |
| 1990 | ICTAI | A forward-chaining multiple-context reasoner and its application to logic design. | Yoshihiko Ohta, Katsumi Inoue |