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
Report on ICOT Research Results
Invited Lectures
Panel
- Robert A. Kowalski:
Panel: A Springboard for Information Processing in the 21st Century.
219 BibTeX
- Hervé Gallaire:
Finding the Best Route for Logic Programming - Panel Position Paper.
220-222 BibTeX
- Ross A. Overbeek:
The Role of Logic Programming in the 21st Century - Panel Position Paper.
223-224 BibTeX
- Peter Wegner:
Object-Based Versus Logic Programming - Panel Position Paper.
225-229 BibTeX
- Koichi Furukawa:
Concurrent Logic Programming as a Basis for Large-Scale Knowledge Information Processing - Panel Position Paper.
230-231 BibTeX
- Shunichi Uchida:
Knowledge Information Processing in the 21st Century - Panel Position Paper.
232-234 BibTeX
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 BibTeX
- Moto Kawamura, Hiroyuki Sato, Kazutomo Naganuma, Kazumasa Yokota:
Parallel Database Management System: Kappa-P.
248-256 BibTeX
- Hideki Yasukawa, Hiroshi Tsuda, Kazumasa Yokota:
Objects, Properties, and Modules in QUIXOTE.
257-268 BibTeX
Parallel Operating System,
PIMOS
- Hiroshi Yashiro, Tetsuro Fujise, Takashi Chikayama, Masahiro Matsuo, Atsushi Hori, Kumiko Wada:
Resource Management Mechanism of PIMOS.
269-277 BibTeX
- Fumihide Itoh, Takashi Chikayama, Takeshi Mori, Masa-aki Sato, Tatsuo Kato, Tadashi Sato:
The Design of the PIMOS File System.
278-285 BibTeX
- Seiichi Aikawa, Mayumi Kamiko, Hideyuki Kubo, Fumiko Matsuzawa, Takashi Chikayama:
Paragraph: A Graphical Tuning Tool for Multiprocessor Systems.
286-293 BibTeX
Genetic Information Processing
- Masato Ishikawa, Masaki Hoshida, Makoto Hirosawa, Tomoyuki Toya, Kentaro Onizuka, Katsumi Nitta:
Protein Sequence Analysis by Parallel Inference Machine.
294-299 BibTeX
- Makoto Hirosawa, Richard Feldmann, David Rawn, Masato Ishikawa, Masaki Hoshida, George Michaels:
Folding Simulation using Temperature Parallel Simulated Annealing.
300-306 BibTeX
- Kaoru Yoshida, Cassandra Smith, Toni Kazic, George Michaels, Ronald Taylor, David Zawada, Ray Hagstrom, Ross A. Overbeek:
Toward a Human Genome Encyclopedia.
307-320 BibTeX
- Hidetoshi Tanaka:
Integrated System for Protein Information Processing.
321-329 BibTeX
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 BibTeX
- Hiroshi Tsuda:
cu-Prolog for Constraint-Based Grammar.
347-356 BibTeX
- Masayuki Fujita, Ryuzo Hasegawa, Miyuki Koshimura, Hiroshi Fujita:
Model Generation Theorem Provers on a Parallel Inference Machine.
357-375 BibTeX
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 BibTeX
- Hiroshi Nakashima, Katsuto Nakajima, Seiichi Kondo, Yasutaka Takeda, Yu Inamura, Satoshi Onishi, Kanae Masuda:
Architecture and Implementation of PIM/m.
425-435 BibTeX
- 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 BibTeX
Foundations
Reasoning about Programs
Analogy
Abduction (1)
Abduction (2)
Semantics of Logic Programming
Invited Paper
Machine Learning
Theorem Proving
Functional Programming and Constructive Logic
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 BibTeX
- Kazunori Ueda, Masao Morita:
Message-Oriented Parallel Implementation of Moded Flat GHC.
799-808 BibTeX
- X. Zhong, Evan Tick, S. Duvvuru, L. Hansen, A. V. S. Sastry, R. Sundararajan:
Towards an Efficient Compile-Time Granularity Analysis Algorithm.
809-816 BibTeX
- Jonas Barklund, Håkan Millroth:
Providing Iteration and concurrency in Logic Programs Through Bounded Quantifications.
817-824 BibTeX
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 BibTeX
- Ronald J. Brachman:
Knowledge Representation Theory Meets Reality: Some Brief Lessons from the CLASSIC, Panel Position Paper.
1063-1065 BibTeX
- Catherine Lassez:
Reasoning with Constraints, Panel Position Paper.
1066-1070 BibTeX
- Stephen Muggleton:
Developments in Inductive Logic Programming, Panel Position Paper.
1071-1073 BibTeX
- Kazuo Taki:
Towards the General-Purpose Parallel Processing System, Panel Position Paper.
1074-1075 BibTeX
Knowledge-Based Systems
- Jacqueline Castaing:
A Hybrid Reasoning System for Explaining Mistakes in Chinese Writing.
1076-1083 BibTeX
- 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 BibTeX
- Uwe Nonnenmann, John K. Eddy:
Knowledge-Based Functional Testing for Large Software Systems.
1091-1098 BibTeX
- 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 BibTeX
Legal Reasoning
Natural Language Processing
Knowledge Support Systems
Parallel Applications
Invited Paper
- Ivan Bratko:
Applications of Machine Learning: Towards Knowledge Synthesis.
1207-1218 BibTeX
Copyright © Sat May 16 23:12:02 2009
by Michael Ley (ley@uni-trier.de)