Yuka Shimajiri

According to our database, Yuka Shimajiri authored at least 6 papers between 1995 and 1998.

Collaborative distances:

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

1998

A-SATCHMORE: SATCHMORE with Availability Checking.

Lifeng He, Yuyan Chao, Yuka Shimajiri, Hirohisa Seki, Hidenori Itoh

New Gener. Comput., 1998

1997

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

Yuka Shimajiri, Hirohisa Seki, Hidenori Itoh

Proceedings of the Logic Programming, 1997

Efficient Transformation for Bottom-up Computation of Stable Models.

Chiemi Kamakura, Yuka Shimajiri, Hirohisa Seki, Hidenori Itoh

Proceedings of the Fifth International Workshop on Deductive Databases and Logic Programming, 1997

1996

Constructing More Relevant Models.

Lifeng He, Yuyan Chao, Yuka Shimajiri, Hirohisa Seki, Hidenori Itoh

Proceedings of the Concurrency and Parallelism, 1996

1995

Goal-Directed Query Processing in Disjunctive Logic Databases

Yuka Shimajiri, Hiroshi Seki, Hidenori Itoh

Proceedings of the Programming Languages: Implementations, 1995

Making Query Processing Goal-Directed in Disjunctive Logic Databases.

Yuka Shimajiri, Hirohisa Seki, Hidenori Itoh

Proceedings of the Logic Programming, 1995