Search (1 results, page 1 of 1)

  • × author_ss:"Brachman, R.J."
  1. Brachman, R.J.; Schmolze, J.G.: ¬An overview of the KL-ONE knowledge representation system (1985) 10.09 
    10.09203 = weight(object_ss:KL-ONE in 5377) [ClassicSimilarity], result of:
  10.09203 = fieldWeight in 5377, product of:
    1.0 = tf(freq=1.0), with freq of:
      1.0 = termFreq=1.0
    10.09203 = idf(docFreq=4, maxDocs=44421)
    1.0 = fieldNorm(doc=5377)
    Object
    KL-ONE