@inproceedings{CTT100554997, author = {Hidenori Itoh and Hidethoshi Monoi and Shigeki Shibayama and Nobuyoshi Miyazaki and Haruo Yokota and Akihiko Konagaya}, title = {Knowledge Base Subsystem in Logic Programming Paradigm}, booktitle = {in Proc. of Int'l Conf. on Fifth Generation Computer Systems '88 (FGCS'88)}, year = 1988, } @inproceedings{CTT100555081, author = {Hidenori Itoh and Toshiaki Takewaki and Haruo Yokota}, title = {Knowlege Base Machine Based on Parallel Kernel Language}, booktitle = {in Proc. of the 5th Intn'l Workshops on Database Machines (IWDM'87)}, year = 1987, } @inproceedings{CTT100555079, author = {Yukihiro Morita and Haruo Yokota and Kenji Nishida and Hidenori Itoh}, title = {Retrieval-By-Unification Operation on a Relational Knowledge Base}, booktitle = {Proc. ot the 12th Intn'l Conf. on Very Large Data Base (VLDB'86)}, year = 1986, } @inproceedings{CTT100682291, author = {Yokota H. and Murakami M. and Morita Y. and Itoh H.}, title = {A Relational Knowledge Base with Retrieval-by-Unification Operation}, booktitle = {}, year = 1986, } @inproceedings{CTT100682292, author = {村上昌己 and 横田治夫 and 伊藤英則}, title = {単一化検索言語による知識ベースソフトウェアの記述}, booktitle = {}, year = 1986, } @inproceedings{CTT100682294, author = {森田幸伯 and 横田治夫 and 伊藤英則}, title = {単一化結合の処理方式}, booktitle = {}, year = 1986, } @inproceedings{CTT100682293, author = {物井秀俊 and 横田治夫 and 西田健次 and 伊藤英則 and 酒井浩}, title = {マルチポート・ページメモリを用いた大規模知識ベースの制御方式}, booktitle = {}, year = 1986, } @inproceedings{CTT100555001, author = {Haruo Yokota and Kou Sakai and Hidenori Itoh}, title = {Deductive Database System based on Unit Resolution}, booktitle = {in Proc of the 2nd Int'l Conf. on Data Engineering (ICDE'86)}, year = 1986, } @inproceedings{CTT100682296, author = {伊藤英則 and 横田治夫 and 村上昌己 and 大場雅博 and 角田健男}, title = {知識ベースマシン "Delta 2" -開発の背景と方針-}, booktitle = {}, year = 1985, } @inproceedings{CTT100682297, author = {横田治夫 and 安部公朗 and 森田幸伯 and 伊藤英則}, title = {単一化による知識ベース検索}, booktitle = {}, year = 1985, } @inproceedings{CTT100682298, author = {村上昌己 and 横田治夫 and 物井秀俊 and 伊藤英則}, title = {知識ベースマシン "Delta2" の知識コンパイラ}, booktitle = {}, year = 1985, } @inproceedings{CTT100682299, author = {横田治夫 and 物井秀俊 and 森田幸伯 and 伊藤英則}, title = {マルチポート・ページメモリの構成方法}, booktitle = {}, year = 1985, }