Journals in DBLP

SIGART Bulletin
1991, volume: 2, number: 3

1. James F. Allen
   The RHET System. [Citation Graph (0, 0)][DBLP]
   SIGART Bulletin, 1991, v:2, n:3, pp:1-7 [Journal]
   
2. Franz Baader, Bernhard Hollunder
   KRIS: Knowledge Representation and Inference System. [Citation Graph (1, 0)][DBLP]
   SIGART Bulletin, 1991, v:2, n:3, pp:8-14 [Journal]
   
3. Samuel Bayer, Marc B. Vilain
   The Relation-Based Knowledge Representation of King Kong. [Citation Graph (0, 0)][DBLP]
   SIGART Bulletin, 1991, v:2, n:3, pp:15-21 [Journal]
   
4. Toni Bollinger, Udo Pletat
   The LILOG Knowledge Representation System. [Citation Graph (0, 0)][DBLP]
   SIGART Bulletin, 1991, v:2, n:3, pp:22-27 [Journal]
   
5. Seng-cho Timothy Chou, Marianne Winslett
   The Implementation of a Model-based Belief Revision System. [Citation Graph (0, 0)][DBLP]
   SIGART Bulletin, 1991, v:2, n:3, pp:28-34 [Journal]
   
6. James M. Crawford, Benjamin Kuipers
   Algernon - A Tractable System for Knowledge-Representation. [Citation Graph (0, 0)][DBLP]
   SIGART Bulletin, 1991, v:2, n:3, pp:35-44 [Journal]
   
7. Brian R. Gaines
   Empirical Investigation of Knowledge Representation Servers: Design Issues and Applications Experience with KRS. [Citation Graph (0, 0)][DBLP]
   SIGART Bulletin, 1991, v:2, n:3, pp:45-56 [Journal]
   
8. Matthew L. Ginsberg
   The MVL Theorem Proving System. [Citation Graph (0, 0)][DBLP]
   SIGART Bulletin, 1991, v:2, n:3, pp:57-60 [Journal]
   
9. Nicola Guarino
   A Concise Presentation if ITL. [Citation Graph (0, 0)][DBLP]
   SIGART Bulletin, 1991, v:2, n:3, pp:61-69 [Journal]
   
10. Alfred Kobsa
    First Experiences with the SB-ONE Knowledge Representation Workbench in Natural-Language Applications. [Citation Graph (0, 0)][DBLP]
    SIGART Bulletin, 1991, v:2, n:3, pp:70-76 [Journal]
    
11. Bryan M. Kramer, Vinay K. Chaudhri, Manolis Koubarakis, Thodoros Topaloglou, Huaiqing Wang, John Mylopoulos
    Implementing Telos. [Citation Graph (0, 0)][DBLP]
    SIGART Bulletin, 1991, v:2, n:3, pp:77-83 [Journal]
    
12. Douglas B. Lenat, Ramanathan V. Guha
    The Evolution of CycL, The Cyc Representation Language. [Citation Graph (1, 0)][DBLP]
    SIGART Bulletin, 1991, v:2, n:3, pp:84-87 [Journal]
    
13. Robert M. MacGregor
    Inside the LOOM Description Classifier. [Citation Graph (2, 0)][DBLP]
    SIGART Bulletin, 1991, v:2, n:3, pp:88-92 [Journal]
    
14. Eric Mays, Robert Dionne, Robert A. Weida
    K-Rep System Overview. [Citation Graph (0, 0)][DBLP]
    SIGART Bulletin, 1991, v:2, n:3, pp:93-97 [Journal]
    
15. David A. McAllester
    Socratic Sequent Systems. [Citation Graph (0, 0)][DBLP]
    SIGART Bulletin, 1991, v:2, n:3, pp:98-100 [Journal]
    
16. Robert Nado, Jeffrey Van Baalen, Richard Fikes
    JOSIE: An Integration of Specialized Representation and Reasoning Tools. [Citation Graph (0, 0)][DBLP]
    SIGART Bulletin, 1991, v:2, n:3, pp:101-107 [Journal]
    
17. Peter F. Patel-Schneider, Deborah L. McGuinness, Alexander Borgida
    The CLASSIC Knowledge Representation System: Guiding Principles and Implementation Rationale. [Citation Graph (0, 0)][DBLP]
    SIGART Bulletin, 1991, v:2, n:3, pp:108-113 [Journal]
    
18. Christof Peltason
    The BACK System - An Overview. [Citation Graph (2, 0)][DBLP]
    SIGART Bulletin, 1991, v:2, n:3, pp:114-119 [Journal]
    
19. Charles Rich
    CAKE: An Implemented Hybrid Knowledge Representation and Limited Reasoning System. [Citation Graph (0, 0)][DBLP]
    SIGART Bulletin, 1991, v:2, n:3, pp:120-127 [Journal]
    
20. Stuart C. Shapiro
    Case Studies of SNePS. [Citation Graph (0, 0)][DBLP]
    SIGART Bulletin, 1991, v:2, n:3, pp:128-134 [Journal]
    
21. Howard E. Shrobe
    Providing Paradigm Orientation without Implementational Handcuffs. [Citation Graph (0, 0)][DBLP]
    SIGART Bulletin, 1991, v:2, n:3, pp:135-142 [Journal]
    
22. Narinder Singh, Michael R. Genesereth
    Epikit: A Library of Subroutines Supporting Declarative Representations and Reasoning. [Citation Graph (0, 0)][DBLP]
    SIGART Bulletin, 1991, v:2, n:3, pp:143-151 [Journal]