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
- 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
- Hidenori Itoh, Hidetoshi Monoi, Shigeki Shibayama, Nobuyoshi Miyazaki, Haruo Yokota, Akihiko Konagaya:
Knowledge Base System in Logic Programming Paradigm.
37-53
- Ryuzo Hasegawa:
Problem-Solving and Inference Software.
54-69
- 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
- Yuichi Fujii, Hirokazu Taki:
Experimental Knowledge Processing System.
85-108
Invited Talks
Panel Discussion:
Social Impact of Information Technology and International Collaboration
Panel Discussion:
Theory and Practice of Concurrent Systems
- Ehud Y. Shapiro:
The Panel on Theory and Practice of Concurrent Systems.
152-153
- William J. Dally:
Mechanisms for Concurrent Computing.
154-156
- Geoffrey Fox:
Theory and Practice of Concurrent Systems.
157-160
- Carl Hewitt:
Knowledge Processing.
161-162
- Robin Milner:
Some Directions in Concurrency Theory.
163-164
- Kazunori Ueda:
Theory and Practice of Concurrent Systems - The Role of Kernel Language in the FGCS Project.
165-166
- David H. D. Warren:
Theory and Practice of Concurrent Systems - A Position Paper.
167-168
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
- Atsuhiro Goto, Masatoshi Sato, Katsuto Nakajima, Kazuo Taki, Akira Matsumoto:
Overview of the Parallel Inference Machine Architecture (PIM).
208-229
- Takashi Chikayama, Hiroyuki Sato, Toshihiko Miyazaki:
Overview of the Parallel Inference Machine Operating System (PIMOS).
230-251
- Kazumasa Yokota, Moto Kawamura, Atsushi Kanaegami:
Overview of the Knowledge Base Management System (KAPPA).
252-262
- Akira Aiba, Kô Sakai, Yosuke Sato, David J. Hawley, Ryuzo Hasegawa:
Constraints Logic Programming Language CAL.
263-276
- Yuichi Tanaka, Tsutomu Yoshioka:
Overview of the Dictionary and Lexical Knowledge Base Research.
277-284
- 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
- Yasuo Nagai, Satoshi Terasaki, Takanori Yokoyama, Hirokazu Taki:
Expert System Architecture for Design Tasks.
296-317
Foundation
Invited Paper
- Robin Milner:
Interpreting One Concurrent Calculus in Another.
321-326
Functional Logic Programming
Theory of Parallel Computation
- J. W. de Bakker, Joost N. Kok:
Uniform Abstraction, Atomicity and Contractions in the Comparative Semantics of Concurrent Prolog.
347-355
- Yasuo Okabe, Shuzo Yajima:
Parallel Computational Complexity of Logic Programs and Alternating Turing Machines.
356-363
- Moreno Falaschi, Giorgio Levi:
Finite Failures and Partial Computations in Concurrent Logic Languages.
364-373
- Masaki Murakami:
A Declarative Semantics of Parallel Logic Programs with Perpetual Processes.
374-381
Formal Semantics
Program Analysis and Transformation (2)
Reasoning and Learning
- Michael Reinfrank, Hartmut Freitag:
Rules and Justifications: A Uniform Approach to Reason Maintenance and Non-Monotonic Inference.
439-446
- Yasubumi Sakakibara:
An Efficient Learning of Context-Free Grammars for Bottom-Up Parsers.
447-454
- Ken Satoh:
Nonmonotonic Reasoning by Minimal Belief Revision.
455-462
- Jun Arima:
Generating Rules with Exceptions.
463-470
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
- Bogumil Hausman, Andrzej Ciepielewski, Alan Calderwood:
Cut and Side-Effects in Or-Parallel Prolog.
831-840
- 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
- Yow-Jian Lin, Vipin Kumar:
Performance of And-Paralle Execution of Logic Programs on a Shared-Memory Multiprocessor.
851-860
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
- Arie Harsat, Ran Ginosar:
CARMEL-2: A Second Generation VLSI Architecture for Flat Concurrent Prolog.
962-969
- Hanpei Koike, Hidehiko Tanaka:
Multi-Context Processing and Data Balancing Mechanism of the Parallel Inference Machine PIE64.
970-977
- Yasutaka Takeda, Hiroshi Nakashima, Kanae Masuda, Takashi Chikayama, Kazuo Taki:
A Load Balancing Mechanism for Large Scale Multiprocessor Systems and its Implementation.
978-986
Scheduling for Parallel Machines
Parallelism in AI
Implementation Model for Parallel Logic Languages
Applications
Graphics and Music
Invited Paper
- Hervé Gallaire:
Multiple Reasoning Styles in Logic Programming.
1089-1099
Natural Language (1)
Natural Language (2)
Knowledge Representation
Qualitative Reasoning
New Paradigms of Knowledge Acquisition
- John H. Boose:
Knowledge Acquisition Techniques and Tools: Current Research Strategies and Approaches.
1221-1235
- Susumu Kunifuji:
Comments on Knowledge Acquisition and Learning.
1236-1238
- Douglas B. Lenat:
When will Machines Learn?
1239-1245
- Mitsuru Ishizuka:
A Next-generation Knowledge-Base from the Viewpoint of Extending Logic Framework.
1246-1249
Knowledge Acquisition
- Hirokazu Taki:
Knowledge Acquisition by Observation.
1250-1258
- Mildred L. G. Shaw:
Validation in a Knowledge Acquisition System with Multiple Experts.
1259-1266
- Manny Rayner:
Applying Explanation-Based Generalization to Natural-Language Processing.
1267-1274
Knowledge Maintenance
Copyright © Fri Mar 12 17:11:16 2010
by Michael Ley (ley@uni-trier.de)
