| 1998 |
|---|
| 5 | EE | Yoshihiko Ohta,
Katsumi Inoue,
Ryuzo Hasegawa:
On the Relationship Between Non-Horn Magic Sets and Relevancy Testing.
CADE 1998: 333-348 |
| 1997 |
|---|
| 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 |
| 1993 |
|---|
| 3 | | Katsumi Inoue,
Yoshihiko Ohta,
Ryuzo Hasegawa,
Makoto Nakashima:
Bottom-up Abduction by Model Generation.
IJCAI 1993: 102-108 |
| 2 | | Yoshihiko Ohta,
Katsumi Inoue:
Incorporating Top-Down Information into Bottom-Up Hypothetical Reasoning.
New Generation Comput. 11(3): 401-421 (1993) |
| 1992 |
|---|
| 1 | | Yoshihiko Ohta,
Katsumi Inoue:
A Forward-Chaining Hypothetical Reasoner Based on Upside-Down Meta-Interpretation.
FGCS 1992: 522-529 |
