Yoshinori Kurose

Publication Activity (10 Years)

Years Active: 1998-2001
Publications (10 Years): 0

Publications

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) (2001)
Susumu Yamasaki, Yoshinori Kurose
Soudness of Abductive Proof Procedure with Respect to Constraint for Non-Ground Abducibles. Theor. Comput. Sci. 206 (1-2) (1998)