論文 - 平田 耕一
-
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月
-
一階論理式の学習と帰納論理プログラミング 査読有り
有村博紀,平田耕一
人工知能学会誌 14 ( 5 ) 790 - 799 1999年04月
-
スキーママッチングとその計算量 査読有り
山田敬三,平田耕一,原尾政輝
電子情報通信学会論文誌 J82-D-I ( 11 ) 1307 - 1316 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月