|
СТ |
Incorporating a Pruning Strategy into the Computation of Stable Models based on MGTP |
1997 |
Shimajiri Y., Seki H., Itoh H. |
|
|
|
Logic Programming |
11.03.1998 |
|
СТ |
Goal-Directed Query Processing in Disjunctive Logic Databases |
1995 |
Shimajiri Y., Seki H., Itoh H. |
Lecture Notes in Computer Science |
|
|
Programming Languages: Implementations, Logics and Programs |
16.11.1995 |
|
СТ |
An Efficient Abductive Reasoning System Based on Program Analysis |
1993 |
Kato S., Seki H., Itoh H. |
|
|
|
Lecture Notes in Computer Science |
11.12.1993 |
