The SCEAS System
Navigation Menu

Conferences in DBLP

Fifth Generation Computer Systems (fgcs)
1984 (conf/fgcs/84)

  1. Kazuhiro Fuchi
    Revisiting Original Philosophy of Fifth Generation Computer Systems Project. [Citation Graph (2, 0)][DBLP]
    FGCS, 1984, pp:1-2 [Conf]
  2. Kazukiyo Kawanobe
    Current Status and Future Plans of the Fifth Generation Computer Systems Project. [Citation Graph (0, 0)][DBLP]
    FGCS, 1984, pp:3-17 [Conf]
  3. Kunio Murakami, Takeo Kakuta, Rikio Onai
    Architectures and Hardware Systems: Parallel Inference Machine and Knowledge Base Machine. [Citation Graph (1, 0)][DBLP]
    FGCS, 1984, pp:18-36 [Conf]
  4. Koichi Furukawa, Toshio Yokoi
    Basic Software System. [Citation Graph (0, 0)][DBLP]
    FGCS, 1984, pp:37-57 [Conf]
  5. Shunichi Uchida, Toshio Yokoi
    Sequential Inference Machine: SIM Progress Report. [Citation Graph (0, 0)][DBLP]
    FGCS, 1984, pp:58-69 [Conf]
  6. Toshio Yokoi, Shunichi Uchida
    Sequential Inference Machine: SIM its Programming and Operating System. [Citation Graph (0, 0)][DBLP]
    FGCS, 1984, pp:70-81 [Conf]
  7. Alain Colmerauer
    Equations and Inequations on Finite and Infinite Trees. [Citation Graph (0, 0)][DBLP]
    FGCS, 1984, pp:85-99 [Conf]
  8. Rod M. Burstall
    Programming with Modules as Typed Functional Programming. [Citation Graph (0, 0)][DBLP]
    FGCS, 1984, pp:103-112 [Conf]
  9. Yuzuru Tanaka
    MPDC: Massive Parallel Architecture for Very Large databases. [Citation Graph (5, 0)][DBLP]
    FGCS, 1984, pp:113-137 [Conf]
  10. Daniel G. Bobrow
    If Prolog is the Answer, what is the Question? [Citation Graph (0, 0)][DBLP]
    FGCS, 1984, pp:138-145 [Conf]
  11. Derek R. Brough, Adrian Walker
    Some Practical Properties of Logic Programming Interpreters. [Citation Graph (1, 0)][DBLP]
    FGCS, 1984, pp:149-156 [Conf]
  12. Masahiko Sato, Takafumi Sakurai
    QUTE: A Functional Language Based on Unification. [Citation Graph (1, 0)][DBLP]
    FGCS, 1984, pp:157-165 [Conf]
  13. Alan Bundy
    Incidence Calculus: A Mechanism for Probabilistic Reasoning. [Citation Graph (0, 0)][DBLP]
    FGCS, 1984, pp:166-174 [Conf]
  14. Joxan Jaffar, Jean-Louis Lassez, Michael J. Maher
    A Theory of Complete Logic Programs with Equality. [Citation Graph (0, 0)][DBLP]
    FGCS, 1984, pp:175-184 [Conf]
  15. Atsushi Togashi, Shoichi Noguchi
    A Program Transformation from Equational Programs into Logic Programs. [Citation Graph (0, 0)][DBLP]
    FGCS, 1984, pp:185-194 [Conf]
  16. Taisuke Sato, Hisao Tamaki
    Transformational Logic Program Synthesis. [Citation Graph (0, 0)][DBLP]
    FGCS, 1984, pp:195-201 [Conf]
  17. Alberto Martelli, Gianfranco Rossi
    Efficient Unificatioin with Infinite Terms in Logic Programming. [Citation Graph (0, 0)][DBLP]
    FGCS, 1984, pp:202-209 [Conf]
  18. Norbert Heck, Jürgen Avenhaus
    Automatic Implementation of Abstract Data Types Specified by the Logic Programming Language. [Citation Graph (0, 0)][DBLP]
    FGCS, 1984, pp:210-219 [Conf]
  19. C. A. R. Hoare, A. W. Roscoe
    Programs as Executable Predicates. [Citation Graph (0, 0)][DBLP]
    FGCS, 1984, pp:220-228 [Conf]
  20. Kazuhiro Fuchi
    Logical Derivation of a Prolog Interpreter. [Citation Graph (0, 0)][DBLP]
    FGCS, 1984, pp:229-234 [Conf]
  21. Hiroto Yasuura
    On Parallel Computational Complexity of Unification. [Citation Graph (3, 0)][DBLP]
    FGCS, 1984, pp:235-243 [Conf]
  22. David Scott Warren
    Database Updates in Pure Prolog. [Citation Graph (8, 0)][DBLP]
    FGCS, 1984, pp:244-253 [Conf]
  23. Luis Fariñas del Cerro, Ewa Orlowska
    DAL - A Logic for Data Analysis. [Citation Graph (0, 0)][DBLP]
    FGCS, 1984, pp:254-261 [Conf]
  24. Shimon Cohen
    Multi-Version Structures in Prolog. [Citation Graph (0, 0)][DBLP]
    FGCS, 1984, pp:265-274 [Conf]
  25. Pentti Vataja, Esko Ukkonen
    Finding Temporary Terms in Prolog Programs. [Citation Graph (0, 0)][DBLP]
    FGCS, 1984, pp:275-282 [Conf]
  26. Luís Moniz Pereira, Roger Nasr
    Delta-Prolog: A Distributed Logic Programming Language. [Citation Graph (0, 0)][DBLP]
    FGCS, 1984, pp:283-291 [Conf]
  27. Takashi Chikayama
    Unique Features of ESP. [Citation Graph (2, 0)][DBLP]
    FGCS, 1984, pp:292-298 [Conf]
  28. Keith L. Clark, Steve Gregory
    Notes on System Programming in Parlog. [Citation Graph (0, 0)][DBLP]
    FGCS, 1984, pp:299-306 [Conf]
  29. Yoav Shoham, Drew V. McDermott
    Directed Relations and Inversion of Prolog Programs. [Citation Graph (0, 0)][DBLP]
    FGCS, 1984, pp:307-316 [Conf]
  30. Kazunori Ueda, Takashi Chikayama
    Efficient Stream/Array Processing in Logic Programming Languages. [Citation Graph (0, 0)][DBLP]
    FGCS, 1984, pp:317-326 [Conf]
  31. Hideyuki Nakashima, Satoru Tomura, Kazunori Ueda
    What is a Variable in Prolog? [Citation Graph (0, 0)][DBLP]
    FGCS, 1984, pp:327-332 [Conf]
  32. Takashi Yokomori
    A Note on the Set Abstraction in Logic Programming Language. [Citation Graph (1, 0)][DBLP]
    FGCS, 1984, pp:333-340 [Conf]
  33. Paul J. Voda, Benjamin Yu
    RF-Maple: A Logic Programming Language with Functions, Types, and Concurrency. [Citation Graph (0, 0)][DBLP]
    FGCS, 1984, pp:341-347 [Conf]
  34. Kenneth M. Kahn, Mats Carlsson
    The Compilation of Prolog Programs without the Use of a Prolog Compiler. [Citation Graph (0, 0)][DBLP]
    FGCS, 1984, pp:348-355 [Conf]
  35. António Porto
    Two-Level Prolog. [Citation Graph (0, 0)][DBLP]
    FGCS, 1984, pp:356-360 [Conf]
  36. Mehmet Dincbas, Jean-Pierre Le Pape
    Metacontrol of Logic Programs in Metalog. [Citation Graph (1, 0)][DBLP]
    FGCS, 1984, pp:361-370 [Conf]
  37. Hans Diel
    Concurrent Data Access Architecture. [Citation Graph (0, 0)][DBLP]
    FGCS, 1984, pp:373-382 [Conf]
  38. Hajimu Mori, Keiko Mitsumoto, Tomyyuki Fujita, Satoshi Goto
    Knowledge-Based VLSI Routing System - WIREX. [Citation Graph (0, 0)][DBLP]
    FGCS, 1984, pp:383-388 [Conf]
  39. Norihisa Suzuki, Koichi Kubota, Takashi Aoki
    Sword32: A Bytecode Emulating Micorprocessor for Object-Oriented Languages. [Citation Graph (0, 0)][DBLP]
    FGCS, 1984, pp:389-397 [Conf]
  40. 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). [Citation Graph (0, 0)][DBLP]
    FGCS, 1984, pp:398-409 [Conf]
  41. Minoru Yokota, Akira Yamamoto, Kazuo Taki, Hiroshi Nishikawa, Shunichi Uchida, Katsuto Nakajima, Masaki Mitsui
    A Microprogrammed Interpreter for the Personal Sequential Inference Machine. [Citation Graph (0, 0)][DBLP]
    FGCS, 1984, pp:410-418 [Conf]
  42. Hiroshi Sakai, Kazuhide Iwata, Shigeo Kamiya, Masaaki Abe, Akio Tanaka, Shigeki Shibayama, Kunio Murakami
    Design and Implementation of the Relational Datbase Engine. [Citation Graph (3, 0)][DBLP]
    FGCS, 1984, pp:419-426 [Conf]
  43. Shigeki Shibayama, Takeo Kakuta, Nobuyoshi Miyazaki, Haruo Yokota, Kunio Murakami
    Query Processing Flow on RDBM Delta's Functionally-Distributed Architecture. [Citation Graph (2, 0)][DBLP]
    FGCS, 1984, pp:427-435 [Conf]
  44. Andy Lowry, Stephen Taylor, Salvatore J. Stolfo
    LPS Algorithms. [Citation Graph (0, 0)][DBLP]
    FGCS, 1984, pp:436-448 [Conf]
  45. Daniel P. Miranker
    Performance Estimates for the DADO Machine: A Comparison of Treat and Rete. [Citation Graph (3, 0)][DBLP]
    FGCS, 1984, pp:449-457 [Conf]
  46. Ehud Y. Shapiro
    Systolic Programming: A Paradigm of Parallel Processing. [Citation Graph (0, 0)][DBLP]
    FGCS, 1984, pp:458-470 [Conf]
  47. Doug DeGroot
    Restricted AND-Parallelism. [Citation Graph (0, 0)][DBLP]
    FGCS, 1984, pp:471-478 [Conf]
  48. Tohru Moto-Oka, Hidehiko Tanaka, Hitoshi Aida, Keiji Hirata, Tsutomu Maruyama
    The Architecture of a Parallel Inference Engine - PIE. [Citation Graph (1, 0)][DBLP]
    FGCS, 1984, pp:479-488 [Conf]
  49. J. I. Kim, Seungryul R. Maeng, Jung Wan Cho
    A Relational Dataflow Database Machine Based on Hierarchical Ring Network. [Citation Graph (0, 0)][DBLP]
    FGCS, 1984, pp:489-496 [Conf]
  50. Werner Dilger, Hans-Albert Schneider
    ASSIP-T: A Theorem Proving Machine. [Citation Graph (0, 0)][DBLP]
    FGCS, 1984, pp:497-506 [Conf]
  51. Ryuzo Hasegawa, Makoto Amamiya
    Parallel Execution of Logic Programs based on Dataflow Concept. [Citation Graph (0, 0)][DBLP]
    FGCS, 1984, pp:507-516 [Conf]
  52. Lubomir Bic
    A Data-Driven Model for Parallel Interpretation of Logic Programs. [Citation Graph (0, 0)][DBLP]
    FGCS, 1984, pp:517-523 [Conf]
  53. Yoshinori Yamaguchi, Kenji Toda, Jayantha A. Herath, Toshitsugu Yuba
    EM-3: A Lisp-Based Data-Driven Machine. [Citation Graph (0, 0)][DBLP]
    FGCS, 1984, pp:524-532 [Conf]
  54. David May, Roger Shepherd
    The Transputer Implementation of Occam. [Citation Graph (0, 0)][DBLP]
    FGCS, 1984, pp:533-541 [Conf]
  55. Naoyuki Tamura, Koichi Wada, Hideo Matsuda, Yukio Kaneda, Sadao Maekawa
    Sequential Prolog Machine PEK. [Citation Graph (0, 0)][DBLP]
    FGCS, 1984, pp:542-550 [Conf]
  56. Andrzej Ciepielewski, Seif Haridi
    Execution of Bagof on the Or-Parallel Token Machine. [Citation Graph (0, 0)][DBLP]
    FGCS, 1984, pp:551-560 [Conf]
  57. Fumihiro Maruyama, Tamio Mano, Kazushi Hayashi, Taeko Kakuda, Nobuaki Kawato, Takeo Uehara
    Prolog-Based Expert System for Logic Design. [Citation Graph (0, 0)][DBLP]
    FGCS, 1984, pp:563-571 [Conf]
  58. Masahiro Fujita, Hidehiko Tanaka, Tohru Moto-Oka
    Specifying Hardware in temporal Logic & Efficient Synthesis of State-Diagrams Using Prolog. [Citation Graph (0, 0)][DBLP]
    FGCS, 1984, pp:572-581 [Conf]
  59. Hiroshi Motoda, Naoyuki Yamada, Kenichi Yoshida
    A Knowledge based System for Plant Diagnosis. [Citation Graph (0, 0)][DBLP]
    FGCS, 1984, pp:582-588 [Conf]
  60. Michael D. Poe
    Control of Heuristic Search in a Prolog-based Microcode Synthesis Expert System. [Citation Graph (0, 0)][DBLP]
    FGCS, 1984, pp:589-595 [Conf]
  61. Dan D. Kogan, Michael J. Freiling
    SIDUR - A Structuring Formalism for Knowledge Information Processing Systems. [Citation Graph (0, 0)][DBLP]
    FGCS, 1984, pp:596-605 [Conf]
  62. Fumio Mizoguchi, Hayato Ohwada, Yoshinori Katatama
    LOOKS: Knowledge Representation System for Designing Expert Systems in a Logic Programming Framework. [Citation Graph (1, 0)][DBLP]
    FGCS, 1984, pp:606-612 [Conf]
  63. Koichi Furukawa, Akikazu Takeuchi, Susumu Kunifuji, Hideki Yasukawa, Masaru Ohki, Kazunori Ueda
    MANDELA: A LogicBased Knowledge Programming System. [Citation Graph (1, 0)][DBLP]
    FGCS, 1984, pp:613-622 [Conf]
  64. Mario Tokoro, Yutaka Ishikawa
    An Object-Oriented Approach to Knowledge Systems. [Citation Graph (1, 0)][DBLP]
    FGCS, 1984, pp:623-631 [Conf]
  65. Gian Piero Zarri
    Intelligent Information Retrieval: An Interesting Application Area for the New Generation Computer Systems. [Citation Graph (0, 0)][DBLP]
    FGCS, 1984, pp:632-642 [Conf]
  66. Yutaka Ogawa, Kenichi Shima, Toshiharu Sugawara, Shigeru Takagi
    Knowledge Representation and INference Environment: KRINE, - An Approach to Integration of Frame, Prolog, and Graphics. [Citation Graph (0, 0)][DBLP]
    FGCS, 1984, pp:643-651 [Conf]
  67. Brigitte Grau
    Stalking "Coherence" in the Topical Jungle. [Citation Graph (0, 0)][DBLP]
    FGCS, 1984, pp:652-659 [Conf]
  68. Kuniaki Uehara, Ryo Ochitani, Osamu Mikami, Jun'ichi Toyoda
    Steps Toward an Actor-Oriented Integrated Parser. [Citation Graph (0, 0)][DBLP]
    FGCS, 1984, pp:660-668 [Conf]
  69. Verónica Dahl
    More on Gapping Grammars. [Citation Graph (0, 0)][DBLP]
    FGCS, 1984, pp:669-677 [Conf]
  70. Harvey Abramson
    Definite Clause Translation Grammars and the Logical Specification of Data Types as Unambiguous Context Free Grammars. [Citation Graph (0, 0)][DBLP]
    FGCS, 1984, pp:678-685 [Conf]
  71. Jordan B. Pollack, David L. Waltz
    Parallel Interpretation of Natural Language. [Citation Graph (0, 0)][DBLP]
    FGCS, 1984, pp:686-691 [Conf]
  72. Henry J. Kohoutek
    Quality Issues in New Generation Computing. [Citation Graph (0, 0)][DBLP]
    FGCS, 1984, pp:695-702 [Conf]
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002