Yoshinori Kurose

According to our database, Yoshinori Kurose authored at least 2 papers between 1998 and 2001.

Collaborative distances:

• Dijkstra number of six.
• Erdős number of five.

2001

A sound and complete procedure for a general logic program in non-floundering derivations with respect to the 3-valued stable model semantics.

Susumu Yamasaki, Yoshinori Kurose

Theor. Comput. Sci., 2001

1998

Soudness of Abductive Proof Procedure with Respect to Constraint for Non-Ground Abducibles.

Susumu Yamasaki, Yoshinori Kurose

Theor. Comput. Sci., 1998