AITEC Contract Research Projects in FY1996

Among 22 contract research projects which were awarded funds in FY1995, 16 research projects are continued in FY1996 judged by the Refereeing Committee.

(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 FY1995 -

(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 FY1995 -

(3)

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

(4)

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

(5)

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

(6)

Development of Action Language Systems
Katsumi Inoue
(Toyohashi University of Technology : Currently - Kobe University)
Abstract Proposal (In Japanese) Intermediate Report (In Japanese) Final Report (In Japanese) Software This Project in FY1995 -

(7)

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 FY1995 -

(8)

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

(9)

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

(10)

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

(11)

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 FY1995 -

(12)

A Study on Parallel Robust Parsing 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 FY1995 -

(13)

Language Analysis Tools based on Unification-based Grammar
Yuji Matsumoto (Nara Institute of Science and Technology)
Abstract Proposal (In Japanese) Intermediate Report (In Japanese) Final Report (In Japanese) Software This Project in FY1995 -

(14)

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

(15)

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 FY1995 -

(16)

Application of Parallel Logic Programming for Reconstruction of Molecular Phylogenetic Trees using the Maximum Likelihood Method
Naruya Saito (National Institute of Genetics, Laboratory of Evolutionalr Genetics)
Abstract Proposal (In Japanese) Intermediate Report (In Japanese) Final Report (In Japanese) Software This Project in FY1995 -

(17)

Design and Implementation of Concept Learning System using Concurrent Logic Language KLIC
Takayasu Ito (Tohoku University)
Abstract Proposal (In Japanese) Intermediate Report (In Japanese) Final Report (In Japanese) Software Starts in FY1996 -

(18)

Study on Strategy Acquisition in Tsume-shogi
Hidenori Ito (Nagoya Institute of Technology)
Abstract Proposal (In Japanese) Intermediate Report (In Japanese) Final Report (In Japanese) Software Starts in FY1996 -

(19)

A Proof Assistant with Commutative Diagram Interface
Ko Sakai (University of Tsukuba)
Abstract Proposal (In Japanese) Intermediate Report (In Japanese) Final Report (In Japanese) Software Starts in FY1996 -

(20)

A Pattern-Oriented Visual Parallel Programming Environment
Etsuya Shibayama (Tokyo Institute of Technology)
Abstract Proposal (In Japanese) Intermediate Report (In Japanese) Final Report (In Japanese) Software This Project in FY1997 Related Contract Research

(21)

A Parallel Multilayer-Channel Router in CMGTP
Neng-Fa Zhou (Kyushu Institute of Technology)
Abstract Proposal (In Japanese) Intermediate Report (In Japanese) Final Report (In Japanese) Software Starts in FY1996 -

(22)

A Programming System for Statistical Modeling
Taisuke Sato (Tokyo Institute of Technology)
Abstract Proposal (In Japanese) Intermediate Report (In Japanese) Final Report (In Japanese) Software This Project in FY1997 -

(23)

TRIP2a/3D : A 3D Declarative Algorithm Animation System
Satoshi Matsuoka
(The University of Tokyo : Currently - Tokyo Institute of Technology)
Abstract Proposal (In Japanese) Intermediate Report (In Japanese) Final Report (In Japanese) Software Starts in FY1996 -

(24)

Legal Reasoning with Situation Variable
Satoshi Tojo (Japan Advanced Institute of Science and Technology)
Abstract Proposal (In Japanese) Intermediate Report (In Japanese) Final Report (In Japanese) Software This Project in FY1997 -

(25)

A Proposed Framework of LTB Japanese Grammar and implementing its rules
Hiroshi Sano (Tokyo University of Foreign Studies)
Abstract Proposal (In Japanese) Intermediate Report (In Japanese) Final Report (In Japanese) Software Starts in FY1996 -

(26)

A Parallel Abductive Reasoning System
Hidenori Ito (Nagoya Institute of Technology)
Abstract Proposal (In Japanese) Intermediate Report (In Japanese) Final Report (In Japanese) Software Starts in FY1996 -

(27)

A Controlled Linguistic Model and its Application to Intelligent Natural Language Processing
Hirosato Nomura (Kyushu Institute of Technology)
Abstract Proposal (In Japanese) Intermediate Report (In Japanese) Final Report (In Japanese) Software Starts in FY1996 -
www-admin@icot.or.jp