|
Search the dblp DataBase
Yuka Shimajiri:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Lifeng He, Yuyan Chao, Yuka Shimajiri, Hirohisa Seki, Hidenori Itoh
Constructing More Relevant Models. [Citation Graph (0, 0)][DBLP] ASIAN, 1996, pp:345-346 [Conf]
- Chiemi Kamakura, Yuka Shimajiri, Hirohisa Seki, Hidenori Itoh
Efficient Transformation for Bottom-up Computation of Stable Models. [Citation Graph (0, 0)][DBLP] DDLP, 1997, pp:0-0 [Conf]
- Yuka Shimajiri, Hirohisa Seki, Hidenori Itoh
Making Query Processing Goal-Directed in Disjunctive Logic Databases. [Citation Graph (0, 0)][DBLP] ICLP, 1995, pp:820- [Conf]
- Yuka Shimajiri, Hirohisa Seki, Hidenori Itoh
Incorporating a Pruning Strategy into the Computation of Stable Models based on MGTP. [Citation Graph (0, 0)][DBLP] ICLP, 1997, pp:376-390 [Conf]
- Yuka Shimajiri, Hiroshi Seki, Hidenori Itoh
Goal-Directed Query Processing in Disjunctive Logic Databases [Citation Graph (0, 0)][DBLP] PLILP, 1995, pp:415-430 [Conf]
- Lifeng He, Yuyan Chao, Yuka Shimajiri, Hirohisa Seki, Hidenori Itoh
A-SATCHMORE: SATCHMORE with Availability Checking. [Citation Graph (0, 0)][DBLP] New Generation Comput., 1998, v:16, n:1, pp:55-74 [Journal]
Search in 0.001secs, Finished in 0.001secs
|