Yoshihiko Ohta (Selection)

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

5 Yoshihiko Ohta, Katsumi Inoue, Ryuzo Hasegawa: On the Relationship Between Non-Horn Magic Sets and Relevancy Testing. CADE 1998: 333-348

4 Ryuzo Hasegawa, Katsumi Inoue, Yoshihiko Ohta, Miyuki Koshimura: Non-Horn Magic Sets to Incorporate Top-down Inference into Bottom-up Theorem Proving. CADE 1997: 176-190

3 Katsumi Inoue, Yoshihiko Ohta, Ryuzo Hasegawa, Makoto Nakashima: Bottom-up Abduction by Model Generation. IJCAI 1993: 102-108

Selection of 3 from 5 records - Yoshihiko Ohta has 4 coauthors

5		Yoshihiko Ohta, Katsumi Inoue, Ryuzo Hasegawa: On the Relationship Between Non-Horn Magic Sets and Relevancy Testing. CADE 1998: 333-348
4		Ryuzo Hasegawa, Katsumi Inoue, Yoshihiko Ohta, Miyuki Koshimura: Non-Horn Magic Sets to Incorporate Top-down Inference into Bottom-up Theorem Proving. CADE 1997: 176-190
3		Katsumi Inoue, Yoshihiko Ohta, Ryuzo Hasegawa, Makoto Nakashima: Bottom-up Abduction by Model Generation. IJCAI 1993: 102-108