Search (5 results, page 1 of 1)

Fensel, D.: Ontologies : a silver bullet for knowledge management and electronic commerce (2004) 0.12

0.11833669 = product of:
  0.23667338 = sum of:
    0.23667338 = sum of:
      0.18916197 = weight(_text_:304 in 1949) [ClassicSimilarity], result of:
        0.18916197 = score(doc=1949,freq=4.0), product of:
          0.34652203 = queryWeight, product of:
            6.987357 = idf(docFreq=110, maxDocs=44218)
            0.04959272 = queryNorm
          0.5458873 = fieldWeight in 1949, product of:
            2.0 = tf(freq=4.0), with freq of:
              4.0 = termFreq=4.0
            6.987357 = idf(docFreq=110, maxDocs=44218)
            0.0390625 = fieldNorm(doc=1949)
      0.047511417 = weight(_text_:22 in 1949) [ClassicSimilarity], result of:
        0.047511417 = score(doc=1949,freq=4.0), product of:
          0.17366526 = queryWeight, product of:
            3.5018296 = idf(docFreq=3622, maxDocs=44218)
            0.04959272 = queryNorm
          0.27358043 = fieldWeight in 1949, product of:
            2.0 = tf(freq=4.0), with freq of:
              4.0 = termFreq=4.0
            3.5018296 = idf(docFreq=3622, maxDocs=44218)
            0.0390625 = fieldNorm(doc=1949)
  0.5 = coord(1/2)

Classification: 004.67/8 22
ST 304 Informatik / Monographien / Künstliche Intelligenz / Automatisches Programmieren, Deduction and theorem proving, Wissensrepräsentation
DDC: 004.67/8 22
RVK: ST 304 Informatik / Monographien / Künstliche Intelligenz / Automatisches Programmieren, Deduction and theorem proving, Wissensrepräsentation

Reimer, U.: Einführung in die Wissensrepräsentation : netzartige und schema-basierte Repräsentationsformate (1991) 0.07

0.066206686 = product of:
  0.13241337 = sum of:
    0.13241337 = product of:
      0.26482674 = sum of:
        0.26482674 = weight(_text_:304 in 1566) [ClassicSimilarity], result of:
          0.26482674 = score(doc=1566,freq=4.0), product of:
            0.34652203 = queryWeight, product of:
              6.987357 = idf(docFreq=110, maxDocs=44218)
              0.04959272 = queryNorm
            0.7642422 = fieldWeight in 1566, product of:
              2.0 = tf(freq=4.0), with freq of:
                4.0 = termFreq=4.0
              6.987357 = idf(docFreq=110, maxDocs=44218)
              0.0546875 = fieldNorm(doc=1566)
      0.5 = coord(1/2)
  0.5 = coord(1/2)

Classification: ST 304 Informatik / Monographien / Künstliche Intelligenz / Automatisches Programmieren, Deduction and theorem proving, Wissensrepräsentation
RVK: ST 304 Informatik / Monographien / Künstliche Intelligenz / Automatisches Programmieren, Deduction and theorem proving, Wissensrepräsentation

Hitzler, P.; Krötzsch, M.; Rudolph, S.; Sure, Y.: Semantic Web : Grundlagen (2008) 0.05

0.047290493 = product of:
  0.094580986 = sum of:
    0.094580986 = product of:
      0.18916197 = sum of:
        0.18916197 = weight(_text_:304 in 358) [ClassicSimilarity], result of:
          0.18916197 = score(doc=358,freq=4.0), product of:
            0.34652203 = queryWeight, product of:
              6.987357 = idf(docFreq=110, maxDocs=44218)
              0.04959272 = queryNorm
            0.5458873 = fieldWeight in 358, product of:
              2.0 = tf(freq=4.0), with freq of:
                4.0 = termFreq=4.0
              6.987357 = idf(docFreq=110, maxDocs=44218)
              0.0390625 = fieldNorm(doc=358)
      0.5 = coord(1/2)
  0.5 = coord(1/2)

Classification: ST 304 Informatik / Monographien / Künstliche Intelligenz / Automatisches Programmieren, Deduction and theorem proving, Wissensrepräsentation
RVK: ST 304 Informatik / Monographien / Künstliche Intelligenz / Automatisches Programmieren, Deduction and theorem proving, Wissensrepräsentation

Blair, D.C.: Language and representation in information retrieval (1991) 0.04

0.037832394 = product of:
  0.07566479 = sum of:
    0.07566479 = product of:
      0.15132958 = sum of:
        0.15132958 = weight(_text_:304 in 1545) [ClassicSimilarity], result of:
          0.15132958 = score(doc=1545,freq=4.0), product of:
            0.34652203 = queryWeight, product of:
              6.987357 = idf(docFreq=110, maxDocs=44218)
              0.04959272 = queryNorm
            0.43670982 = fieldWeight in 1545, product of:
              2.0 = tf(freq=4.0), with freq of:
                4.0 = termFreq=4.0
              6.987357 = idf(docFreq=110, maxDocs=44218)
              0.03125 = fieldNorm(doc=1545)
      0.5 = coord(1/2)
  0.5 = coord(1/2)

Classification: ST 304 Informatik / Monographien / Künstliche Intelligenz / Automatisches Programmieren, Deduction and theorem proving, Wissensrepräsentation
RVK: ST 304 Informatik / Monographien / Künstliche Intelligenz / Automatisches Programmieren, Deduction and theorem proving, Wissensrepräsentation

Stock, W.G.; Stock, M.: Wissensrepräsentation : Informationen auswerten und bereitstellen (2008) 0.02

0.023645246 = product of:
  0.047290493 = sum of:
    0.047290493 = product of:
      0.094580986 = sum of:
        0.094580986 = weight(_text_:304 in 4039) [ClassicSimilarity], result of:
          0.094580986 = score(doc=4039,freq=4.0), product of:
            0.34652203 = queryWeight, product of:
              6.987357 = idf(docFreq=110, maxDocs=44218)
              0.04959272 = queryNorm
            0.27294365 = fieldWeight in 4039, product of:
              2.0 = tf(freq=4.0), with freq of:
                4.0 = termFreq=4.0
              6.987357 = idf(docFreq=110, maxDocs=44218)
              0.01953125 = fieldNorm(doc=4039)
      0.5 = coord(1/2)
  0.5 = coord(1/2)

Classification: ST 304 Informatik / Monographien / Künstliche Intelligenz / Automatisches Programmieren, Deduction and theorem proving, Wissensrepräsentation
RVK: ST 304 Informatik / Monographien / Künstliche Intelligenz / Automatisches Programmieren, Deduction and theorem proving, Wissensrepräsentation

Search (5 results, page 1 of 1)

Authors

Years

Languages

Themes

Subjects

Classifications