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

KPSP: A Knowledge Programming System based on Prolog.

Sangki Han, Jung Wan Cho: KPSP: A Knowledge Programming System based on Prolog. ER 1985: 2-9
@inproceedings{DBLP:conf/er/HanC85,
  author    = {Sangki Han and
               Jung Wan Cho},
  editor    = {Peter P. Chen},
  title     = {KPSP: A Knowledge Programming System based on Prolog},
  booktitle = {Entity-Relationship Approach: The Use of ER Concept in Knowledge
               Representation, Proceedings of the Fourth International Conference
               on Entity-Relationship Approach, Chicago, Illinois, USA, 29-30
               October 1985},
  publisher = {IEEE Computer Society and North-Holland},
  year      = {1985},
  isbn      = {0-444-87951-X},
  pages     = {2-9},
  ee        = {db/conf/er/HanC85.html},
  crossref  = {DBLP:conf/er/85},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

ACM SIGMOD Anthology

CDROM Version: Load the CDROM "Volume 2 Issue 1, ER 1979-1998" and ... DVD Version: Load ACM SIGMOD Anthology DVD 1" and ...

References

[1]
...
[2]
Daniel G. Bobrow, Terry Winograd: On Overview of KRL, a Knowledge Representation Language. Cognitive Science 1(1): 3-46(1977) CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[3]
...
[4]
...
[5]
Ronald J. Brachman: What IS-A Is and Isn't: An Analysis of Taxonomic Links in Semantic Networks. IEEE Computer 16(10): 30-36(1983) CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[6]
Ronald J. Brachman, Richard Fikes, Hector J. Levesque: Krypton: A Functional Approach to Knowledge Representation. IEEE Computer 16(10): 67-73(1983) CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[7]
Michael L. Brodie: On the Development of Data Models. On Conceptual Modelling (Intervale) 1982: 19-47 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[8]
Peter P. Chen: The Entity-Relationship Model - Toward a Unified View of Data. ACM Trans. Database Syst. 1(1): 9-36(1976) CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[9]
...
[10]
Koichi Furukawa, Akikazu Takeuchi, Susumu Kunifuji, Hideki Yasukawa, Masaru Ohki, Kazunori Ueda: MANDELA: A LogicBased Knowledge Programming System. FGCS 1984: 613-622 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[11]
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
[12]
Adele Goldberg, David Robson: Smalltalk-80: The Language and Its Implementation. Addison-Wesley 1983
CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[13]
William A. Kornfeld: Equality for Prolog. IJCAI 1983: 514-519 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[14]
...
[15]
Taizo Miyachi, Susumu Kunifuji, Hajime Kitakami, Koichi Furukawa, Akikazu Takeuchi, Haruo Yokota: A Knowledge Assimilation Method for Logic Databases. SLP 1984: 118-125 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[16]
Fumio Mizoguchi, Hayato Ohwada, Yoshinori Katatama: LOOKS: Knowledge Representation System for Designing Expert Systems in a Logic Programming Framework. FGCS 1984: 606-612 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[17]
Hideyuki Nakashima: Knowledge representation in Prolog/KR. SLP 1984: 126-130 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[18]
...
[19]
Raymond Reiter: Towards a Logical Reconstruction of Relational Database Theory. On Conceptual Modelling (Intervale) 1982: 191-233 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[20]
...
[21]
James G. Schmolze, Thomas A. Lipkis: Classification in the KL-ONE Knowledge Representation System. IJCAI 1983: 330-332 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[22]
...
[23]
...
[24]
...
[25]
...
[26]
Carlo Zaniolo: Object-Oriented Programming in Prolog. SLP 1984: 265-270 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML

Referenced by

  1. Martin Gogolla, Bernd Meyer, Gerd Westerman: Drafting Extended Entity-Relationship Schemas with QUEER. ER 1991: 561-585

Copyright © Mon Nov 2 20:33:33 2009 by Michael Ley (ley@uni-trier.de)