Fusaoka, Akira

2 publications

AAAI 1996 Situation Calculus on a Dense Flow of Time Akira Fusaoka

IJCAI 1983 A Description and Reasoning of Plant Controllers in Temporal Logic Akira Fusaoka, Hirohisa Seki, Kazuko Takahashi