Software list of IFS
[Table of Contents]
- 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
www-admin@icot.or.jp