Toshihide Ibaraki (ibaraki)

Contributions à Philosophie.ch

Bibliography

Boros, Endre, Ibaraki, Toshihide and Makino, Kazuhisa. 1999. “Logical Analysis of Binary Data with Missing Bits.” Artificial Intelligence 107(2): 219–263.
Eiter, Thomas, Ibaraki, Toshihide and Makino, Kazuhisa. 1999. “Computing Intersections of Horn Theories for Reasoning with Models.” Artificial Intelligence 110(1): 57–101.
Ibaraki, Toshihide. 1986. “Generalization of Alpha-Beta and SSS* Search Procedures.” Artificial Intelligence 29(1): 73–117.
Ibaraki, Toshihide, Kogan, Alexander and Makino, Kazuhisa. 1999. “Functional Dependencies in Horn Theories.” Artificial Intelligence 108(1–2): 1–30.
Ibaraki, Toshihide, Kogan, Alexander and Makino, Kazuhisa. 2001. “On Functional Dependencies in Q-Horn Theories.” Artificial Intelligence 131(1–2): 171–187.