Classification of
ICOT Free Software
by
their research area

  • Symbolic Processing
  • Knowledge Representation, Knowledge-base, Constraint
  • Problem Solving, Meta-reasoning, Theorem Proving
  • Natural Language Processing
  • Experimental Application



    Symbolic Processing
    1. KL1 Programming Environment on Unix: PDSS
    2. Parallel and Distributed KL1 Language Processor: VPIM
    3. KL1 Pseudo Parallel System for PSI-III
    4. OS for Parallel Inference Machines: PIMOS
    5. A Concurrent Object-oriented Language: A'UM-90
    6. Experimental Reflective Programming System: ExReps
    7. Programming Environment for KL1 with Program Visualization
    8. Strategy Management Shell
    72. Portable KL1 processing system:experimental version
    73. Process oriented programming language AYA
    74. KL1 Load Distribution Library
    78. KLIC version 1: An implementation of KL1 for general purpose computers
    85. KLIC version 2: An implementation of KL1 for general purpose computers
    86. Distributed Pool

    Knowledge Representation, Knowledge-base, Constraint
    9. CLP Language: cu-Prolog
    10. Dynamical Programming DP
    11. Knowledge Representation Language: QUIXOTE
    12. Nested Relational Database Management System: Kappa-II
    13. Parallel Database Management System:Kappa-P
    14. Constraint Logic Programming Language: CAL in CESP
    15. Hierarchical Constraint Logic Programming Language: CHAL
    16. Robot Design Support System
    17. Hierarchical Constraint Parallel Solver: P-CHAL
    18. Parallel Constraint Logic Programming System: GDCC
    19. Constraint Logic Programming Language: CAL in ESP
    20. Voronoi Diagram Construction Program
    21. Knowledge Verification System: KNOV
    79. Knowledge Representation Language: QUIXOTE KLIC version
    80. Knowledge Representation Language: u-QUIXOTE
    87. Parallel Database Management System: Kappa (KLIC version)
    88. Parallel Constraint Logic Programming System: GDCC(KLIC version)
    89. Heterogeneous Distributed Cooperative Problem-Solving System: Helios

    Problem Solving,Meta-reasoning,Theorem Proving
    22. Parallel Model Generation Theorem Prover: MGTP
    23. Program Generation System: PAPYRUS
    24. Boyer-Moore Theorem Prover: BMTP
    25. Forward Chaining Inference System: KORE/IE
    26. Functional Language: QUTE
    27. SAM - A Symbolic and Algebraic Manipulation System on PSI
    28. Reasoning System: EUODHILOS
    29. Fuzzy Clustering Tool
    30. Parallel Problem Solving System
    31. Argus Verification System: Argus/V
    32. A Structure-Mapping Engine: SME
    81. Parallel Theorem Prover: MGTP/G Prolog Version
    82. Parallel Theorem Prover: MGTP/N Prolog Version
    90. MGTP/G (KL1 version/KLIC version)
    91. MGTP/N (Model Distribution)
    92. Constraint MGTP (Prolog version/KL1 version/KLIC version)

    Natural Language Processing
    33. Morphological Dictionary for Japanese
    34. LUG & Grammar rules(A grammar descriptive framework and the grammar rules written in the form)
    35. Dependency Grammar for Japanese:RDG
    36. A Sentence Retrieval Tool: KWIC(on CESP)
    37. Morphological Analyzing Program
    38. Grammar Writing Support System: LINGUIST
    39. Parallel Parsing System: PAX
    40. Linguistic Knowledge Description Language
    41. The Syntactic Analyzer
    42. Experimental System for Argument Text Generation: Dulcinea
    43. Japanese Sentence Generator
    44. A Sentence Dividing Tool
    45. Summarizing Support System
    46. A Support System for Generating Controled Jpanese Text and Semantic Structures: ICOTEXT
    47. A Sentence Retrieval Tool: KWIC(on ESP)
    48. Experimental Dialogue System with Pragmatics-based Utterance Selection Mechanism
    49. Text Structure Analysis System
    50. An Experimental Discourse Analyzer
    51. A Parallel Processing Based Natural Language Analysis Tool: Laputa

    Experimental Application
    52. Go Playing Game System "GOG"(The Sequential Version)
    53. Go Playing Game System "GOG"(The Parallel Version)
    54. A Parallel Leagal Reasoning System: HELIC-II
    55. Multiple Sequence Alignment by 3-dim DP
    56. Multiple Sequence Alignment by Parallel Simulated Annealing
    57. Standard Cell Placement Experimental System
    58. LSI Routing Program
    59. Parallel Logic Simulator
    60. Group Problem Solving System for Task Allocation Problems
    61. A Concurrent Program Development System: MENDELS ZONE
    62. KL1 Execution Data Collecting Tool: PerformanceMonitor
    63. Combined Constraint solver: Consort
    64. Design support system based on qualitative reasoning: Desq
    65. Experimental Parallel Hierarchical Recursive Layout System: Co-HLEX
    66. A Cooperative Logic Design Expert System
    67. Experimental Adaptive Model-based Diagnostic System
    68. Experimental Sequence Analysis System
    69. Case-Based Circuit Design Support System
    70. High Level Synthesis System: RODIN
    71. A Diagnostic and Control Expert System based on a Plant Model
    75. Multiple Sequence Alignment by Parallel Iterative Aligner
    76. Intelligent Refiner for Multiple Sequence Alignment
    77. Protein Structure Visualization System: Protein-View
    83. Protein Motif Knowledge-Base and Retriever Based on QUIXOTE
    84. Protein Structure Prediction Based on Multi Level Description
    93. Multiple Sequence Alignment by Parallel Iterative Improvement Methiod (KLIC version)
    94. Multiple Sequence Alignment by Genetic Algorithm
    95. Multiple RNA-Sequence Alignment Considering Stem Regions
    96. Knowledge Base of Biological Reactions
    97. Successive State Splitting of Protein Hidden Markov Network
    98. DNA Sequence Analysis using Discriminant Analysis
    99. DNA Sequence Analysis using Hidden Markov Model and Genetic Algorithm
    100 Legal reasoning system: new HELIC-II