Proceedings of FGCS'94
ICOT
Tokyo
December 1994
The following text/PS file contains many mail addresses and e-mail
address in those days. Those addresses might not valid nowadays. At
least, mail address of ICOT is invalid.
Contents
[Full TEXT + PostScript File]
-
General Report of the FGCS Follow-on
Project (Japanese version is
here)
- Shunichi Uchida
- Parallel Basic
Software
- Takashi Chikayama
[Abstract + PostScript File]
- Knowledge Information Processing
Software
- Katsumi Nitta, Kazumasa Yokota, Akira Aiba, and Masato Ishikawa
- From Databases to Knowledge-Bases -
Kappa, Quixote, Helios
- Kazumasa Yokota
- Parallel Theorem-Proving System : MGTP
- Ryuzo Hasegawa
- KLIC: A Portable Implementation of KL1
- Tetsuro Fujise, Takashi Chikayama, Kazuaki Rokusawa, and Akihiko Nakase
- The Evaluation of Parallel Inference
Machines
- Koichi Kumon, and Hiroyoshi Hatazawa
- Distributed Pool and its
Implementation
- Masaki Sato, Masahiko Yamauchi, and Takashi Chikayama
- Parallel Database Management System :
Kappa
- Moto Kawamura, and Toru Kawamura
- Knowledge Representation Language
Quixote
- Hiroshi Tsuda, and Kazumasa Yokota
- Heterogeneous Distributed Cooperative
Problem Solving System HELIOS
- Akira Aiba, Kazumasa Yokota, and Hiroshi Tsuda
- Parallel Application Systems in Genetic
Information Processing
- Masato Ishikawa, Tomoyuki Toya, and Yasushi Totoki
- A Legal Reasoning System : new HELIC-II
- Katsumi Nitta, Masato Shibasaki, Tsuyoshi Sakata, Takahiro
Yamaji, Wang Xianchang, Hiroshi Ohsaki, Satoshi Tojo, Iwao Kokubo, and
Takayuki Suzuki