有川 節夫     
   Arikawa, Setsuo  
  理学博士
九州大学総長
 
  arikawa@i.kyushu-u.ac.jp  
  論文(英文)
  1. S. Inenaga, H. Hoshino, A. Shinohara, M. Takeda, S. Arikawa, G. Mauri, G. Pavesi
    On-line construction of compact directed acyclic word graphs
    Discrete Applied Mathematics, Vol. 146(2), 156-179, 2005

  2. T. Asai, K. Abe, S. Kawasoe, H. Sakamoto, H. Arimura, S. Arikawa
    Efficient Substructure Discovery from Large Semi-Structured Data
    IEICE Transactions on Information and Systems, Vol. E87-D, No. 12, 2754-2763, 2004, 12

  3. S. Inenaga, A. Shinohara, M. Takeda, S. Arikawa
    Compact directed acyclic word graphs for a sliding window
    Journal of Discrete Algorithms Vol.2, No.1, 33-51, 2004, 3

  4. Takeda, S. Inenaga, H. Bannai, A. Shinohara, S. Arikawa
    Discovering Most Classificatory Patterns for Very Expressive Pattern Classes
    Proc. The 6th International Conference on Discovery Science (DS 2003), Lecture Notes in Computer Science 2843, 486-493, 2003, 10

  5. T. Kida, T. Matsumoto, Y. Shibata, M. Takeda, A. Shinohara, S. Arikawa
    Collage system: A unifying framework for compressed pattern matching
    Theoretical Computer Science Vol.298, No.1, 253-272, 2003, 4

  6. M. Hirao, H. Hoshino, A. Shinohara, M. Takeda, S. Arikawa
    A practical algorithm to find the best subsequence patterns
    Theoretical Computer Science Vol.292, No.2, 465-479, 2003

  7. K. Baba, A. Shinohara, M. Takeda, S. Inenaga, S. Arikawa
    A Note on Randomized Algorithm for String Matching with Mismatches
    Nordic Journal of Computing Vol.10, No1, 2-12, 2003

  8. E. Hirowatari, K. Hirata, T. Miyahara, S. Arikawa
    Refutability and Reliability for Inductive Inference of Recursive Real-Valued Functions
    IPSJ SIGNotes Mathematical modeling and Problem Solving No.046-001, 2003

  9. E. Hirowatari, K. Hirata, T. Miyahara, S. Arikawa
    Criteria for Inductive Inference with Mind Changes and Anomalies of Recursive Real-Valued Functions
    The Transactions of IEICE E-86-D, 219-227, 2003

  10. T. Asai, H. Arimura, K. Abe, S. Kawasoe, S. Arikawa
    Online Algorithms for Mining Semi-structured Data Stream
    Proc. IEEE International Conference on Data Mining (ICDM 2002), 27-34, 2002, 12

  11. S. Inenaga, H. Bannai, A. Shinohara, M. Takeda, S. Arikawa
    Discovering Best Variable-Length-Don’t –Care Patterns
    Proc. 5th International Conference on Discovery Science, Lecture Notes in Computer Science 2534, 86-97, 2002, 11

  12. K. Abe, S. Kawasoe, T. Asai, H. Arimura, H. Sakamoto, S. Arikawa
    Mining Frequent Substructures from Web
    Active Mining–New Directions of Data Mining, Frontiers in Artificial Intelligence and Applications, 79, 83-94, 2002, 9

  13. M. Takeda, S. Miyamoto, T. Kida, A. Shinohara, S. Fukamachi, T. Shinohara, S. Arikawa
    Processing Text Files as Is: Pattern Matching over Compressed Texts, Multi-Byte Character Texts, and Semi-Structured Texts
    Proc. 9th International Symposium on String Processing and Information Retrieval (SPIRE 2002), Lecture Notes in Computer Science 2476, 170-186, 2002, 9

  14. S. Inenaga, A. Shinohara, M. Takeda, S. Arikawa
    Compact Directed Acyclic Word Graphs for a Sliding Window
    Proc. 9th International Symposium on String Processing and Information Retrieval (SPIRE 2002), Lecture Notes in Computer Science 2476, 310-324, 2002, 9

  15. K. Baba, A. Shinohara, M. Takeda, S. Inenaga, S. Arikawa
    A Note on Randomized Algorithm for String Matching with Mismatches
    Proc. The Prague Stringology Conference ’02 (PSC’02), 9-17, 2002, 9

  16. S. Inenaga, A. Shinohara, M. Takeda, H. Bannai, S. Arikawa
    Space-Economical Construction of Index Structures for All Suffixes of a String
    Proc. 27th Inter. Symp. on Mathematical Foundation of Computer Science (MFCS 2002),Lecture Notes in Computer Science 2420, 341-352, 2002, 8

  17. K. Abe, S. Kawasoe, T. Asai, H. Arimura, S. Arikawa
    Optimized Substructure Discovery for Semi-structured Data
    Proc. 6th European Conference on Principles and Practice of Knowledge Discovery in Databases (PKDD 2002), Lecture Notes in Artificial Intelligence 2431, 1-14, 2002, 8

  18. S. Inenaga, M. Takeda, A. Shinohara, H. Hoshino, S. Arikawa
    The Minimum DAWG for All Suffixes of a String and Its Applications
    Proc. 13th Ann. Symp. on Combinatorial Pattern Matching (CPM 2002), Lecture Notes in Computer Science 2373, 153-167, 2002, 7

  19. T. Asai, K. Abe, S. Kawasoe, H. Sakamoto, H. Arimura, S. Arikawa
    Efficiently Mining Frequent Substructures from Semi-structured Data
    Proc. of International Workshop on Information & Electrical Engineering (IWIE2002), 59-64, 2002, 5

  20. T. Asai, K. Abe, S. Kawasoe, H. Arimura, H. Sakamoto, S. Arikawa
    Efficient Substructure Discovery from Large Semi-structured Data
    Proc. 2ndSIAM Int’l Conf. on Data Mining, SIAM, 158-174, 2002, 4

  21. H. Arimura, H. Sakamoto, S. Arikawa
    Efficient Data Mining from Large Text Databases
    Progress in Discovery Science 2002, Lecture Notes in Artificial Intelligence 2281, 123-139, 2002, 3

  22. A. Shinohara, M. Takeda, S. Arikawa, M. Hirao, H. Hoshino, S. Inenaga
    Finding Best Patterns Practically
    Progress in Discovery Science 2002, Lecture Notes in Artificial Intelligence 2281, 307-317, 2002, 3

  23. H. Sakamoto, H. Arimura, S. Arikawa
    Knowledge Discovery from Semi-structured Texts
    Progress in Discovery Science 2002, Lecture Notes in Artificial Intelligence 2281, 586-599, 2002, 3

  24. H. Arimura, H. Sakamoto, S. Arikawa
    Efficient Learning of Semi-structured Data from Queries
    Proc. the 12th International Conference on Algorithmic Learning Theory (ALT2001), Lecture Notes in Artificial Intelligence 2225, 315-331, 2001, 11

  25. S. Arikawa
    The Discovery Science Project in Japan
    Proc. 12th International Conference on Algorithmic Learning Theory (ALT’01), Lecture Notes in Computer Science 2225, 9-11, 2001, 11

  26. K. Taniguchi, H. Sakamoto, H. Arimura, S. Shimozono, S. Arikawa
    Mining Semi-structured Data by Path Expressions
    Proc. the 4th International Conference on Discovery Science (DS 2001), Lecture Notes in Artificial Intelligence 2226, 378-388, 2001, 11

  27. M. Hirao, S. Inenaga, A. Shinohara, M. Takeda, S. Arikawa
    A Practical Algorithm to Find the Best Episode Patterns
    Proc. the 4th International Conference on Discovery Science (DS 2001), Lecture Notes in Artificial Intelligence, 2226, 435-440, 2001, 11

  28. S. Inenaga, H. Hoshino, A. Shinohara, M. Takeda, S. Arikawa
    On-Line Construction of Symmetric Compact Directed Acyclic Word Graphs
    Proc. 8th Symposium on String Processing and Information Retrieval (SPIRE 2001), 96-110, 2001, 11

  29. E. Hirowatari, S. Arikawa
    A comparison of identification criteria for inductive inference of recursive real-valued functions
    Theoretical Computer Science Vol.268, No.2, 351-366, 2001, 10

  30. S. Inenaga, H. Hoshino, A. Shinohara, M. Takeda, S. Arikawa
    Construction of the CDAWG for a Trie
    Proc. the Prague Stringology, Conference ’01 (PSC’01)37-48, 2001, 9

  31. H. Arimura, H. Asaka, H. Sakamoto, S. Arikawa
    Efficient Discovery of Proximity Patterns with Suffix Arrays
    Proc. the 12th Annual Symposium on Combinatorial Pattern Matching (CPM 2001), Lecture Notes in Computer Science 2089, 152-156, 2001, 7

  32. S. Inenaga, H. Hoshino, A. Shinohara, M. Takeda, S. Arikawa, G. Mauri, G. Pavesi
    On-Line Construction of Compact Directed Acyclic Word Graphs
    Proc. the 12th Annual Symposium on Combinatorial Pattern Matching (CPM 2001), Lecture Notes in Computer Science 2089, 169-180, 2001, 7

  33. T. Kasai, G. Lee, H. Arimura, S. Arikawa, K. Park
    Linear-Time Longest-Common-Prefix Computation in Suffix Arrays and Its Applications
    Proc. the 12th Annual Symposium on Combinatorial Pattern Matching (CPM 2001), Lecture Notes in Computer Science 2089, 181-192, 2001, 7

  34. T. Kida, T. Matsumoto, M. Takeda, A. Shinohara, S. Arikawa
    Multiple Pattern Matching Algorithms on Collage System
    Proc. 12th Ann. Symp. on Combinatorial Pattern Matching(CPM 2001), Lecture Notes in Computer Science 2089, 193-206, 2001, 7

  35. H. Sakamoto, H. Arimura, S. Arikawa
    Extracting Partial Structures from HTML Documents
    The 14thFlorida Artificial Intelligence Research Symposium (FLAIRS’2001),264-268, 2001, 3

  36. M. Takeda, Y.Shibata, T. Matsumoto, T.Kida, A. Shinohara, S. Fukamachi, T. Shinohara, S. Arikawa
    Speeding up string pattern matching by text compression: The dawn of a new era,Trans. Information Processing Society of Japan, Vol.42, No.3, 370-384, 2001, 3

  37. G. Navarro, T. Kida, M. Takeda, A. Shinohara, S. Arikawa
    Faster Approximate String Matching over Compressed Text
    Proc. Data Compression Conference 2001, 459-468, 2001, 3

  38. S. Mitarai, M. Hirao, T. Matsumoto, A. Shinohara, M. Takeda, S. Arikawa
    Compressed Pattern Matching for SEQUITUR
    Proc. Data Compression Conference 2001, 469-480, 2001, 3

  39. M. Hirao, H. Hoshino, A. Shinohara, M. Takeda, S. Arikawa
    A Practical Algorithm to Find the Best Subsequence Patterns
    Proc. of 3rd International Conference on Discovery Science (Discovery Science 2000), Lecture Notes in Artificial Intelligence 1967, 141-154, 2000, 12

  40. H. Arimura, J. Abe, H. Sakamoto, S. Arikawa, R. Fujino, S. Shimozono
    Text Data Mining: Discovery of Important Keywords in the Cyberspace
    Proc. Kyoto International Conference on Digital Libraries 2000, British Library and National Science Foundation, 121-126, 2000, 11

  41. T. Minami, H. Kurita, S. Arikawa
    Putting Old Data into New System: Web-Based Catalog Card Image Searching
    Proc. 2000 Kyoto International Conference on Digital Libraries (ICDL2000),296-303, 2000, 11

  42. H. Sakamoto, H. Arimura, S. Arikawa
    Identification of Tree Translation Rules from Examples
    Proc. the 5th International Colloquium on Grammatical Inference (ICGI 2000),Lecture Notes in Artificial Intelligence 1891, 241-255, 2000, 9

  43. M. Hirao, A. Shinohara, M. Takeda, S. Arikawa
    Fully Compressed Pattern Matching Algorithm for Balanced Straight-Line Programs
    Proc. of 7th International Symposium on String Processing and Information Retrieval (SPIRE 2000), 132-138, 2000, 9

  44. H. Hoshino, A. Shinohara, M. Takeda, S. Arikawa
    Online Construction of Subsequence Automata for Multiple Texts
    Proc. of 7th International Symposium on String Processing and Information Retrieval (SPIRE 2000), 146-152, 2000, 9

  45. T. Matsumoto, T. Kida, M. Takeda, A. Shinohara, S. Arikawa
    Bit-Parallel Approach to Approximate String Matching in Compressed Texts
    Proc. of 7th International Symposium on String Processing and Information Retrieval (SPIRE 2000), 221-228, 2000, 9

  46. S. Shimozono, H. Arimura, S. Arikawa
    Efficient Discovery of Optimal Word-Association Patterns in Large Text Databases
    New Generation Computing, Vol.18, No.1, 49-60, 2000

  47. Y. Shibata, T. Matsumoto, M. Takeda, A. Shinohara, S. Arikawa
    A Boyer-Moore Type Algorithm for Compressed Pattern Matching
    Proc. 11th Ann. Symp. on Combinatorial Pattern Matching (CPM 2000), Lecture Notes in Computer Science 1848, 181-194, 2000, 6

  48. E. Hirowatari, K. Hirata, T. Miyahara, S. Arikawa
    Refutability and Reliability for Inductive Inference of Recursive Real-Valued Functions
    Journal of Information Processing Society of Japan, Vol. 41, No. 6, 1234-1244, 2000, 6

  49. R. Fujino, H. Arimura, S. Arikawa
    Discovering Unordered and Ordered Phrase Association Patterns for Text Mining
    Proc. 4th Pacific-Asia Conference on Knowledge Discovery and Data Mining (PAKDD2000), Lecture Notes in Artificial Intelligence, Springer-Verlag, No. 1805, 281-293, 2000, 4

  50. Y. Shibata, T. Kida, S. Fukamachi, M. Takeda, A. Shinohara, T. Shinohara, S. Arikawa
    Speeding Up Pattern Matching by Text Compression
    Proc. 4th Italian Conference on Algorithms and Complexity (CIAC 2000), Lecture Notes in Computer Science 1767, 306-315, 2000, 3

  51. J. Abe, R. Fujino, S. Shimozono, H. Arimura, S. Arikawa
    Text Data Mining: Application to Browsing Large Document Collections and Web Data
    Journal of Japanese Society for Artificial Intelligence, Vol.15, No.4, 618-628, 2000, 7

  52. T. Kida, Y. Shibata, M. Takeda, A. Shinohara, S. Arikawa
    A Unifying Framework for Compressed Pattern Matching
    Proc. 6th International Symposium on String Processing and Information Retrieval (SPIRE 1999), 89-96, 1999, 9

  53. T. Kida, M. Takeda, A. Shinohara, S. Arikawa
    Shift-And Approach to Pattern Matching in LZW Compressed Text
    Proc. 10th Annual Symposium on Combinatorial Pattern Matching (CPM 1999), Lecture Notes in Computer Science 1645, 1-13, 1999, 7

  54. Y. Shibata, M. Takeda, A. Shinohara, S. Arikawa
    Pattern Matching in Text Compressed by Using Antidictionaries
    Proc. 10th Annual Symposium on Combinatorial Pattern Matching (CPM 1999), Lecture Notes in Computer Science 1645, 37-49, 1999, 7

  55. K. Apsitis, S. Arikawa, R. Freivalds, E. Hirowatari, C. H. Smith
    On the Inductive Inference of Recursive Real-Valued Functions
    Theoretical Computer Science Vol.219, No.1-2, 3-17, 1999, 5

  56. H. Arimura, A. Wataki, R. Fujino, S. Shimozono, S. Arikawa
    An Efficient Tool for Discovering Simple Combinatorial Patterns from Large Text Databases
    Proc. First Int. Conf. on Discovery Science, Lecture Notes in Artificial Intelligence 1532, 393-394, 1998, 12

  57. K. Niijima, H. Uchida, E. Hirowatari, S. Arikawa
    Discovery of Differential Equations from Numerical Data
    Proc. First Int. Conf. on Discovery Science, Lecture Notes in Artificial Intelligence 1532, 364-374, 1998, 12

  58. H. Arimura, A. Wataki, R. Fujino, S. Arikawa
    A Fast Algorithm for Discovering Optimal String Patterns in Large Text Databases
    Proc. 9th Int. Conf. on Algorithmic Learning Theory, Lecture Notes in Artificial Intelligence 1501, 247-261, 1998, 10

  59. E. Hirowatari, S. Arikawa
    A Comparison of Identification Criteria for Inductive Inference of Recursive Real-Valued Functions
    Proc. 9th Int. Conf. on Algorithmic Learning Theory, Lecture Notes in Artificial Intelligence 1501, 262-275, 1998, 10

  60. H. Arimura, A. Wataki, R. Fujino, S. Arikawa
    An Efficient Algorithm for Text Data Mining with Optimal String Patterns
    Advanced Database Systems for Integration of Media and User Environments ’98, Advanced database research and development series, Vol.9, 35-40, 1998, 5

  61. T. Kida, M. Takeda, A. Shinohara, M. Miyazaki, S. Arikawa
    Multiple Pattern Matching in LZW Compressed Text
    Proc. Data Compression Conference 1998, 103-112, 1998, 3

  62. E. Hirowatari, S. Arikawa
    Inferability of Recursive Real-Valued Functions
    The 8th Int. Workshop on Algorithmic Learning Theory, Lecture Notes in Artificial Intelligence 1316, 18-31, 1997, 10

  63. N. Harada, S. Arikawa, H. Ishizaka
    A Class of Elementary Formal Systems that has an Efficient Parsing Algorithm
    Proc. the 7th European-Japanese Conference on Information Modeling and Knowledge Bases, 89-101, 1997, 5

  64. K. Kiwata, S. Arikawa
    Introducing Types into Elementary Formal Systems
    Bulletin of Informatics and Cybernetics, Vol.28, No.1, 79-89, 1996, 3

  65. C. Zeng, S. Arikawa
    Language Learning by Inverse Resolution on Elementary Formal Systems
    RI FIS-TR-CS-81, KyushuUniversity, 1996, 1

  66. Y. Mukouchi, S. Arikawa
    Towards a Mathematical Theory of Machine Discovery from Facts
    Theoretical Computer Science, Vol.137, No.1, 53-84, 1995, 1

  67. D. Ikeda, S. Arikawa
    Another Quantum Turing Machines
    RIFIS-TR-CS-114, 1995, 5

  68. T. Shinohara, S. Arikawa
    Pattern Inference
    Algorithmic Learning for Knowledge-Based System, Lecture Notes in Artificial Intelligence 961, 259-291, 1995, 6

  69. S. Arikawa, M. Sato, A. Shinohara, T. Shinohara
    Developments in Computational Learning and Discovery Theory within the Framework of Elementary Formal Systems,
    Machine Intelligence Vol.15, 227-247, Oxford Univ. Press, 1995, 7

  70. T. Shoudai, N. Furukawa, M. Lappe, T. Uchida, S. Miyano, S. Shimozono, A. Shinohara, T. Shinohara, T. Okazaki, S. Kuhara, S. Arikawa
    BONSAIGarden: Parallel Knowledge Discovery System for Amino Acid Sequences,Proc. 3rd International Conference on Intelligent Systems for Molecular Biology, AAAI Press, 359-366, 1995, 7

  71. E. Hirowatari, S. Arikawa
    Incorporating Explanation-Based Generalization with Analogical Reasoning
    Bulletin of Informatics and Cybernetics, Vol.26, No.1-2, 13-33, 1994, 3

  72. E. Hirowatari, S. Arikawa
    Partially Isomorphic Generalization and Analogical Reasoning
    Proc. of European Conference on Machine Learning, Lecture Notes in Artificial Intelligence 784, 363-366, 1994, 4

  73. H. Arimura, R. Fujino, T. Shinohara, S. Arikawa
    Protein Motif Discovery from Positive Examples by Minimal Multiple Generalization over Regular Patterns
    Proc. of Genome Informatics Workshop 1994, 6

  74. S. Shimozono, A. Shinohara, T. Shinohara, S. Miyano, S. Kuhara, S. Arikawa
    Knowledge Acquisition from Amino Acid Sequences by Machine Learning System BONSAI
    Trans. Inf. Proc. Soc. Japan, Vol.35, No.10, 2009-2018, 1994, 10

  75. Y. Koga, E. Hirowatari, S. Arikawa
    Explanation-Based Reuse of Prolog Programs
    Proc. 4th Workshop on Algorithmic Learning Theory, Lecture Notes in Artificial Intelligence 872, 149-160, 1994, 10

  76. S. Shimozono, A. Shinohara, T. Shinohara, S. Miyano, S. Kuhara, S. Arikawa
    Finding Alphabet Indexing for Decision Trees over Regular Patterns: An Approach to Bioinformatical Knowledge Acquisition
    Proc. of the 26th Annual Hawaii International Conference on System Sciences, Vol.1, IEEE Computer Society Press, 763-772, 1993, 1

  77. Y. Mukouchi, S. Arikawa
    Inductive Inference Machines That Can Refute Hypothesis Spaces
    Proc. of the 4th Workshop on Algorithmic Learning Theory, Lecture Notes in Artificial Intelligence 744, 123-136, 1993, 10

  78. S. Arikawa, S. Miyano, A. Shinohara, S. Kuhara, Y. Mukouchi, T. Shinohara
    A Machine Discovery from Amino Acid Sequences by Decision Trees over Regular Patterns
    New Generation Computing Vol.11, No.3-4, 361-375, 1993, 11

  79. A. Shinohara, S. Shimozono, T. Uchida, S. Miyano, S. Kuhara, S. Arikawa
    Running Learning Systems in Parallel for Machine Discovery from Sequences
    Proc. Genome Informatics Workshop Ⅳ, 1993, 12

  80. S. Arikawa, S. Miyano, A. Shinohara, S. Shimozono, T. Shinohara, S. Kuhara
    Knowledge Acquisition from amino Acid Sequences by Learning Algorithms
    Proc. 2nd Japanese Knowledge Acquisition for Knowledge-Based Systems Workshop, 109-128, 1992, 11

  81. S. Arikawa, S. Miyano, A. Shinohara, T. Shinohara, A. Yamamoto
    Algorithmic Learning with Elementary Formal Systems
    IEICE Transactions on Information and Systems, Vol.E75-D, No.4, 405-414, 1992, 7

  82. S. Arikawa, S. Kuhara, S. Miyano, Y. Mukouchi, A. Shinohara, T. Shinohara
    A Machine Discovery from Amino Acid Sequences by Decision Trees over Regular Patterns
    Proc. Fifth International Conference on Fifth Generation Computer Systems (FGCS ’92), 618-625, 1992, 6

  83. S. Arikawa, S. Kuhara, S. Miyano, A. Shinohara, T. Shinohara
    A Learning Algorithm for Elementary Formal Systems and Its Experiments on Identification of Transmembrane Domains
    Proc. the 25th Hawaii International Conference on System Sciences, Vol.Ⅰ, IEEE Computer Society Press, 675-684, 1992, 1

  84. S. Arikawa, T. Shinohara, A. Yamamoto
    Learning Elementary Formal Systems.
    Theoretical Computer Science, Vol.95, No.1, 97-113, 1992, 1

  85. H. Inoue, S. Arikawa, S. Takeya
    A Simple Method of Mutual Translation between Japanese Sentences and Horn Clauses
    Engineering Science Reports, Kyushu Univ., Vol. 13, No. 3, 317-324, 1991, 12

  86. S. Arikawa, T. Shinohara, S. Miyano, A. Shinohara
    More about Learning Elementary Formal Systems
    Lecture Notes in Artificial Intelligence, 659, 107-117, 1991, 12

  87. Y. Shi, S. Arikawa
    Time-Bounded Reasoning in First Order Knowledge Base Systems
    Lecture Notes in Artificial Intelligence, 485, 54-72, 1991, 7

  88. S. Arikawa, T. Shinohara, A. Yamamoto
    Elementary Formal System as a Framework of Inductive Inference
    Theoretical Foundation of Knowledge Information Processing
    Inoga, 83-92, 1990, 8

  89. S. Arikawa, T. Shinohara, A. Yamamoto
    Inductive Inference of Formal Languag by Elementary Formal Systems
    Information Modeling and Knowledge Bases
    IOS Press, 455-468, 1990, 6

  90. Y. Kawasaki, T. Shinohara, S. Arikawa
    Model Inference Using Bidirectional Refinements
    Bulletin of Informatics and Cybernetics Vol.24, No.1-2, No.1-13, 1990, 3

  91. S. Arikawa, T. Shinohara, A. Yamamoto
    Elementary Formal System as a Unifying Framework for Language Learning
    Proceedings of the 2nd Workshop on Computational Learning Theory, 312-327, 1989, 7

  92. Y. Shi, S. Arikawa
    Time-Bounded Reasoning in First Order Knowledge Base Systems
    Proc. of the 8th Conference on Logic Programming (LP’89), Lecture Notes in Computer Science 485, 54-72, 1991, 7

  93. S. Arikawa, T. Shinohara, S. Takeya, et al.
    SIGMA: A Text Database Management System
    Proceedings, Berliners Informatik Tag, 72-81, 1989, 5

  94. H. Yuasa, S. Arikawa
    Pseudo Extension in Default Reasoning and Belief Revision by Model Inference
    Lecture Notes in Artificial Intelligence, 383, 27-37, 1989, 4

  95. H. Yuasa, S. Arikawa
    Pseudo Extension in Default Reasoning and Belief Revision by Model Inference
    Logic Programming 1988, Proc. of the 7th Conference on Logic Programming (LP’88), Lecture Notes in Computer Science 383, 27-37, 1989, 4

  96. M. Haraguchi, S. Arikawa
    Reasoning by Analogy as a Partial Identity between Models
    Lecture Notes in Artificial Intelligence, 265, 61-87, 1987, 5

  97. M. Haraguchi, S. Arikawa
    A Foundation of Reasoning by Analogy: Analogical Union of Logic Programs
    Lecture Notes in Artificial Intelligence, 264, 58-69, 1987, 4

  98. M. Haraguchi, S. Arikawa
    A Formalism of Analogical Reasoning
    Proc. the Regional Symposium on Computer Science and Its Applications, 3, 1-15, 1987, 1

  99. S. Arikawa, T. Shinohara
    An Efficient Realization of Aho-Corasick Pattern Matching Machines for Japanese Texts
    Proc. the Regional Symposium on Computer Science and Its Applications, 12, 1-20, 1987, 1

  100. M. Haraguchi, S. Arikawa
    Reasoning by Analogy as a Partial Identity between Models
    Proc. of International Workshop on Analogical and Inductive Inference ( AII 1986) Lecture Notes in Computer Science 265, 61-87, 1986, 10

  101. M. Haraguchi, S. Arikawa
    A Foundation of Reasoning by Analogy: Analogical Union of Logic Programs
    Proc. 5th Conference on Logic Programming (LP 1986), Lecture Notes in Computer Science 264, 58-69, 1986, 6

  102. T. Shinohara, S. Arikawa
    Pattern Matching Machines for Japanese Texts
    Res. Rept., RIFIS, Kyushu Univ., No. 110, 1986, 3

  103. S. Arikawa, T. Shinohara
    A Run-Time Efficient Realization of Aho-Corasick Pattern Matching Machines
    New Generation Computing Vol.2, No.2, 171-186, 1984, 5

  104. T. Shinohara, S. Arikawa
    Learning Data Entry Systems: An Application of Inductive Inference of Pattern Languages
    Res. Rept., RIFIS, Kyushu Univ., No. 102, 1-12, 1983, 2

  105. S. Shiraishi, S. Arikawa
    A Minimal Solution of Dictionary Domain Equations
    Res. Rept., RIFIS, Kyushu Univ., No. 62, 1-8, 1981, 12

  106. S. Arikawa
    One-Way Sequential Search Systems and Their Powers
    Bull. Math. Stat. Vol.19, No.3-4, 69-85, 1981, 3

  107. S. Arikawa, S. Kano, T. Kitagawa, S. Takeya
    Organization and Use of Private Researcher Files in Scientific Research Work
    Scientific Information Systems in Japan (H. Inose Ed.), North-Holland, 43-50, 1981

  108. S. Takeya, S. Arikawa, S. Kano
    On Functions for Advanced Information Management in Laboratories
    Proc. 13th Hawaii International Conference on System Sciences, Vol. 2, 206-215, 1980, 1

  109. S. Arikawa
    A One-Way Sequential Search System and Its Applicability to Medical Information Processing
    Proc. 13th Hawaii International Conference on System Sciences, Vol. 3, 343-353, 1980, 1

  110. T. Oshiba, S. Arikawa
    On Right Extension Grammars and Languages
    Res. Rept., RIFIS, Kyushu Univ., No. 61, 1-36, 1979, 7

  111. S. Takeya, S. Arikawa
    TEXTIR - A Text Information Retrieval System using Pattern Matching Machines
    Res. Rept., RIFIS, Kyushu Univ., No. 83, 1-16, 1978, 6

  112. K. Tanatsugu, S. Arikawa
    On Characteristic Sets and Degrees of Finite Automata
    International J. of Computer and Information Science, Vol.6, No.1, 83-93, 1977, 3

  113. S. Arikawa
    A Researcher File Description Language and Its Implication in Information Retrieval Systems
    Proc. 6th International Conference on Computational Linguistics (Coling 76), 20, 1-21, 1976, 6

  114. S. Arikawa
    Document Retrieval using MIR-RF System
    Proc. International Computer Symposium, Vol. 2, 380-389, 1975, 8

  115. S. Arikawa, T. Kitagawa
    Multistage Information Retrieval System Based upon Researcher Files
    Proc. 2nd USA-Japan Computer Conf., 149-153, 1975, 8

  116. S. Arikawa
    On Regular Separation of Languages
    Bull. Math. Stat., Vol.16, No.1-2, 83-94, 1974, 9

  117. S. Arikawa
    Closure and Non-Closure Properties of Quasi Context-Sensitive Languages
    Res. Rept., RIFIS, Kyushu Univ., No. 37, 1-25, 1973, 6

  118. S. Arikawa
    Time-Variant Automata and Time-Variant Grammars
    Res. Rept., RIFIS, Kyushu Univ., No. 32, 1-23, 1973, 4

  119. S. Arikawa
    On Linear Bounded Automata with a Time-Variant Structure
    Res. Rept., RIFIS, Kyushu Univ., No. 29, 1-12, 1972, 12

  120. K. Tanatsugu, Y. Uesaka, S. Arikawa
    A Note on Figure Processing by Perceptrons
    Res. Rept., RIFIS, Kyushu Univ., No. 27, 1-8, 1972, 3

  121. S. Arikawa
    On the Languages Defined by Sentential Forms of Context-Free Grammars
    Res. Rept., RIFIS, Kyushu Univ., No. 17, 1-12, 1970, 12

  122. S. Arikawa
    Elementary Formal Systems and Formal Languages - Simple Formal Languages
    Mem. Fac. Sci., Kyushu Univ., Ser. A, Vol.23, No.1, 47-75, 1970, 3

  123. S. Arikawa
    On the Length Functions of Languages Recognizable by Linear Bounded Automata
    Mem. Fac. Sci., Kyushu Univ., Ser. A, Vol. 23, 12-27, 1969, 3

  124. S. Arikawa
    On Some Properties of Length-Growing Functions on Two-Way Pushdown Automata
    Mem. Fac. Sci., Kyushu Univ., Ser. A, Vol. 22, 110-127, 1968, 10