FGCS 1984: Tokyo, Japan

Institute for New Generation Computer Technology (ICOT, Ed.): Fifth Generation Computer Systems 1984, Proceedings of the International Conference on Fifth Generation Computer Systems 1984, Tokyo, Japan, November 6-9, 1984. OHMSHA Ltd. Tokyo and North-Holland, 1984, ISBN 4-274-07221-5 and 0-444-87673-1

ICOT Research and Development

Kazuhiro Fuchi: Revisiting Original Philosophy of Fifth Generation Computer Systems Project. 1-2 BibTeX
Kazukiyo Kawanobe: Current Status and Future Plans of the Fifth Generation Computer Systems Project. 3-17 BibTeX
Kunio Murakami, Takeo Kakuta, Rikio Onai: Architectures and Hardware Systems: Parallel Inference Machine and Knowledge Base Machine. 18-36 BibTeX
Koichi Furukawa, Toshio Yokoi: Basic Software System. 37-57 BibTeX
Shunichi Uchida, Toshio Yokoi: Sequential Inference Machine: SIM Progress Report. 58-69 BibTeX
Toshio Yokoi, Shunichi Uchida: Sequential Inference Machine: SIM its Programming and Operating System. 70-81 BibTeX

Invited Lecture

Alain Colmerauer: Equations and Inequations on Finite and Infinite Trees. 85-99 BibTeX

Invited Paper: Foundations and Basic Software

Rod M. Burstall: Programming with Modules as Typed Functional Programming. 103-112 BibTeX

Invited Paper: Architectures

Yuzuru Tanaka: MPDC: Massive Parallel Architecture for Very Large databases. 113-137 BibTeX

Invited Paper: Applications

Daniel G. Bobrow: If Prolog is the Answer, what is the Question? 138-145 BibTeX

Foundations for Logic Programs (1)

Derek R. Brough, Adrian Walker: Some Practical Properties of Logic Programming Interpreters. 149-156 BibTeX
Masahiko Sato, Takafumi Sakurai: QUTE: A Functional Language Based on Unification. 157-165 BibTeX
Alan Bundy: Incidence Calculus: A Mechanism for Probabilistic Reasoning. 166-174 BibTeX
Joxan Jaffar, Jean-Louis Lassez, Michael J. Maher: A Theory of Complete Logic Programs with Equality. 175-184 BibTeX
Atsushi Togashi, Shoichi Noguchi: A Program Transformation from Equational Programs into Logic Programs. 185-194 BibTeX

Foundations for Logic Programs (2)

Taisuke Sato, Hisao Tamaki: Transformational Logic Program Synthesis. 195-201 BibTeX
Alberto Martelli, Gianfranco Rossi: Efficient Unificatioin with Infinite Terms in Logic Programming. 202-209 BibTeX
Norbert Heck, Jürgen Avenhaus: Automatic Implementation of Abstract Data Types Specified by the Logic Programming Language. 210-219 BibTeX
C. A. R. Hoare, A. W. Roscoe: Programs as Executable Predicates. 220-228 BibTeX

Foundations for Logic Programs (3)

Kazuhiro Fuchi: Logical Derivation of a Prolog Interpreter. 229-234 BibTeX

Foundations for Logic Programs (4)

Hiroto Yasuura: On Parallel Computational Complexity of Unification. 235-243 BibTeX
David Scott Warren: Database Updates in Pure Prolog. 244-253 BibTeX
Luis Fariñas del Cerro, Ewa Orlowska: DAL - A Logic for Data Analysis. 254-261 BibTeX

Logic Programming Languages/Methodologies (1)

Shimon Cohen: Multi-Version Structures in Prolog. 265-274 BibTeX
Pentti Vataja, Esko Ukkonen: Finding Temporary Terms in Prolog Programs. 275-282 BibTeX
Luís Moniz Pereira, Roger Nasr: Delta-Prolog: A Distributed Logic Programming Language. 283-291 BibTeX
Takashi Chikayama: Unique Features of ESP. 292-298 BibTeX
Keith L. Clark, Steve Gregory: Notes on System Programming in Parlog. 299-306 BibTeX

Logic Programming Languages/Methodologies (2)

Yoav Shoham, Drew V. McDermott: Directed Relations and Inversion of Prolog Programs. 307-316 BibTeX
Kazunori Ueda, Takashi Chikayama: Efficient Stream/Array Processing in Logic Programming Languages. 317-326 BibTeX
Hideyuki Nakashima, Satoru Tomura, Kazunori Ueda: What is a Variable in Prolog? 327-332 BibTeX
Takashi Yokomori: A Note on the Set Abstraction in Logic Programming Language. 333-340 BibTeX

Logic Programming Languages/Methodologies (3)

Paul J. Voda, Benjamin Yu: RF-Maple: A Logic Programming Language with Functions, Types, and Concurrency. 341-347 BibTeX
Kenneth M. Kahn, Mats Carlsson: The Compilation of Prolog Programs without the Use of a Prolog Compiler. 348-355 BibTeX
António Porto: Two-Level Prolog. 356-360 BibTeX
Mehmet Dincbas, Jean-Pierre Le Pape: Metacontrol of Logic Programs in Metalog. 361-370 BibTeX

Architectures for New Generation Computing (1)

Hans Diel: Concurrent Data Access Architecture. 373-382 BibTeX
Hajimu Mori, Keiko Mitsumoto, Tomyyuki Fujita, Satoshi Goto: Knowledge-Based VLSI Routing System - WIREX. 383-388 BibTeX
Norihisa Suzuki, Koichi Kubota, Takashi Aoki: Sword32: A Bytecode Emulating Micorprocessor for Object-Oriented Languages. 389-397 BibTeX

Architectures for New Generation Computing (2)

Kazuo Taki, Minoru Yokota, Akira Yamamoto, Hiroshi Nishikawa, Shunichi Uchida, Hiroshi Nakashima, Akitoshi Mitsuishi: Hardware Design and Implementation of the Personal Sequential Inference Machine (PSI). 398-409 BibTeX
Minoru Yokota, Akira Yamamoto, Kazuo Taki, Hiroshi Nishikawa, Shunichi Uchida, Katsuto Nakajima, Masaki Mitsui: A Microprogrammed Interpreter for the Personal Sequential Inference Machine. 410-418 BibTeX
Hiroshi Sakai, Kazuhide Iwata, Shigeo Kamiya, Masaaki Abe, Akio Tanaka, Shigeki Shibayama, Kunio Murakami: Design and Implementation of the Relational Datbase Engine. 419-426 BibTeX
Shigeki Shibayama, Takeo Kakuta, Nobuyoshi Miyazaki, Haruo Yokota, Kunio Murakami: Query Processing Flow on RDBM Delta's Functionally-Distributed Architecture. 427-435 BibTeX
Andy Lowry, Stephen Taylor, Salvatore J. Stolfo: LPS Algorithms. 436-448 BibTeX
Daniel P. Miranker: Performance Estimates for the DADO Machine: A Comparison of Treat and Rete. 449-457 BibTeX

Architectures for New Generation Computing (3)

Ehud Y. Shapiro: Systolic Programming: A Paradigm of Parallel Processing. 458-470 BibTeX
Doug DeGroot: Restricted AND-Parallelism. 471-478 BibTeX
Tohru Moto-Oka, Hidehiko Tanaka, Hitoshi Aida, Keiji Hirata, Tsutomu Maruyama: The Architecture of a Parallel Inference Engine - PIE. 479-488 BibTeX
J. I. Kim, Seungryul R. Maeng, Jung Wan Cho: A Relational Dataflow Database Machine Based on Hierarchical Ring Network. 489-496 BibTeX

Architectures for New Generation Computing (4)

Werner Dilger, Hans-Albert Schneider: ASSIP-T: A Theorem Proving Machine. 497-506 BibTeX
Ryuzo Hasegawa, Makoto Amamiya: Parallel Execution of Logic Programs based on Dataflow Concept. 507-516 BibTeX
Lubomir Bic: A Data-Driven Model for Parallel Interpretation of Logic Programs. 517-523 BibTeX
Yoshinori Yamaguchi, Kenji Toda, Jayantha A. Herath, Toshitsugu Yuba: EM-3: A Lisp-Based Data-Driven Machine. 524-532 BibTeX

Architectures for New Generation Computing (5)

David May, Roger Shepherd: The Transputer Implementation of Occam. 533-541 BibTeX
Naoyuki Tamura, Koichi Wada, Hideo Matsuda, Yukio Kaneda, Sadao Maekawa: Sequential Prolog Machine PEK. 542-550 BibTeX
Andrzej Ciepielewski, Seif Haridi: Execution of Bagof on the Or-Parallel Token Machine. 551-560 BibTeX

Applications for New Generation Computing (1)

Fumihiro Maruyama, Tamio Mano, Kazushi Hayashi, Taeko Kakuda, Nobuaki Kawato, Takeo Uehara: Prolog-Based Expert System for Logic Design. 563-571 BibTeX
Masahiro Fujita, Hidehiko Tanaka, Tohru Moto-Oka: Specifying Hardware in temporal Logic & Efficient Synthesis of State-Diagrams Using Prolog. 572-581 BibTeX

Applications for New Generation Computing (2)

Hiroshi Motoda, Naoyuki Yamada, Kenichi Yoshida: A Knowledge based System for Plant Diagnosis. 582-588 BibTeX
Michael D. Poe: Control of Heuristic Search in a Prolog-based Microcode Synthesis Expert System. 589-595 BibTeX
Dan D. Kogan, Michael J. Freiling: SIDUR - A Structuring Formalism for Knowledge Information Processing Systems. 596-605 BibTeX
Fumio Mizoguchi, Hayato Ohwada, Yoshinori Katatama: LOOKS: Knowledge Representation System for Designing Expert Systems in a Logic Programming Framework. 606-612 BibTeX

Applications for New Generation Computing (3)

Koichi Furukawa, Akikazu Takeuchi, Susumu Kunifuji, Hideki Yasukawa, Masaru Ohki, Kazunori Ueda: MANDELA: A LogicBased Knowledge Programming System. 613-622 BibTeX
Mario Tokoro, Yutaka Ishikawa: An Object-Oriented Approach to Knowledge Systems. 623-631 BibTeX
Gian Piero Zarri: Intelligent Information Retrieval: An Interesting Application Area for the New Generation Computer Systems. 632-642 BibTeX

Applications for New Generation Computing (4)

Yutaka Ogawa, Kenichi Shima, Toshiharu Sugawara, Shigeru Takagi: Knowledge Representation and INference Environment: KRINE, - An Approach to Integration of Frame, Prolog, and Graphics. 643-651 BibTeX
Brigitte Grau: Stalking "Coherence" in the Topical Jungle. 652-659 BibTeX
Kuniaki Uehara, Ryo Ochitani, Osamu Mikami, Jun'ichi Toyoda: Steps Toward an Actor-Oriented Integrated Parser. 660-668 BibTeX

Applications for New Generation Computing (5)

Verónica Dahl: More on Gapping Grammars. 669-677 BibTeX
Harvey Abramson: Definite Clause Translation Grammars and the Logical Specification of Data Types as Unambiguous Context Free Grammars. 678-685 BibTeX
Jordan B. Pollack, David L. Waltz: Parallel Interpretation of Natural Language. 686-691 BibTeX

Impacts of New Generation Computing

Henry J. Kohoutek: Quality Issues in New Generation Computing. 695-702 BibTeX