2001 | ||
---|---|---|
2 | EE | Susumu Yamasaki, Yoshinori Kurose: A sound and complete procedure for a general logic program in non-floundering derivations with respect to the 3-valued stable model semantics. Theor. Comput. Sci. 266(1-2): 489-512 (2001) |
1998 | ||
1 | EE | Susumu Yamasaki, Yoshinori Kurose: Soudness of Abductive Proof Procedure with Respect to Constraint for Non-Ground Abducibles. Theor. Comput. Sci. 206(1-2): 257-281 (1998) |
1 | Susumu Yamasaki | [1] [2] |