論文 - 平田 耕一
-
Pre-Checkingに基づく効率的スキーママッチングアルゴリズム 査読有り
久保憲吾,山田敬三,平田耕一,原尾政輝
電子情報通信学会論文誌 J85-D-I ( 2 ) 143 - 151 2002年02月
-
Prediction-Preserving Reducibility with Membership Queries on Formal Languages 査読有り
Kouichi HIRATA,Hiroshi SAKAMOTO (Kyushu Univ.)
Proceedings of the 13th International Symposium on Fundamentals of Computation Theory (Lecture Notes in Computer Science 2138) 172 - 183 2001年08月
-
Second-Order Schema Matching Based on Projection Point Labeling 査読有り
Keizo YAMADA,Koichi HIRATA,Masateru HARAO
Proceedings of the 15th International Workshop on Unification 49 - 53 2001年06月
-
On the Hardness of Learning Acyclic Conjunctive Queries 査読有り
平田 耕一
Proceedings of the 11th International Conference on Algorithmic Learning Theory (Lecture Notes in Artificial Intelligence 1968) 238 - 251 2000年12月
-
A Constructive Learning of Context-Free Languages with a Subpansive Tree 査読有り
Noriko Sugimoto,Takashi Toyoshima,Shinichi Shimozono,Kouichi Hirata
Proc. 5th International Colloquium on Grammatical Inference (Lecture Notes in Artificial Intelligence 1891) 270 - 283 2000年09月
-
Flattening and Implication 査読有り
平田 耕一
Proceedings of the 10th International Conference on Algorithmic Learning Theory (Lecture Notes in Artificial Intelligence 1720) 157 - 168 1999年12月
-
Tractable and Intractable Second-Order Matching Problems 査読有り
Kouichi Hirata,Keizo Yamada,Masateru Harao
Proceedings of the 5th Annual International Computing and Combinatorics Conference (Lecture Notes in Computer Science 1627) 432 - 441 1999年07月
-
Efficient Second-Order Predicate Schema Matching Algorithm 査読有り
Masateru Harao,Keizo Yamada,Kouichi Hirata
Proc. Korea-Japan Joint Workshop on Algorithms and Computation 31 - 39 1999年07月
-
スキーママッチングとその計算量 査読有り
山田敬三,平田耕一,原尾政輝
電子情報通信学会論文誌 J82-D-I ( 11 ) 1307 - 1316 1999年04月
-
一階論理式の学習と帰納論理プログラミング 査読有り
有村博紀,平田耕一
人工知能学会誌 14 ( 5 ) 790 - 799 1999年04月
-
On the Hardness of Approximating the Minimum Consistent Acyclic DFA and Decision Diagram 査読有り
Shinichi Shimozono,Kouichi Hirata,Ayumi Shinohara
Information Processing Letters 66 ( 4 ) 165 - 170 1998年05月
-
Constructing Simply Recursive Programs from a Finite Set of Good Examples 査読有り
平田 耕一
Information Processing Letters 64 225 - 230 1997年12月
-
型付ラムダ計算における証明文法 査読有り
山田敬三,平田耕一,原尾政輝
電子情報通信学会論文誌 J80-D-I ( 11 ) 866 - 879 1997年04月
-
Constructive Learning of Translations Based on Dictionaries 査読有り
Noriko Sugimoto,Kouichi Hirata,Hiroki Ishizaka
Proc. 7th International Workshop on Algorithmic Learning Theory (ALT'96), Lecture Notes in Artificial Intelligence 1160 1996年10月
-
On the Hardness of Approximating the Minimum Consistent OBDD Problems 査読有り
Kouichi Hirata,Shinichi Shimozono,Ayumi Shinohara
Proc. 5th Scandinavian Workshop on Algorithm Theory (SWAT'96), Lecture Notes in Computer Science 1097 1996年08月
-
Rule-Generating Abduction for Recursive Prolog 査読有り
平田 耕一
Informatica 20 ( 1 ) 43 - 55 1996年04月
-
A Classification of Abduction: Abduction for Logic Programming 査読有り
平田 耕一
Machine Intelligence 14 297 - 424 1995年04月
-
Rule-Generating Abduction for Recursive Prolog 査読有り
平田 耕一
Proc. 4th Internaitonal Workshop on Analogical and Inductive Inference (AII'94), Lecture Notes in Artificial Intelligence 872 1994年10月
-
Stable Model Semantics of Circumscription 査読有り
平田 耕一
Bulletin of Informatics and Cybernetics 26 ( 1-2 ) 1994年04月
-
On Russian Propositions 査読有り
平田 耕一
Bulletin of Informatics and Cybernetics 25 ( 1-2 ) 1992年04月