Switch to: Citations

Add references

You must login to add references.
  1. An Overview of the KL‐ONE Knowledge Representation System.Ronald J. Brachman & James G. Schmolze - 1985 - Cognitive Science 9 (2):171-216.
    Download  
     
    Export citation  
     
    Bookmark   67 citations  
  • On the relative expressiveness of description logics and predicate logics.Alex Borgida - 1996 - Artificial Intelligence 82 (1-2):353-367.
    Download  
     
    Export citation  
     
    Bookmark   11 citations  
  • Attributive concept descriptions with complements.Manfred Schmidt-Schauß & Gert Smolka - 1991 - Artificial Intelligence 48 (1):1-26.
    Download  
     
    Export citation  
     
    Bookmark   30 citations  
  • An Overview of the KL-ONE Knowledge Representation System.J. Brachman Ronald & G. Schmolze James - 1985 - Cognitive Science 9 (2):171-216.
    Download  
     
    Export citation  
     
    Bookmark   44 citations  
  • Terminological reasoning is inherently intractable.Bernhard Nebel - 1990 - Artificial Intelligence 43 (2):235-249.
    Download  
     
    Export citation  
     
    Bookmark   14 citations  
  • A logic of knowledge and justified assumptions.Fangzhen Lin & Yoav Shoham - 1992 - Artificial Intelligence 57 (2-3):271-289.
    Download  
     
    Export citation  
     
    Bookmark   9 citations  
  • Minimal belief and negation as failure.Vladimir Lifschitz - 1994 - Artificial Intelligence 70 (1-2):53-72.
    Download  
     
    Export citation  
     
    Bookmark   11 citations  
  • Foundations of a functional approach to knowledge representation.Hector J. Levesque - 1984 - Artificial Intelligence 23 (2):155-212.
    Download  
     
    Export citation  
     
    Bookmark   59 citations  
  • Two theses of knowledge representation: Language restrictions, taxonomic classification, and the utility of representation services.Jon Doyle & Ramesh S. Patil - 1991 - Artificial Intelligence 48 (3):261-297.
    Download  
     
    Export citation  
     
    Bookmark   10 citations