論文 - 平田 耕一
-
Finite Prediction of Recursive Real-Valued Functions 査読有り
Eiju Hirowatari,Kouichi Hirata,Tetsuhiro Miyahara
Proc. Computability in Europe 2006 (University of Wales Swansea, Computer Science Report Series, Report # CSR 7-2006) 140 - 149 2006年07月
-
A q-Grams Based Distance Measure for Ordered Labeled Trees 査読有り
Tetsuji Kuboyama,Kouichi Hirata,Nobuhito Ohkura,Masateru Harao
Proc. 4th Workshop on Learning with Logics and Logics for Learning (LLLL2006) 77 - 83 2006年06月
-
The Gram Distribution for Rooted Ordered Trees 査読有り
Nobuhito Ohkura,Kouichi Hirata,Tetsuji Kuboyama,Masateru Harao,Shin-Ichi Nakano
Proc. 4th Workshop on Learning with Logics and Logics for Learning (LLLL2006) 69 - 77 2006年06月
-
Extraction of Frequent Causal Episodes from Bacterial Culture Data 査読有り
Takashi Katoh,Kouichi Hirata,Masateru Harao
Proc. 4th Workshop on Learning with Logics and Logics for Learning (LLLL2006) 53 - 60 2006年06月
-
Subsumption Algorithm for Chordal Clauses 査読有り
Megumi Kuwabara,Kouichi Hirata,Masateru Harao
Proc. 4th Workshop on Learning with Logics and Logics for Learning (LLLL2006) 23 - 30 2006年06月
-
Prediction-Hardness of Acyclic Conjunctive Queries 査読有り
平田 耕一
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 査読有り
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 査読有り
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 査読有り
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 査読有り
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 査読有り
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月
-
Prediction of Real-Valued Functions from Finite Examples 査読有り
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 査読有り
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 査読有り
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 査読有り
Megumi Kuwabara,Takeshi Ogawa,Kouichi Hirata,Masateru Harao
Proc. Workshop on Learning with Logics and Logics for Learning (LLLL) 21 - 27 2005年06月