Ogawa, Hitoshi

3 publications

IJCAI 1979 An Active Frame for the Knowledge Representation Hitoshi Ogawa, Hideaki Nanba, Kokichi Tanaka

IJCAI 1979 The Theorem Prover Using a Parallel Processing System Hitoshi Ogawa, Tadahiro Kitahashi, Kokichi Tanaka

IJCAI 1977 A Structure for the Representation of Knowledge: A Proposal for a Micro-Actor Hitoshi Ogawa, Kokichi Tanaka