Yuka Shimajiri

A knitting pattern recognition and stitch symbol generating system for knit designing

Masashi Yamada, Hidenori Itoh, Hirohisa Seki, 1995 .

Goal-Directed Query Processing in Disjunctive Logic Databases

Hidenori Itoh, Hiroshi Seki, Yuka Shimajiri, 1995, PLILP.

Efficient Transformation for Bottom-up Computation of Stable Models

Hidenori Itoh, Hirohisa Seki, Chiemi Kamakura, 1997, DDLP.

A-SATCHMORE: SATCHMORE with availability checking

Hidenori Itoh, Lifeng He, Yuyan Chao, 2009, New Generation Computing.

Constructing More Relevant Models

Hidenori Itoh, Lifeng He, Yuyan Chao, 1996, ASIAN.

Making Query Processing Goal-Directed in Disjunctive Logic Databases

Hidenori Itoh, Hirohisa Seki, Yuka Shimajiri, 1995, ICLP.

Incorporating a Pruning Strategy into the Computation of Stable Models based on MGTP

Hidenori Itoh, Hirohisa Seki, Yuka Shimajiri, 1997, ICLP.