Sumitaka Akiba

BUGS: A Bug-Based Search Strategy using Genetic Algorithms

Hitoshi Iba, Tetsuya Higuchi, Taisuke Sato, 1992, PPSN.

A Procedure for Calculating Logic Programs by Replacement of Formulae and Transformation to Disjunctive Normal Form

Taisuke Sato, Fumio Motoyoshi, Sumitaka Akiba, 2003 .

Inductive Resolution

Taisuke Sato, Sumitaka Akiba, Taisuke Sato, 1993, ALT.