AITEC Contract Research Projects in FY1995

22 research projects were awarded in FY1995 by the Refereeing Committee.

Remark that some documents of software are written only in Japanese. If you would like to have english documents for software, please contact to irpr@icot.or.jp.
We will forward your request to the principal investigator of the software. When the english documents are prepared, we will let you know.

(1)

Improving the Runtime System of KLIC
Takashi Chikayama (The University of Tokyo)
Abstract Proposal (In Japanese) Intermediate Report (In Japanese) Final Report (In Japanese) Software This Project in FY1996 -

(2)

Research on Visual Interface of KLIC
Jiro Tanaka (University of Tsukuba)
Abstract Proposal (In Japanese) Intermediate Report (In Japanese) Final Report (In Japanese) Software This Project in FY1996 -

(3)

A Programming Environment for Concurrent Inductive Symbol Processing
Taisuke Sato (Tokyo Institute of Technology)
Abstract Proposal (In Japanese) Intermediate Report (In Japanese) Final Report (In Japanese) Software Related Contract Research -

(4)

KL1 Programming Support System
Kazunori Ueda (Waseda University)
Abstract Proposal (In Japanese) Intermediate Report (In Japanese) Final Report (In Japanese) Software This Project in FY1996 -

(5)

An Optimization Technique of Efficient Goal Scheduling for KL1 Programs
Hiroshi Nakashima (Kyoto University)
Abstract Proposal (In Japanese) Intermediate Report (In Japanese) Final Report (In Japanese) Software This Project in FY1996 -

(6)

Constraint MGTP and its Application to Knowledge Representation and Natural Language Processing
Makoto Amamiya (Kyushu University)
Abstract Proposal (In Japanese) Intermediate Report (In Japanese) Final Report (In Japanese) Software - -

(7)

Parallelization of PROGOL in KL1
Kouichi Furukawa (Keio University)
Abstract Proposal (In Japanese) Intermediate Report (In Japanese) Final Report (In Japanese) Software This Project in FY1996 -

(8)

Development of Abductive Logic Programming Systems
Katsumi Inoue (Toyohashi University of Technology)
Abstract Proposal (In Japanese) Intermediate Report (In Japanese) Final Report (In Japanese) Software This Project in FY1996 -

(9)

Fast Hypothetical Reasoning System
Mitsuru Ishizuka (The University of Tokyo)
Abstract Proposal (In Japanese) Intermediate Report (In Japanese) Final Report (In Japanese) Software This Project in FY1996 -

(10)

Extended Features of a Deductive Object-Oriented Database Language QUIXOTE for Practical Use
Kazumasa Yokota (Kyoto University)
Abstract Proposal (In Japanese) Intermediate Report (In Japanese) Final Report (In Japanese) Software This Project in FY1996 -

(11)

Application of Heterogeneous Distributed Cooperative Problem Solver Helios to Computer Supported Cooperative Works
Kazumasa Yokota (Kyoto University)
Abstract Proposal (In Japanese) Intermediate Report (In Japanese) Final Report (In Japanese) Software - -

(12)

Design of Multi-Agent Type Robot Language/System
Fumio Mizoguchi (Science University of Tokyo)
Abstract (In Japanese) Proposal (In Japanese) Intermediate Report (In Japanese) Final Report (In Japanese) Software Related Pages (in Japanese) This Project in FY1996

(13)

Set Constraint Solvers
Yousuke Sato (Ritsumeikan University)
Abstract (In Japanese) Proposal (In Japanese) Intermediate Report (In Japanese) Final Report (In Japanese) Software This Project in FY1996 -

(14)

Development of an MGTP System on KLIC
Ryuzo Hasegawa (Kyushu University)
Abstract Proposal (In Japanese) Intermediate Report (In Japanese) Final Report (In Japanese) Software This Project in FY1996 -

(15)

A Study on Parallel Robust Parsing System based on GLR Algorithm
Susumu Kunifuji (Japan Advanced Institute of Science and Technology)
Abstract Proposal (In Japanese) Intermediate Report (In Japanese) Final Report (In Japanese) Software This Project in FY1996 -

(16)

Application of Parallel Logic Programming for Reconstruction of Molecular Phylogenetic Trees using the Maximum Likelihood Method
Susumu Kunifuji (Japan Advanced Institute of Science and Technology)
Abstract Proposal (In Japanese) Intermediate Report (In Japanese) Final Report (In Japanese) Software This Project in FY1996 -

(17)

A System for Evaluating Linguistic Resources
Yuji Matsumoto (Nara Institute of Science and Technology)
Abstract Proposal (In Japanese) Intermediate Report (In Japanese) Final Report (In Japanese) Software This Project in FY1996 -

(18)

An Analysis Tool for Japanese using EDR Dictionary
Hozumi Tanaka (Tokyo Institute of Technology)
Abstract (In Japanese) Proposal (In Japanese) Intermediate Report (In Japanese) Final Report (In Japanese) Software - -

(19)

A Study on Legal Reasoning Based on Goal-dependent Abstraction
Makoto Haraguchi (Hokkaido University)
Abstract (In Japanese) Proposal (In Japanese) Intermediate Report (In Japanese) Final Report (In Japanese) Software This Project in FY1996 -

(20)

An Implementation of a Parallel Active Database System in KLIC
Haruo Yokota (Japan Advanced Institute of Science and Technology)
Abstract Proposal (In Japanese) Intermediate Report (In Japanese) Final Report (In Japanese) Software This Project in FY1996 -

(21)

Development of Protein Structure Prediction System: Secondary Structure Prediction of Membrane Proteins
Shigeki Mitaku (Tokyo University of Agriculture and Technology)
Abstract Proposal (In Japanese) Intermediate Report (In Japanese) Final Report (In Japanese) Software
(18.Aug.97 updated)		 Related Pages -

(22)

A Parallel Computing Silicon Compiler for Low Power LSI Design
Kazuo Taki (Kobe University)
Abstract Proposal (In Japanese) Intermediate Report (In Japanese) Final Report (In Japanese) Software - -

www-admin@icot.or.jp