FGCS 1992:
Tokyo,
Japan
ICOT Staff (Eds.):
Fifth Generation Computer Systems '92:
Proceedings of the International Conference on Fifth Generation Computer Systems. 1992,
June 1-5,
Tokyo,
Japan. 1262p,
IOS Press 1992,
ISBN 90-5199-099-5
Plenary Sessions
Keynote Speech
General Report on ICOT Research and Development
- Takashi Kurozumi:
Overview of the Ten Years of the FGSC Project.
9-19
- Koichi Furukawa:
Summary of Basic Research Activities of the FGCS Project.
20-32
- Shunichi Uchida:
Summary of the Parallel Inference Machine and its Basic Software.
33-49
Report on ICOT Research Results
Invited Lectures
Panel
- Robert A. Kowalski:
Panel: A Springboard for Information Processing in the 21st Century.
219
- Hervé Gallaire:
Finding the Best Route for Logic Programming - Panel Position Paper.
220-222
- Ross A. Overbeek:
The Role of Logic Programming in the 21st Century - Panel Position Paper.
223-224
- Peter Wegner:
Object-Based Versus Logic Programming - Panel Position Paper.
225-229
- Koichi Furukawa:
Concurrent Logic Programming as a Basis for Large-Scale Knowledge Information Processing - Panel Position Paper.
230-231
- Shunichi Uchida:
Knowledge Information Processing in the 21st Century - Panel Position Paper.
232-234
ICOT Sessions
Parallel VLSI-CAD and KBM Systems
- Hiroshi Date, Yukinori Matsumoto, Kouichi Kimura, Kazuo Taki, Hiroo Kato, Masahiro Hoshi:
LSI-CAD Programs on Parallel Inference Machine.
237-247
- Moto Kawamura, Hiroyuki Sato, Kazutomo Naganuma, Kazumasa Yokota:
Parallel Database Management System: Kappa-P.
248-256
- Hideki Yasukawa, Hiroshi Tsuda, Kazumasa Yokota:
Objects, Properties, and Modules in QUIXOTE.
257-268
Parallel Operating System,
PIMOS
- Hiroshi Yashiro, Tetsuro Fujise, Takashi Chikayama, Masahiro Matsuo, Atsushi Hori, Kumiko Wada:
Resource Management Mechanism of PIMOS.
269-277
- Fumihide Itoh, Takashi Chikayama, Takeshi Mori, Masa-aki Sato, Tatsuo Kato, Tadashi Sato:
The Design of the PIMOS File System.
278-285
- Seiichi Aikawa, Mayumi Kamiko, Hideyuki Kubo, Fumiko Matsuzawa, Takashi Chikayama:
Paragraph: A Graphical Tuning Tool for Multiprocessor Systems.
286-293
Genetic Information Processing
- Masato Ishikawa, Masaki Hoshida, Makoto Hirosawa, Tomoyuki Toya, Kentaro Onizuka, Katsumi Nitta:
Protein Sequence Analysis by Parallel Inference Machine.
294-299
- Makoto Hirosawa, Richard Feldmann, David Rawn, Masato Ishikawa, Masaki Hoshida, George Michaels:
Folding Simulation using Temperature Parallel Simulated Annealing.
300-306
- Kaoru Yoshida, Cassandra Smith, Toni Kazic, George Michaels, Ronald Taylor, David Zawada, Ray Hagstrom, Ross A. Overbeek:
Toward a Human Genome Encyclopedia.
307-320
- Hidetoshi Tanaka:
Integrated System for Protein Information Processing.
321-329
Constraint Logic Programming and Parallel Theorem Proving
- Satoshi Terasaki, David J. Hawley, Hiroyuki Sawada, Ken Satoh, Satoshi Menju, Taro Kawagishi, Noboru Iwayama, Akira Aiba:
Parallel Constraint Logic Programming Language GDCC and its Parallel Constraint Solvers.
330-346
- Hiroshi Tsuda:
cu-Prolog for Constraint-Based Grammar.
347-356
- Masayuki Fujita, Ryuzo Hasegawa, Miyuki Koshimura, Hiroshi Fujita:
Model Generation Theorem Provers on a Parallel Inference Machine.
357-375
Natural Language Progressing
Parallel Inference Machine (PIM)
- Kouichi Kumon, Akira Asato, Susumu Arai, Tsuyoshi Shinogi, Akira Hattori, Hiroyoshi Hatazawa, Kiyoshi Hirano:
Architecture and Implementation of PIM/p.
414-424
- Hiroshi Nakashima, Katsuto Nakajima, Seiichi Kondo, Yasutaka Takeda, Yu Inamura, Satoshi Onishi, Kanae Masuda:
Architecture and Implementation of PIM/m.
425-435
- Keiji Hirata, Reki Yamamoto, Akira Imai, Hideo Kawai, Kiyoshi Hirano, Tsuneyoshi Takagi, Kazuo Taki, Akihiko Nakase, Kazuaki Rokusawa:
Parallel and Distributed Implementation of Concurrent Logic Programming Language KL1.
436-459
Foundations
Reasoning about Programs
Analogy
Abduction (1)
Abduction (2)
Semantics of Logic Programming
Invited Paper
- Raymond Reiter:
Formalizing Database Evolution in the Situation Calculus.
600-609
Machine Learning
Theorem Proving
Functional Programming and Constructive Logic
- Yukihide Takayama:
Defining Concurrent Processes Constructively.
658-665
- Makoto Tatsuta:
Realizability Interpretation of Coinductive Definitions and Program Synthesis with Streams.
666-673
- Vincent Poirriez:
MLOG: A Strongly Typed Confluent Functional Language with Logical Variables.
674-681
- John Darlington, Yike Guo, Helen Pull:
A New Perspective on Integrating Functional and Logic Languages.
682-693
Temporal Reasoning
Architectures & Software
Hardware Architecture and Evaluation
Invited Paper
AND-Parallelism and OR-Parallelism
Implementations Techniques
- Koichi Konishi, Tsutomu Maruyama, Akihiko Konagaya, Kaoru Yoshida, Takashi Chikayama:
Implementing Streams on Parallel Machines with Distributed Memory.
791-798
- Kazunori Ueda, Masao Morita:
Message-Oriented Parallel Implementation of Moded Flat GHC.
799-808
- X. Zhong, Evan Tick, S. Duvvuru, L. Hansen, A. V. S. Sastry, R. Sundararajan:
Towards an Efficient Compile-Time Granularity Analysis Algorithm.
809-816
- Jonas Barklund, Håkan Millroth:
Providing Iteration and concurrency in Logic Programs Through Bounded Quantifications.
817-824
Extension of Logic Programming
Task Scheduling and Load Analysis
Concurrency
Databases and Distributed Systems
Programming Environment
Production Systems
Applications & Social Implications
Constraint Logic Programming
Qualitative Reasoning
Knowledge Representation
Panel Discussion:
Future Direction of Next Generation Applications
- Fumio Mizoguchi:
The Panel on A Future Direction of New Generation Applications.
1061-1062
- Ronald J. Brachman:
Knowledge Representation Theory Meets Reality: Some Brief Lessons from the CLASSIC, Panel Position Paper.
1063-1065
- Catherine Lassez:
Reasoning with Constraints, Panel Position Paper.
1066-1070
- Stephen Muggleton:
Developments in Inductive Logic Programming, Panel Position Paper.
1071-1073
- Kazuo Taki:
Towards the General-Purpose Parallel Processing System, Panel Position Paper.
1074-1075
Knowledge-Based Systems
- Jacqueline Castaing:
A Hybrid Reasoning System for Explaining Mistakes in Chinese Writing.
1076-1083
- Takayasu Kasahara, Naoyuki Yamada, Yasuhiro Kobayashi, Katsuyuki Yoshino, Kikuo Yoshimura:
Automatic Generation of a Domain Specific Inference Program for Building a Knowledge Processing System.
1084-1090
- Uwe Nonnenmann, John K. Eddy:
Knowledge-Based Functional Testing for Large Software Systems.
1091-1098
- Junzo Suzuki, Chiho Konuma, Mikito Iwamasa, Naomichi Sueda, Shigeru Mochiji, Akimoto Kamiya:
A Diagnostic and Control Expert System Based on a Plant Model.
1099-1106
Legal Reasoning
Natural Language Processing
Knowledge Support Systems
Parallel Applications
Invited Paper
- Ivan Bratko:
Applications of Machine Learning: Towards Knowledge Synthesis.
1207-1218
Copyright © Sun Nov 8 02:21:00 2009
by Michael Ley (ley@uni-trier.de)
