Yoshihiko Ohta

Publication Activity (10 Years)

Years Active: 1990-1998
Publications (10 Years): 0

Publications

Yoshihiko Ohta, Katsumi Inoue, Ryuzo Hasegawa
On the Relationship Between Non-Horn Magic Sets and Relevancy Testing. CADE (1998)
Ryuzo Hasegawa, Katsumi Inoue, Yoshihiko Ohta, Miyuki Koshimura
Non-Horn Magic Sets to Incorporate Top-down Inference into Bottom-up Theorem Proving. CADE (1997)
Yoshihiko Ohta, Katsumi Inoue
Incorporating Top-Down Information into Bottom-Up Hypothetical Reasoning. New Gener. Comput. 11 (3) (1993)
Katsumi Inoue, Yoshihiko Ohta, Ryuzo Hasegawa, Makoto Nakashima
Bottom-up Abduction by Model Generation. IJCAI (1993)
Yoshihiko Ohta, Katsumi Inoue
A Forward-Chaining Hypothetical Reasoner Based on Upside-Down Meta-Interpretation. FGCS (1992)
Yoshihiko Ohta, Katsumi Inoue
A forward-chaining multiple-context reasoner and its application to logic design. TAI (1990)