In 1997 FY, AITEC releases the Call for Proposals for AITEC Contract Reserach Projects. 19 Projects are determined to be awarded by the refereeing committee based on the evaluation by peer reviewers.
From awarded projects in 1996, 3 projects among 5 projects are continued by the committee.
(1) |
Legal Reasoning with Situation Variables |
|||||
|---|---|---|---|---|---|---|
| Katsumi Nitta (Tokyo Institute of Technology) | ||||||
| Abstract | Proposal (In Japanese) | Intermediate Report (In Japanese) | Final Report (In Japanese) | Software | This Project in FY1996 | |
(2) |
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 FY1996 | |
(3) |
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 FY1996 | |
(4) |
Distributed Constraint Solving for Functional Logic Programming |
|||||
| Bruno Buchberger (RISC-Linz) | ||||||
| Abstract | Proposal | Intermediate Report | Final Report | Software | Starts in FY1997 | |
(5) |
Applying Constraint Logic Programming Language for Modelling Multi-objective Decision Making under Uncertainty |
|||||
| John Darlington (Imperial College) | ||||||
| Abstract | Proposal | Intermediate Report | Final Report | Software | Starts in FY1997 | |
(6) |
Research and Development of a Data Mining Engine DATAGOL by Inductive Logic Programming |
|||||
| Kouichi Furukawa (Keio University) | ||||||
| Abstract | Proposal (In Japanese) | Intermediate Report (In Japanese) | Final Report (In Japanese) | Software | Starts in FY1997 | |
(7) |
Development of MGTP on Parallel Machines and Its Advanced Inference Mechanism |
|||||
| Ryuzo Hasegawa (Kyushu University) | ||||||
| Abstract | Proposal (In Japanese) | Intermediate Report (In Japanese) | Final Report (In Japanese) | Software | Starts in FY1997 | |
(8) |
A Distribution Project of IFS Japanese Morphological Grammar Rules |
|||||
| Hiroshi Sano(Tokyo University of Foreign Studies) | ||||||
| Abstract | Proposal (In Japanese) | Intermediate Report (In Japanese) | Final Report (In Japanese) | Software | Starts in FY1997 | |
(9) |
Static Analyzer of KL1 Programs |
|||||
| Kazunori Ueda (Waseda University) | ||||||
| Abstract | Proposal (In Japanese) | Intermediate Report (In Japanese) | Final Report (In Japanese) | Software | Starts in FY1997 | |
(10) |
Concurrent Cooperative Parallel Solvers(CCOPS) |
|||||
| Frédéric Benhamou (Université de Nantes & Ecole de Nantes) | ||||||
| Abstract | Proposal | Intermediate Report | Final Report | Software | Starts in FY1997 | |
(11) |
Implementation of KL1 Based on Demand-driven Scheduling |
|||||
| Takashi Chikayama (University of Tokyo) | ||||||
| Abstract | Proposal (In Japanese) | Intermediate Report (In Japanese) | Final Report (In Japanese) | Software | Starts in FY1997 | |
(12) |
Anytime Hypothetical Reasoning |
|||||
| Aditya Kumar Ghose (University of Wollongon) | ||||||
| Abstract | Proposal | Intermediate Report | Final Report | Software | Starts in FY1997 | |
(13) |
WEB-KLIC:A Concurrent Logic-based Unified Framework for Internet Programming |
|||||
| Goppal Gupta (New Mexico State University) | ||||||
| Abstract | Proposal | Intermediate Report | Final Report | Software | Starts in FY1997 | |
(14) |
A drawing editor based on constraint solving |
|||||
| Hidehiko Tanaka(University of Tokyo) | ||||||
| Abstract | Proposal (In Japanese) | Intermediate Report (In Japanese) | Final Report (In Japanese) | Software | Starts in FY1997 | |
(15) |
Incorporating Linear-Space Best-First Search in MGTP |
|||||
| Katsumi Inoue (Kobe University) | ||||||
| Abstract | Proposal (In Japanese) | Intermediate Report (In Japanese) | Final Report (In Japanese) | Software | Starts in FY1997 | |
(16) |
COPLAS,a Conditional Planner with Sensing Actions |
|||||
| Jorge Lobo (University of Illinois at Chicago) | ||||||
| Abstract | Proposal | Intermediate Report | Final Report | Software | Starts in FY1997 | |
(17) |
Development of an Efficient Solver for Hierarchical Linear Systems |
|||||
| Satoshi Matsuoka (Tokyo Institute of Technology) | ||||||
| Abstract | Proposal (In Japanese) | Intermediate Report (In Japanese) | Final Report (In Japanese) | Software | Starts in FY1997 | |
(18) |
Research and Development of Parallel Cooperative Control Software for Mobile Robots |
|||||
| Fumio Mizoguchi (Science University of Tokyo) | ||||||
| Abstract | Proposal (In Japanese) | Intermediate Report (In Japanese) | Final Report (In Japanese) | Software | Starts in FY1997 | |
(19) |
An Improved Threading of KL1 |
|||||
| Hiroshi Nakashima (Toyohashi University of Technology) | ||||||
| Abstract | Proposal (In Japanese) | Intermediate Report (In Japanese) | Final Report (In Japanese) | Software | Starts in FY1997 | |
(20) |
Research on Message Interface between Klic and Java |
|||||
| Jiro Tanaka (University of Tsukuba) | ||||||
| Abstract | Proposal (In Japanese) | Intermediate Report (In Japanese) | Final Report (In Japanese) | Software | Starts in 1997 | |
(21) |
Improvements on I/O Performance of Parallel Active Database |
|||||
| Haruo Yokota (Japan Advanced Institute of Science and Technology : Currently - Tokyo Institute of Technology) |
||||||
| Abstract | Proposal (In Japanese) | Intermediate Report (In Japanese) | Final Report (In Japanese) | Software | Starts in FY1997 | |
(22) |
GUIdeLA: A Constraint Language and System for Constructing Graphical User Interfaces |
|||||
| Neng-Fa Zhou (Kyushu Institute of Technology) | ||||||
| Abstract | Proposal | Intermediate Report | Final Report | Software | Starts in FY1997 | |