ACM SIGMOD Anthology VLDB dblp.uni-trier.de

Research and Development on Knowledge Bases Systems at ICOT.

Hidenori Itoh: Research and Development on Knowledge Bases Systems at ICOT. VLDB 1986: 437-445
@inproceedings{DBLP:conf/vldb/Itoh86,
  author    = {Hidenori Itoh},
  editor    = {Wesley W. Chu and
               Georges Gardarin and
               Setsuo Ohsuga and
               Yahiko Kambayashi},
  title     = {Research and Development on Knowledge Bases Systems at ICOT},
  booktitle = {VLDB'86 Twelfth International Conference on Very Large Data Bases,
               August 25-28, 1986, Kyoto, Japan, Proceedings},
  publisher = {Morgan Kaufmann},
  year      = {1986},
  isbn      = {0-934613-18-4},
  pages     = {437-445},
  ee        = {db/conf/vldb/Itoh86.html},
  crossref  = {DBLP:conf/vldb/86},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Abstract

This paper describes ICOT's research and development activities on knowledge base systems. Our approach is to investigate knowledge base systems from the viewpoint of logic programming. We have defined several models on the bases of which knowledge base systems will be developed step by step. Two types of knowledge base management software system models are discussed. One is a model combining a logic programming system and a database management software system. The other is an integrated model. Pilot, distributed, and parallel-knowledge base machines models are also discussed.

Copyright © 1986 by the VLDB Endowment. Permission to copy without fee all or part of this material is granted provided that the copies are not made or distributed for direct commercial advantage, the VLDB copyright notice and the title of the publication and its date appear, and notice is given that copying is by the permission of the Very Large Data Base Endowment. To copy otherwise, or to republish, requires a fee and/or special permission from the Endowment.


Online Paper

ACM SIGMOD Anthology

CDROM Version: Load the CDROM "Volume 1 Issue 4, VLDB '75-'88" and ... DVD Version: Load ACM SIGMOD Anthology DVD 1" and ...

Printed Edition

Wesley W. Chu, Georges Gardarin, Setsuo Ohsuga, Yahiko Kambayashi (Eds.): VLDB'86 Twelfth International Conference on Very Large Data Bases, August 25-28, 1986, Kyoto, Japan, Proceedings. Morgan Kaufmann 1986, ISBN 0-934613-18-4
Contents CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML

References

[1]
Kazuhiro Fuchi: Revisiting Original Philosophy of Fifth Generation Computer Systems Project. FGCS 1984: 1-2 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[2]
Kazuhiro Fuchi, Koichi Furukawa: The Role of Logic Programming in the Fifth Generation Computer Project. ICLP 1986: 1-24 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[3]
Takashi Chikayama: Unique Features of ESP. FGCS 1984: 292-298 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[4]
Minoru Yokota, Akira Yamamoto, Kazuo Taki, Hiroshi Nishikawa, Shunichi Uchida: The Design and Implementation of a Personal Sequential Inference Machine: PSI. New Generation Comput. 1(2): 125-144(1983) CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[5]
Shigeyuki Takagi, Toshio Yokoi, Shunichi Uchida, Toshiaki Kurokawa, Takashi Hattori, Takashi Chikayama, Kô Sakai, Junichiro Tsuji: Overall design of SIMPOS. ICLP 1984: 1-12 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[6]
...
[7]
Kazunori Ueda: Guarded Horn Clauses. LP 1985: 168-179 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[8]
...
[9]
...
[10]
...
[11]
...
[12]
Hervé Gallaire, Jack Minker, Jean-Marie Nicolas: Logic and Databases: A Deductive Approach. ACM Comput. Surv. 16(2): 153-185(1984) CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[13]
Hajime Kitakami, Susumu Kunifuji, Taizo Miyachi, Koichi Furukawa: A Methodology for Implementation of a Knowledge Acquisition System. SLP 1984: 131-142 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[14]
Haruo Yokota, Sko Sakai, Hidenori Itoh: Deductive Database System based on Unit Resolution. ICDE 1986: 228-235 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[15]
...
[16]
...
[17]
...
[18]
Hidenori Itoh, Masaaki Abe, Chiaki Sakama, Yuji Mitomo: Parallel Control Techniques for Dedicated Relational Database Engines. ICDE 1987: 208-215 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[19]
Yukihiro Morita, Haruo Yokota, Kenji Nishida, Hidenori Itoh: Retrieval-By-Unification Operation on a Relational Knowledge Base. VLDB 1986: 52-59 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[20]
Yuzuru Tanaka: MPDC: Massive Parallel Architecture for Very Large databases. FGCS 1984: 113-137 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[21]
Haran Boral, David J. DeWitt, Dina Friedland, Nancy F. Jarrell, W. Kevin Wilkinson: Implementation of the Database Machine DIRECT. IEEE Trans. Software Eng. 8(6): 533-543(1982) CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML

Copyright © Tue Mar 16 02:21:59 2010 by Michael Ley (ley@uni-trier.de)