Ibaraki, Toshihide

2 publications

AAAI 1998 Computing Intersections of Horn Theories for Reasoning with Models Thomas Eiter, Toshihide Ibaraki, Kazuhisa Makino

ALT 1997 Monotone Extensions of Boolean Data Sets Endre Boros, Toshihide Ibaraki, Kazuhisa Makino