Papers - HIRATA Kouichi
-
Flattening and Implication Reviewed
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 Reviewed
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 Reviewed
Masateru Harao,Keizo Yamada,Kouichi Hirata
Proc. Korea-Japan Joint Workshop on Algorithms and Computation 31 - 39 1999.07
-
一階論理式の学習と帰納論理プログラミング Reviewed
有村博紀,平田耕一
人工知能学会誌 14 ( 5 ) 790 - 799 1999.04
-
スキーママッチングとその計算量 Reviewed
山田敬三,平田耕一,原尾政輝
電子情報通信学会論文誌 J82-D-I ( 11 ) 1307 - 1316 1999.04
-
On the Hardness of Approximating the Minimum Consistent Acyclic DFA and Decision Diagram Reviewed
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 Reviewed
Information Processing Letters 64 225 - 230 1997.12
-
型付ラムダ計算における証明文法 Reviewed
山田敬三,平田耕一,原尾政輝
電子情報通信学会論文誌 J80-D-I ( 11 ) 866 - 879 1997.04
-
Constructive Learning of Translations Based on Dictionaries Reviewed
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 Reviewed
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 Reviewed
Informatica 20 ( 1 ) 43 - 55 1996.04
-
A Classification of Abduction: Abduction for Logic Programming Reviewed
Machine Intelligence 14 297 - 424 1995.04
-
Rule-Generating Abduction for Recursive Prolog Reviewed
Proc. 4th Internaitonal Workshop on Analogical and Inductive Inference (AII'94), Lecture Notes in Artificial Intelligence 872 1994.10
-
Stable Model Semantics of Circumscription Reviewed
Bulletin of Informatics and Cybernetics 26 ( 1-2 ) 1994.04
-
On Russian Propositions Reviewed
Bulletin of Informatics and Cybernetics 25 ( 1-2 ) 1992.04