ACM SIGMOD Anthology ACM SIGMOD dblp.uni-trier.de

Knowledge Base System in a Logic Programming Paradigm.

Hidenori Itoh, Hidetoshi Monoi, Hirohisa Seki: Knowledge Base System in a Logic Programming Paradigm. DASFAA 1989: 109-116
@inproceedings{DBLP:conf/dasfaa/ItohMS89,
  author    = {Hidenori Itoh and
               Hidetoshi Monoi and
               Hirohisa Seki},
  editor    = {Sukho Lee and
               Hideko S. Kunii and
               Won Kim and
               In Sup Paik and
               Yahiko Kambayashi},
  title     = {Knowledge Base System in a Logic Programming Paradigm},
  booktitle = {International Symposium on Database Systems for Advanced Applications,
               Seoul, Korea, April 10-12, 1989},
  publisher = {Dept. of Computer Science, KAIST, P.O. Box 150, ChongRyang, Seoul,
               131-650, Korea},
  year      = {1989},
  pages     = {109-116},
  ee        = {db/conf/dasfaa/ItohMS89.html},
  crossref  = {DBLP:conf/dasfaa/89},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}
BibTeX

Abstract

This paper describes about the research and development status of the knowledge base system in logic programming and the parallel processing paradigms at the end of the intermediate stage. Our aim is to realize a prototype of the fifth generation computer system in the final stage. It will consist of a parallel inference subsystem and a knowledge base subsystem. In the final stage, these subsystems will be integrated into the Prototype of the FGCS by using the parallel logic programming kernel language, Guarded Horn Clauses, or GHC defined in ICOT in 1985.

Copyright © 1989 by The Organizing Commitee of the International Symposium on Database Systems for Advanced Applications. Permission to copy without all or part of this material is granted provided that the copies are not made or distributed for direct commercial advantage, the DASFAA copyright notice and the title of the publication and its date appear, and notice is given that copying is by permission of the Organizing Commitee of the International Symposium on Database Systems for Advanced Applications. To copy otherwise, or to republish, requires a fee and/or special permission from the Organizing Commitee.


ACM SIGMOD Anthology

CDROM Version: Load the CDROM "Volume 2 Issue 2, EDBT, ICDT, MFDBS, DASFAA" and ... DVD Version: Load ACM SIGMOD Anthology DVD 1" and ... BibTeX

References

[Chikayama84]
Takashi Chikayama: Unique Features of ESP. FGCS 1984: 292-298 BibTeX
[Goto87]
...
[Habata87]
...
[ItohF88]
F. Itoh, K. Shimakawa, K. Togo, S. Matsuda, H. Itoh: Design, Implementation, and Evaluation of a Relational Database Engine for Variable Length Records. IWDM 1987: 269-282 BibTeX
[ItohF87a]
Hidenori Itoh, Masaaki Abe, Chiaki Sakama, Yuji Mitomo: Parallel Control Techniques for Dedicated Relational Database Engines. ICDE 1987: 208-215 BibTeX
[ItohH87b]
...
[ItohH88]
Hidenori Itoh, Toshiaki Takewaki, Haruo Yokota: Knowledge Base Machine Based on Parallel Kernel Language. IWDM 1987: 17-30 BibTeX
[Kakuta85]
Takeo Kakuta, Nobuyoshi Miyazaki, Shigeki Shibayama, Haruo Yokota, Kunio Murakami: The Design and Implementation of Relational Database Machine Delta. IWDM 1985: 13-34 BibTeX
[Koguchi88]
Takuo Koguchi, Hidefumi Kondo, Masahiro Oba, Hidenori Itoh: Knowledge Representation with Abstractive Layers for Information Retrieval. FGCS 1988: 1168-1175 BibTeX
[Konagaya87]
...
[Kunifuji82]
...
[Miyazaki88]
...
[Monoi88a]
Hidetoshi Monoi, Yukihiro Morita, Hidenori Itoh, Hiroshi Sakai, Shigeki Shibayama: Parallel Control Technique and Performance of an MPPM Knowledge-Base Machine. ICDE 1988: 210-217 BibTeX
[Monoi88b]
Hidetoshi Monoi, Yukihiro Morita, Hidenori Itoh, Toshiaki Takewaki, Hiroshi Sakai, Shigeki Shibayama: Unification-Based Query Language for Relational Knowledge Bases and Its Parallel Execution. FGCS 1988: 896-903 BibTeX
[Morita86]
Yukihiro Morita, Haruo Yokota, Kenji Nishida, Hidenori Itoh: Retrieval-By-Unification Operation on a Relational Knowledge Base. VLDB 1986: 52-59 BibTeX
[Murakami83]
...
[Sakai88]
Hiroshi Sakai, Shigeki Shibayama, Hidetoshi Monoi, Yukihiro Morita, Hidenori Itoh: A Simulation Study of a Knowledge Base Machine Architecture. IWDM 1987: 585-598 BibTeX
[Sakama87]
Chiaki Sakama, Hidenori Itoh: Partial Evaluation of Queries in Deductive Databases. New Generation Comput. 6(2&3): 249-258(1988) BibTeX
[Seki88]
Hirohisa Seki, Hidenori Itoh: A Query Evaluation Method for Stratified Programs Under the Extended CWA. ICLP/SLP 1988: 195-211 BibTeX
[Shibayama87]
...
[Takewaki86]
...
[Tamaki86]
Hisao Tamaki, Taisuke Sato: OLD Resolution with Tabulation. ICLP 1986: 84-98 BibTeX
[Tanaka84a]
Yuzuru Tanaka: MPDC: Massive Parallel Architecture for Very Large databases. FGCS 1984: 113-137 BibTeX
[Tanaka84b]
Yuzuru Tanaka: A Multiport Page-Memory Architecture and A Multiport Disk-Cache System. New Generation Comput. 2(3): 242-260(1984) BibTeX
[Ueda85]
Kazunori Ueda: Guarded Horn Clauses. LP 1985: 168-179 BibTeX
[Yokota84]
Haruo Yokota, Susumu Kunifuji, Takeo Kakuta, Nobuyoshi Miyazaki, Shigeki Shibayama, Kunio Murakami: An Enhanced Inference Mechanism for Generating Relational Algebra Queries. PODS 1984: 229-238 BibTeX
[Yokota86a]
Haruo Yokota, Sko Sakai, Hidenori Itoh: Deductive Database System based on Unit Resolution. ICDE 1986: 228-235 BibTeX
[Yokota86b]
Haruo Yokota, Hidenori Itoh: A Model and an Architecture for a Relational Knowledge Base. ISCA 1986: 2-9 BibTeX
BibTeX
ACM SIGMOD Anthology - DBLP: [Home | Search: Author, Title | Conferences | Journals]
ACM SIGMOD Anthology: Copyright © by ACM (info@acm.org), Corrections: anthology@acm.org
DBLP: Copyright © by Michael Ley (ley@uni-trier.de), last change: Sat May 16 23:05:12 2009