FGCS 1988:
Tokyo,
Japan
Institute for New Generation Computer Technology (ICOT,
Ed.):
Fifth Generation Computer Systems 1988,
Proceedings of the International Conference on Fifth Generation Computer Systems 1988,
Tokyo,
Japan,
November 28-December 2,
1988. 3 Volumes,
OHMSHA Ltd. Tokyo and Springer-Verlag,
1988 ISBN 3-540-19558-0,
0-387-19558-0 and 4-274-19558-0
Keynote Speech
ICOT Research and Development
- Takashi Kurozumi:
Present Status and Plans for Research and Development.
3-15 BibTeX
- Shunichi Uchida, Kazuo Taki, Katsuto Nakajima, Atsuhiro Goto, Takashi Chikayama:
Research and Development of the Parallel Inference System in the Intermediate Stage of the FGCS Project.
16-36 BibTeX
- Hidenori Itoh, Hidetoshi Monoi, Shigeki Shibayama, Nobuyoshi Miyazaki, Haruo Yokota, Akihiko Konagaya:
Knowledge Base System in Logic Programming Paradigm.
37-53 BibTeX
- Ryuzo Hasegawa:
Problem-Solving and Inference Software.
54-69 BibTeX
- Shunichi Uchida, Tsutomu Yoshioka, Ryôichi Sugimura, Yuiti Tanaka, Kôiti Hasida, Kuniaki Mukai:
The Research and Development of Natural Language Processing Systems in The Intermediate Stage of the FGCS Project.
70-84 BibTeX
- Yuichi Fujii, Hirokazu Taki:
Experimental Knowledge Processing System.
85-108 BibTeX
Invited Talks
Panel Discussion:
Social Impact of Information Technology and International Collaboration
Panel Discussion:
Theory and Practice of Concurrent Systems
Progress and Future Plans of Knowledge Information Processing
ICOT Research Topics
- Shigeki Shibayama, Hiroshi Sakai, Toshiaki Takewaki, Hidetoshi Monoi, Yukihiro Morita, Hidenori Itoh:
Overview of Knowledge Base Mechanism.
197-207 BibTeX
- Atsuhiro Goto, Masatoshi Sato, Katsuto Nakajima, Kazuo Taki, Akira Matsumoto:
Overview of the Parallel Inference Machine Architecture (PIM).
208-229 BibTeX
- Takashi Chikayama, Hiroyuki Sato, Toshihiko Miyazaki:
Overview of the Parallel Inference Machine Operating System (PIMOS).
230-251 BibTeX
- Kazumasa Yokota, Moto Kawamura, Atsushi Kanaegami:
Overview of the Knowledge Base Management System (KAPPA).
252-262 BibTeX
- Akira Aiba, Kô Sakai, Yosuke Sato, David J. Hawley, Ryuzo Hasegawa:
Constraints Logic Programming Language CAL.
263-276 BibTeX
- Yuichi Tanaka, Tsutomu Yoshioka:
Overview of the Dictionary and Lexical Knowledge Base Research.
277-284 BibTeX
- Ryôichi Sugimura, Kôiti Hasida, Kouji Akasaka, Kôzi Hatano, Yukihiro Kubo, Toshiyuki Okunishi:
A Software Environment for Research into Discourse Understanding Systems.
285-295 BibTeX
- Yasuo Nagai, Satoshi Terasaki, Takanori Yokoyama, Hirokazu Taki:
Expert System Architecture for Design Tasks.
296-317 BibTeX
Foundation
Invited Paper
Functional Logic Programming
Theory of Parallel Computation
Formal Semantics
Program Analysis and Transformation (2)
Reasoning and Learning
Situation Semantics
Logic and Theorem Proving
Messages from Parallel Complexity Theory:
Does Parallelism Help?
Software
Program Analysis and Transformation (1)
Meta-Computation and Reflection
Computation Models
Functional Programming
Invited Paper
Constraint Logic Programming
Deductive Data Bases
Parallel Programming Languages
Logic Programming Languages
Architecture
Parallel Prolog Systems
- Ewing L. Lusk, Ralph Butler, Terry Disz, Robert Olson, Ross A. Overbeek, Rick L. Stevens, David H. D. Warren, Alan Calderwood, Péter Szeredi, Seif Haridi, Per Brand, Mats Carlsson, Andrzej Ciepielewski, Bogumil Hausman:
The Aurora Or-Parallel Prolog System.
819-830 BibTeX
- Bogumil Hausman, Andrzej Ciepielewski, Alan Calderwood:
Cut and Side-Effects in Or-Parallel Prolog.
831-840 BibTeX
- Uri Baron, Jacques Chassin de Kergommeaux, Max Hailperin, Michael Ratcliffe, Philippe Robert, Jean-Claude Syre, Harald Westphal:
The Parallel ECRC Prolog System PEPSys: An Overview and Evaluation Results.
841-850 BibTeX
- Yow-Jian Lin, Vipin Kumar:
Performance of And-Paralle Execution of Logic Programs on a Shared-Memory Multiprocessor.
851-860 BibTeX
Parallel Architectures (1)
Parallel Architectures (2)
Implementation Techniques for Inference Machines
Invited Paper
Parallel Inference Machines
- Tsuyoshi Shinogi, Kouichi Kumon, Akira Hattori, Atsuhiro Goto, Yasunori Kimura, Takashi Chikayama:
Macro-Call Instruction for the Efficient KL1 Implementation on PIM.
953-961 BibTeX
- Arie Harsat, Ran Ginosar:
CARMEL-2: A Second Generation VLSI Architecture for Flat Concurrent Prolog.
962-969 BibTeX
- Hanpei Koike, Hidehiko Tanaka:
Multi-Context Processing and Data Balancing Mechanism of the Parallel Inference Machine PIE64.
970-977 BibTeX
- Yasutaka Takeda, Hiroshi Nakashima, Kanae Masuda, Takashi Chikayama, Kazuo Taki:
A Load Balancing Mechanism for Large Scale Multiprocessor Systems and its Implementation.
978-986 BibTeX
Scheduling for Parallel Machines
Parallelism in AI
Implementation Model for Parallel Logic Languages
Applications
Graphics and Music
Invited Paper
Natural Language (1)
Natural Language (2)
Knowledge Representation
Qualitative Reasoning
New Paradigms of Knowledge Acquisition
Knowledge Acquisition
Knowledge Maintenance
Copyright © Sat May 16 23:12:02 2009
by Michael Ley (ley@uni-trier.de)