Yoshihiko Ohta

According to our database, Yoshihiko Ohta authored at least 6 papers between 1990 and 1998.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

1998

On the Relationship Between Non-Horn Magic Sets and Relevancy Testing.

Yoshihiko Ohta, Katsumi Inoue, Ryuzo Hasegawa

Proceedings of the Automated Deduction, 1998

1997

Non-Horn Magic Sets to Incorporate Top-down Inference into Bottom-up Theorem Proving.

Ryuzo Hasegawa, Katsumi Inoue, Yoshihiko Ohta, Miyuki Koshimura

Proceedings of the Automated Deduction, 1997

1993

Incorporating Top-Down Information into Bottom-Up Hypothetical Reasoning.

Yoshihiko Ohta, Katsumi Inoue

New Gener. Comput., 1993

Bottom-up Abduction by Model Generation.

Katsumi Inoue, Yoshihiko Ohta, Ryuzo Hasegawa, Makoto Nakashima

Proceedings of the 13th International Joint Conference on Artificial Intelligence. Chambéry, France, August 28, 1993

1992

A Forward-Chaining Hypothetical Reasoner Based on Upside-Down Meta-Interpretation.

Yoshihiko Ohta, Katsumi Inoue

Proceedings of the International Conference on Fifth Generation Computer Systems. FGCS 1992, 1992

1990

A forward-chaining multiple-context reasoner and its application to logic design.

Yoshihiko Ohta, Katsumi Inoue

Proceedings of the 2nd International IEEE Conference on Tools for Artificial Intelligence, 1990