Hirohisa Seki

Department of Intelligence and Computer Science , Nagoya Institute of Technology , Gokiso-cho , Showa-ku , Nagoya 466 , Japan.

3 papers in the IJCAI proceedings

IJCAI 1997

A Method of Generating Calligraphy of Japanese Character using Deformable Contourse

with Lisong Wang, Tsuyoshi Nakamura, Minkai Wang, Hidenori Itoh

Details PDF

IJCAI 1985

Incorporating Generalization Heuristics into Verification of Prolog Programs

Details PDF

IJCAI 1983

A Description and Reasoning of Plant Controllers in Temporal Logic

with Akira Fusaoka, Kazuko Takahashi

Details PDF

Future Conferences

AI Journal Division

IJCAI Proceedings