( en | de | ru )

 

Disambiguation of "Ohta, Yoshihiko"

Author of the publication

copydeleteadd this publication to your clipboard
Non-Horn Magic Sets to Incorporate Top-down Inference into Bottom-up Theorem Proving.

, , , and . CADE, volume 1249 of Lecture Notes in Computer Science, page 176-190. Springer, (1997)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Yoshihiko Katayama

Yusuke Ohta

Yoshihiko Mizushima

Yoshihiko Nishimoto

Yoshihiko Maikuma

 

Other publications of authors with the same name

On the Relationship Between Non-Horn Magic Sets and Relevancy Testing., , and . CADE, volume 1421 of Lecture Notes in Computer Science, page 333-348. Springer, (1998)Bottom-up Abduction by Model Generation., , , and . IJCAI, page 102-108. Morgan Kaufmann, (1993)Non-Horn Magic Sets to Incorporate Top-down Inference into Bottom-up Theorem Proving., , , and . CADE, volume 1249 of Lecture Notes in Computer Science, page 176-190. Springer, (1997)A forward-chaining multiple-context reasoner and its application to logic design., and . TAI, page 386-392. IEEE Computer Society, (1990)A Forward-Chaining Hypothetical Reasoner Based on Upside-Down Meta-Interpretation., and . FGCS, page 522-529. IOS Press, (1992)Incorporating Top-Down Information into Bottom-Up Hypothetical Reasoning., and . New Gener. Comput., 11 (3): 401-421 (1993)