- CSB - MetaPress - Google - Bing - Yahoo
 | 1998 | |
|---|---|---|
| c4 |      | Yoshihiko Ohta, Katsumi Inoue, Ryuzo Hasegawa: On the Relationship Between Non-Horn Magic Sets and Relevancy Testing. CADE 1998: 333-348 |
| 1997 | ||
| c3 | | 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 | ||
| j1 | | Yoshihiko Ohta, Katsumi Inoue: Incorporating Top-Down Information into Bottom-Up Hypothetical Reasoning. New Generation Comput. 11(3): 401-421 (1993) |
| c2 |  | Katsumi Inoue, Yoshihiko Ohta, Ryuzo Hasegawa, Makoto Nakashima: Bottom-up Abduction by Model Generation. IJCAI 1993: 102-108 |
| 1992 | ||
| c1 | | Yoshihiko Ohta, Katsumi Inoue: A Forward-Chaining Hypothetical Reasoner Based on Upside-Down Meta-Interpretation. FGCS 1992: 522-529 |
| 1 | Ryuzo Hasegawa | |
| 2 | Katsumi Inoue | |
| 3 | Miyuki Koshimura | |
| 4 | Makoto Nakashima |
Data released under the ODC-BY 1.0 license — See also our legal information page