Yuka Shimajiri

Publication Activity (10 Years)

Years Active: 1995-1998
Publications (10 Years): 0

Publications

Lifeng He, Yuyan Chao, Yuka Shimajiri, Hirohisa Seki, Hidenori Itoh
A-SATCHMORE: SATCHMORE with Availability Checking. New Gener. Comput. 16 (1) (1998)
Yuka Shimajiri, Hirohisa Seki, Hidenori Itoh
Incorporating a Pruning Strategy into the Computation of Stable Models based on MGTP. ICLP (1997)
Chiemi Kamakura, Yuka Shimajiri, Hirohisa Seki, Hidenori Itoh
Efficient Transformation for Bottom-up Computation of Stable Models. DDLP (1997)
Lifeng He, Yuyan Chao, Yuka Shimajiri, Hirohisa Seki, Hidenori Itoh
Constructing More Relevant Models. ASIAN (1996)
Yuka Shimajiri, Hiroshi Seki, Hidenori Itoh
Goal-Directed Query Processing in Disjunctive Logic Databases PLILP (1995)
Yuka Shimajiri, Hirohisa Seki, Hidenori Itoh
Making Query Processing Goal-Directed in Disjunctive Logic Databases. ICLP (1995)