Papers - HIRATA Kouichi
-
Prediction-Hardness of Acyclic Conjunctive Queries Reviewed
Theoretical Computer Science 348 ( 1 ) 84 - 94 2005.12
-
帰納的実数値関数の有限予測と無矛盾推論
廣渡栄寿,平田耕一,宮原哲浩
第61回人工知能学会基本問題研究会 人工知能学会研究会資料 SIG-FPAI-A503 81 - 86 2005.11
-
Chordal Clause の包摂アルゴリズムについて
桑原恵,平田耕一,原尾政輝
第61回人工知能学会基本問題研究会 人工知能学会研究会資料 SIG-FPAI-A503 63 - 68 2005.11
-
根付き順序木のグラム分散
大倉暢仁,平田耕一,久保山哲二,中野眞一
第61回人工知能学会基本問題研究会 人工知能学会研究会資料 SIG-FPAI-A503 51 - 56 2005.11
-
The q-Gram Distance for Ordered Unlabeled Trees Reviewed
Nobuhito Ohkura,Kouichi Hirata,Tetsuji Kuboyama,Masateru Harao
Proc. 8th International Conference on Discovery Science (DS2005), Lecture Notes in Artificial Intelligence 3735 189 - 202 2005.10
-
ラベル無し順序木のqグラム距離
大倉暢仁,平田耕一,久保山哲二,原尾政輝
コンピュテーション研究会, 信学技法 COMP2005-31 105 25 - 29 2005.09
-
On Finding Acyclic Subhypergrahs Reviewed
Megumi Kuwabara,Kouichi Hirata,Masateru Harao
Proc. 15th International Symposium on Fundamentals of Computation Theory (FCT2005), Lecture Notes in Computer Science 3623 491 - 503 2005.08
-
Performance Support System for Beginners Reviewed
Shogo Ozaki,Masateru Harao,Kouichi Hirata
Proc. 3rd International Conference on Information Technology and Applications (ICITA'2005) 2 415 - 418 2005.07
-
Multi-Agent Based Modeling and Simulation of Consensus Formations in Arguments Reviewed
Kosuke Ono,Masateru Harao,Kouichi Hirata
Proc. 3rd International Conference on Information Technology and Applications (ICITA'2005) 1 264 - 267 2005.07
-
スキーマ誘導方式を用いたシークェント形式汎用定理自動証明器の開発
尹淑萍,山田敬三,原尾政輝,平田耕一
夏のLAシンポジウム2005 2005.07
-
Prediction of Real-Valued Functions from Finite Examples Reviewed
Eiju Hirowatari,Kouichi Hirata,Tetsuhiro Miyahara
New Frontiers in Artificial Intelligence (Joint JSAI 2005 Workshop Post-Proceedings), Lecture Notes in Artificial Intelligence 4012 224 - 234 2005.06
-
On Generalization and Subsumption for Ordered Clauses Reviewed
Megumi Kuwabara,Takeshi Ogawa,Kouichi Hirata,Masateru Harao
New Frontiers in Artificial Intelligence (Joint JSAI 2005 Workshop Post-Proceedings) Lecture Notes in Artificial Intelligence 4012 212 - 223 2005.06
-
Prediction of Real-Valued Functions from Finite Examples Reviewed
Eiju Hirowatari,Kouichi Hirata,Tetsuhiro Miyahara
Proc. Workshop on Learning with Logics and Logics for Learning (LLLL) 81 - 88 2005.06
-
Analogy Based Generic Automatic Theorem Prover Reviewed
Keizo Yamada,Shuping Yin,Masateru Harao,Kouichi Hirata
Proc. Workshop on Learning with Logics and Logics for Learning (LLLL) 28 - 33 2005.06
-
Frequent Few-Overlapped Monotone DNF Formulas Reviewed
Yoshikazu Shima,Kouichi Hirata,Masateru Harao
Proc. Workshop on Learning with Logics and Logics for Learning (LLLL) 9 - 15 2005.06
-
On Generalization and Subsumption for Ordered Clauses Reviewed
Megumi Kuwabara,Takeshi Ogawa,Kouichi Hirata,Masateru Harao
Proc. Workshop on Learning with Logics and Logics for Learning (LLLL) 21 - 27 2005.06
-
Development of a Multi-Agent Based Generic Traffic Simulator Reviewed
Kosuke Ono,Takashi Hata,Toyofumi Maetani,Masateru Harao,Kouichi Hirata
Proc. Agent Network Dynamics and Intelligence (ANDI) 83 - 89 2005.06
-
Development of a Multi-Agent Based Generic Traffic Simulator Reviewed
Kosuke Ono,Takashi Hata,Toyofumi Maetani,Masateru Harao,Kouichi Hirata
New Frontiers in Artificial Intelligence (Joint JSAI 2005 Workshop Post-Proceedings) Lecture Note in Artificial Intelligence 4012 249 - 260 2005.06
-
On the Prediction of Recursive Real-Valued Functions Reviewed
Eiju Hirowatari,Kouichi Hirata,Tetsuhiro Miyahara,Setsuo Arikawa
The First CiE (Computability in Europe) Conference (CiE2005), ILLC Publication 93 - 103 2005.06
-
Extraction of Frequent Few-Overlapped Monotone DNF Formulas with Depth-First Prunning Reviewed
Yoshikazu Shima,Kouichi Hirata,Masateru Harao
Proceedings of the 9th Pacific-Aisa Conference on Knowledge Discovery and Data Mining (PAKDD2005), Lecture Notes in Artificial Intelligence 3518 50 - 60 2005.05