| 1998 |
|---|
| 6 | | Lifeng He,
Yuyan Chao,
Yuka Shimajiri,
Hirohisa Seki,
Hidenori Itoh:
A-SATCHMORE: SATCHMORE with Availability Checking.
New Generation Comput. 16(1): 55-74 (1998) |
| 1997 |
|---|
| 5 | | Chiemi Kamakura,
Yuka Shimajiri,
Hirohisa Seki,
Hidenori Itoh:
Efficient Transformation for Bottom-up Computation of Stable Models.
DDLP 1997: 0- |
| 4 | | Yuka Shimajiri,
Hirohisa Seki,
Hidenori Itoh:
Incorporating a Pruning Strategy into the Computation of Stable Models based on MGTP.
ICLP 1997: 376-390 |
| 1996 |
|---|
| 3 | | Lifeng He,
Yuyan Chao,
Yuka Shimajiri,
Hirohisa Seki,
Hidenori Itoh:
Constructing More Relevant Models.
ASIAN 1996: 345-346 |
| 1995 |
|---|
| 2 | | Yuka Shimajiri,
Hirohisa Seki,
Hidenori Itoh:
Making Query Processing Goal-Directed in Disjunctive Logic Databases.
ICLP 1995: 820 |
| 1 | | Yuka Shimajiri,
Hiroshi Seki,
Hidenori Itoh:
Goal-Directed Query Processing in Disjunctive Logic Databases
PLILP 1995: 415-430 |
