Document (#14468)

Author
Graf, P.
Title
Term indexing
Imprint
Berlin : Springer
Year
1996
Pages
XIV,284 S
Isbn
3-540-61040-5
Series
Lecture notes in artificial intelligence; vol.1053
Abstract
This monograph provides a comprehensive, well-written survey on term indexing in general and presents new indexing techniques for the retrieval and maintenance of data that help to overcome prgram degradation in automated reasoning systems. Theoretical foundations and applicational aspects are treated in detail; finally the PURR prover for parallel unit resulting resolution is discussed to demonstrate the importance of careful implementations

Similar documents (author)

  1. Graf, K.: Sci Hub, Fernleihe und Open Access (2016) 5.86
    5.8576627 = sum of:
      5.8576627 = weight(author_txt:graf in 3790) [ClassicSimilarity], result of:
        5.8576627 = fieldWeight in 3790, product of:
          1.0 = tf(freq=1.0), with freq of:
            1.0 = termFreq=1.0
          9.37226 = idf(docFreq=9, maxDocs=43254)
          0.625 = fieldNorm(doc=3790)
    
  2. Graf, K.: Großer Suchmaschinentest 2021 : Alternativen zu Google? (2021) 5.86
    5.8576627 = sum of:
      5.8576627 = weight(author_txt:graf in 3908) [ClassicSimilarity], result of:
        5.8576627 = fieldWeight in 3908, product of:
          1.0 = tf(freq=1.0), with freq of:
            1.0 = termFreq=1.0
          9.37226 = idf(docFreq=9, maxDocs=43254)
          0.625 = fieldNorm(doc=3908)
    
  3. Graf, K.: Abwechslungsreiche Gemüseküche : ein sehr kurzer Blick in die altbackene Welt deutscher öffentlicher Bibliotheken (2018) 5.86
    5.8576627 = sum of:
      5.8576627 = weight(author_txt:graf in 495) [ClassicSimilarity], result of:
        5.8576627 = fieldWeight in 495, product of:
          1.0 = tf(freq=1.0), with freq of:
            1.0 = termFreq=1.0
          9.37226 = idf(docFreq=9, maxDocs=43254)
          0.625 = fieldNorm(doc=495)
    
  4. Graf, A.M.: Describing an outsider art movement from within : the AAT and graffiti art (2016) 5.86
    5.8576627 = sum of:
      5.8576627 = weight(author_txt:graf in 895) [ClassicSimilarity], result of:
        5.8576627 = fieldWeight in 895, product of:
          1.0 = tf(freq=1.0), with freq of:
            1.0 = termFreq=1.0
          9.37226 = idf(docFreq=9, maxDocs=43254)
          0.625 = fieldNorm(doc=895)
    
  5. Graf, A.: Vorsicht Falle (2019) 5.86
    5.8576627 = sum of:
      5.8576627 = weight(author_txt:graf in 223) [ClassicSimilarity], result of:
        5.8576627 = fieldWeight in 223, product of:
          1.0 = tf(freq=1.0), with freq of:
            1.0 = termFreq=1.0
          9.37226 = idf(docFreq=9, maxDocs=43254)
          0.625 = fieldNorm(doc=223)
    

Similar documents (content)

  1. Voigt, M.; Mitschick, A.; Schulz, J.: Yet another triple store benchmark? : practical experiences with real-world data (2012) 0.11
    0.10620704 = sum of:
      0.10620704 = product of:
        0.44252935 = sum of:
          0.04790101 = weight(abstract_txt:importance in 1941) [ClassicSimilarity], result of:
            0.04790101 = score(doc=1941,freq=1.0), product of:
              0.11983099 = queryWeight, product of:
                1.0605068 = boost
                5.1166472 = idf(docFreq=704, maxDocs=43254)
                0.022083616 = queryNorm
              0.39973807 = fieldWeight in 1941, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                5.1166472 = idf(docFreq=704, maxDocs=43254)
                0.078125 = fieldNorm(doc=1941)
          0.054283246 = weight(abstract_txt:finally in 1941) [ClassicSimilarity], result of:
            0.054283246 = score(doc=1941,freq=1.0), product of:
              0.13025165 = queryWeight, product of:
                1.1056572 = boost
                5.3344855 = idf(docFreq=566, maxDocs=43254)
                0.022083616 = queryNorm
              0.4167567 = fieldWeight in 1941, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                5.3344855 = idf(docFreq=566, maxDocs=43254)
                0.078125 = fieldNorm(doc=1941)
          0.056607 = weight(abstract_txt:demonstrate in 1941) [ClassicSimilarity], result of:
            0.056607 = score(doc=1941,freq=1.0), product of:
              0.13394283 = queryWeight, product of:
                1.1212143 = boost
                5.409544 = idf(docFreq=525, maxDocs=43254)
                0.022083616 = queryNorm
              0.42262062 = fieldWeight in 1941, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                5.409544 = idf(docFreq=525, maxDocs=43254)
                0.078125 = fieldNorm(doc=1941)
          0.06021489 = weight(abstract_txt:comprehensive in 1941) [ClassicSimilarity], result of:
            0.06021489 = score(doc=1941,freq=1.0), product of:
              0.13957532 = queryWeight, product of:
                1.1445459 = boost
                5.5221124 = idf(docFreq=469, maxDocs=43254)
                0.022083616 = queryNorm
              0.43141502 = fieldWeight in 1941, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                5.5221124 = idf(docFreq=469, maxDocs=43254)
                0.078125 = fieldNorm(doc=1941)
          0.09496849 = weight(abstract_txt:reasoning in 1941) [ClassicSimilarity], result of:
            0.09496849 = score(doc=1941,freq=1.0), product of:
              0.18911488 = queryWeight, product of:
                1.3322685 = boost
                6.427821 = idf(docFreq=189, maxDocs=43254)
                0.022083616 = queryNorm
              0.50217354 = fieldWeight in 1941, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                6.427821 = idf(docFreq=189, maxDocs=43254)
                0.078125 = fieldNorm(doc=1941)
          0.12855473 = weight(abstract_txt:implementations in 1941) [ClassicSimilarity], result of:
            0.12855473 = score(doc=1941,freq=1.0), product of:
              0.23141849 = queryWeight, product of:
                1.473764 = boost
                7.110497 = idf(docFreq=95, maxDocs=43254)
                0.022083616 = queryNorm
              0.5555076 = fieldWeight in 1941, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                7.110497 = idf(docFreq=95, maxDocs=43254)
                0.078125 = fieldNorm(doc=1941)
        0.24 = coord(6/25)
    
  2. Ménard, E.: Ordinary image retrieval in a multilingual context : a comparison of two indexing vocabularies (2010) 0.08
    0.07745271 = sum of:
      0.07745271 = product of:
        0.38726357 = sum of:
          0.037998274 = weight(abstract_txt:finally in 411) [ClassicSimilarity], result of:
            0.037998274 = score(doc=411,freq=1.0), product of:
              0.13025165 = queryWeight, product of:
                1.1056572 = boost
                5.3344855 = idf(docFreq=566, maxDocs=43254)
                0.022083616 = queryNorm
              0.2917297 = fieldWeight in 411, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                5.3344855 = idf(docFreq=566, maxDocs=43254)
                0.0546875 = fieldNorm(doc=411)
          0.042150423 = weight(abstract_txt:comprehensive in 411) [ClassicSimilarity], result of:
            0.042150423 = score(doc=411,freq=1.0), product of:
              0.13957532 = queryWeight, product of:
                1.1445459 = boost
                5.5221124 = idf(docFreq=469, maxDocs=43254)
                0.022083616 = queryNorm
              0.3019905 = fieldWeight in 411, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                5.5221124 = idf(docFreq=469, maxDocs=43254)
                0.0546875 = fieldNorm(doc=411)
          0.0467583 = weight(abstract_txt:resulting in 411) [ClassicSimilarity], result of:
            0.0467583 = score(doc=411,freq=1.0), product of:
              0.14957069 = queryWeight, product of:
                1.1848193 = boost
                5.71642 = idf(docFreq=386, maxDocs=43254)
                0.022083616 = queryNorm
              0.31261674 = fieldWeight in 411, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                5.71642 = idf(docFreq=386, maxDocs=43254)
                0.0546875 = fieldNorm(doc=411)
          0.056040872 = weight(abstract_txt:term in 411) [ClassicSimilarity], result of:
            0.056040872 = score(doc=411,freq=1.0), product of:
              0.21262807 = queryWeight, product of:
                1.9978101 = boost
                4.819436 = idf(docFreq=948, maxDocs=43254)
                0.022083616 = queryNorm
              0.26356292 = fieldWeight in 411, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                4.819436 = idf(docFreq=948, maxDocs=43254)
                0.0546875 = fieldNorm(doc=411)
          0.2043157 = weight(abstract_txt:indexing in 411) [ClassicSimilarity], result of:
            0.2043157 = score(doc=411,freq=11.0), product of:
              0.25924957 = queryWeight, product of:
                2.701771 = boost
                4.345095 = idf(docFreq=1524, maxDocs=43254)
                0.022083616 = queryNorm
              0.78810436 = fieldWeight in 411, product of:
                3.3166249 = tf(freq=11.0), with freq of:
                  11.0 = termFreq=11.0
                4.345095 = idf(docFreq=1524, maxDocs=43254)
                0.0546875 = fieldNorm(doc=411)
        0.2 = coord(5/25)
    
  3. Information science in transition (2009) 0.08
    0.075292446 = sum of:
      0.075292446 = product of:
        0.37646222 = sum of:
          0.0339642 = weight(abstract_txt:demonstrate in 2099) [ClassicSimilarity], result of:
            0.0339642 = score(doc=2099,freq=1.0), product of:
              0.13394283 = queryWeight, product of:
                1.1212143 = boost
                5.409544 = idf(docFreq=525, maxDocs=43254)
                0.022083616 = queryNorm
              0.25357237 = fieldWeight in 2099, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                5.409544 = idf(docFreq=525, maxDocs=43254)
                0.046875 = fieldNorm(doc=2099)
          0.04149963 = weight(abstract_txt:written in 2099) [ClassicSimilarity], result of:
            0.04149963 = score(doc=2099,freq=1.0), product of:
              0.15308572 = queryWeight, product of:
                1.1986606 = boost
                5.7832007 = idf(docFreq=361, maxDocs=43254)
                0.022083616 = queryNorm
              0.27108753 = fieldWeight in 2099, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                5.7832007 = idf(docFreq=361, maxDocs=43254)
                0.046875 = fieldNorm(doc=2099)
          0.06369312 = weight(abstract_txt:foundations in 2099) [ClassicSimilarity], result of:
            0.06369312 = score(doc=2099,freq=1.0), product of:
              0.20368868 = queryWeight, product of:
                1.3826503 = boost
                6.670899 = idf(docFreq=148, maxDocs=43254)
                0.022083616 = queryNorm
              0.3126984 = fieldWeight in 2099, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                6.670899 = idf(docFreq=148, maxDocs=43254)
                0.046875 = fieldNorm(doc=2099)
          0.18927026 = weight(abstract_txt:monograph in 2099) [ClassicSimilarity], result of:
            0.18927026 = score(doc=2099,freq=3.0), product of:
              0.29191273 = queryWeight, product of:
                1.6552188 = boost
                7.9859657 = idf(docFreq=39, maxDocs=43254)
                0.022083616 = queryNorm
              0.64837956 = fieldWeight in 2099, product of:
                1.7320508 = tf(freq=3.0), with freq of:
                  3.0 = termFreq=3.0
                7.9859657 = idf(docFreq=39, maxDocs=43254)
                0.046875 = fieldNorm(doc=2099)
          0.048035033 = weight(abstract_txt:term in 2099) [ClassicSimilarity], result of:
            0.048035033 = score(doc=2099,freq=1.0), product of:
              0.21262807 = queryWeight, product of:
                1.9978101 = boost
                4.819436 = idf(docFreq=948, maxDocs=43254)
                0.022083616 = queryNorm
              0.22591107 = fieldWeight in 2099, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                4.819436 = idf(docFreq=948, maxDocs=43254)
                0.046875 = fieldNorm(doc=2099)
        0.2 = coord(5/25)
    
  4. Rasmussen Pennington, D.; Cagnazzo, L.: Connecting the silos : implementations and perceptions of linked data across European libraries (2019) 0.06
    0.064993575 = sum of:
      0.064993575 = product of:
        0.32496786 = sum of:
          0.03212878 = weight(abstract_txt:help in 283) [ClassicSimilarity], result of:
            0.03212878 = score(doc=283,freq=1.0), product of:
              0.10654724 = queryWeight, product of:
                4.824719 = idf(docFreq=943, maxDocs=43254)
                0.022083616 = queryNorm
              0.30154493 = fieldWeight in 283, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                4.824719 = idf(docFreq=943, maxDocs=43254)
                0.0625 = fieldNorm(doc=283)
          0.03518061 = weight(abstract_txt:survey in 283) [ClassicSimilarity], result of:
            0.03518061 = score(doc=283,freq=1.0), product of:
              0.1131918 = queryWeight, product of:
                1.0307097 = boost
                4.9728847 = idf(docFreq=813, maxDocs=43254)
                0.022083616 = queryNorm
              0.3108053 = fieldWeight in 283, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                4.9728847 = idf(docFreq=813, maxDocs=43254)
                0.0625 = fieldNorm(doc=283)
          0.064043514 = weight(abstract_txt:demonstrate in 283) [ClassicSimilarity], result of:
            0.064043514 = score(doc=283,freq=2.0), product of:
              0.13394283 = queryWeight, product of:
                1.1212143 = boost
                5.409544 = idf(docFreq=525, maxDocs=43254)
                0.022083616 = queryNorm
              0.47814065 = fieldWeight in 283, product of:
                1.4142135 = tf(freq=2.0), with freq of:
                  2.0 = termFreq=2.0
                5.409544 = idf(docFreq=525, maxDocs=43254)
                0.0625 = fieldNorm(doc=283)
          0.04817191 = weight(abstract_txt:comprehensive in 283) [ClassicSimilarity], result of:
            0.04817191 = score(doc=283,freq=1.0), product of:
              0.13957532 = queryWeight, product of:
                1.1445459 = boost
                5.5221124 = idf(docFreq=469, maxDocs=43254)
                0.022083616 = queryNorm
              0.34513202 = fieldWeight in 283, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                5.5221124 = idf(docFreq=469, maxDocs=43254)
                0.0625 = fieldNorm(doc=283)
          0.14544307 = weight(abstract_txt:implementations in 283) [ClassicSimilarity], result of:
            0.14544307 = score(doc=283,freq=2.0), product of:
              0.23141849 = queryWeight, product of:
                1.473764 = boost
                7.110497 = idf(docFreq=95, maxDocs=43254)
                0.022083616 = queryNorm
              0.6284851 = fieldWeight in 283, product of:
                1.4142135 = tf(freq=2.0), with freq of:
                  2.0 = termFreq=2.0
                7.110497 = idf(docFreq=95, maxDocs=43254)
                0.0625 = fieldNorm(doc=283)
        0.2 = coord(5/25)
    
  5. Batley, S.: Classification in theory and practice (2005) 0.06
    0.06368029 = sum of:
      0.06368029 = product of:
        0.26533455 = sum of:
          0.020080486 = weight(abstract_txt:help in 2635) [ClassicSimilarity], result of:
            0.020080486 = score(doc=2635,freq=1.0), product of:
              0.10654724 = queryWeight, product of:
                4.824719 = idf(docFreq=943, maxDocs=43254)
                0.022083616 = queryNorm
              0.18846558 = fieldWeight in 2635, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                4.824719 = idf(docFreq=943, maxDocs=43254)
                0.0390625 = fieldNorm(doc=2635)
          0.029471327 = weight(abstract_txt:theoretical in 2635) [ClassicSimilarity], result of:
            0.029471327 = score(doc=2635,freq=2.0), product of:
              0.10921506 = queryWeight, product of:
                1.012442 = boost
                4.884748 = idf(docFreq=888, maxDocs=43254)
                0.022083616 = queryNorm
              0.26984674 = fieldWeight in 2635, product of:
                1.4142135 = tf(freq=2.0), with freq of:
                  2.0 = termFreq=2.0
                4.884748 = idf(docFreq=888, maxDocs=43254)
                0.0390625 = fieldNorm(doc=2635)
          0.06422239 = weight(abstract_txt:detail in 2635) [ClassicSimilarity], result of:
            0.06422239 = score(doc=2635,freq=3.0), product of:
              0.16036512 = queryWeight, product of:
                1.2268285 = boost
                5.9191027 = idf(docFreq=315, maxDocs=43254)
                0.022083616 = queryNorm
              0.40047604 = fieldWeight in 2635, product of:
                1.7320508 = tf(freq=3.0), with freq of:
                  3.0 = termFreq=3.0
                5.9191027 = idf(docFreq=315, maxDocs=43254)
                0.0390625 = fieldNorm(doc=2635)
          0.04713789 = weight(abstract_txt:parallel in 2635) [ClassicSimilarity], result of:
            0.04713789 = score(doc=2635,freq=1.0), product of:
              0.18819416 = queryWeight, product of:
                1.3290213 = boost
                6.4121547 = idf(docFreq=192, maxDocs=43254)
                0.022083616 = queryNorm
              0.25047478 = fieldWeight in 2635, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                6.4121547 = idf(docFreq=192, maxDocs=43254)
                0.0390625 = fieldNorm(doc=2635)
          0.060419966 = weight(abstract_txt:treated in 2635) [ClassicSimilarity], result of:
            0.060419966 = score(doc=2635,freq=1.0), product of:
              0.22206476 = queryWeight, product of:
                1.4436727 = boost
                6.965315 = idf(docFreq=110, maxDocs=43254)
                0.022083616 = queryNorm
              0.27208263 = fieldWeight in 2635, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                6.965315 = idf(docFreq=110, maxDocs=43254)
                0.0390625 = fieldNorm(doc=2635)
          0.0440025 = weight(abstract_txt:indexing in 2635) [ClassicSimilarity], result of:
            0.0440025 = score(doc=2635,freq=1.0), product of:
              0.25924957 = queryWeight, product of:
                2.701771 = boost
                4.345095 = idf(docFreq=1524, maxDocs=43254)
                0.022083616 = queryNorm
              0.16973028 = fieldWeight in 2635, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                4.345095 = idf(docFreq=1524, maxDocs=43254)
                0.0390625 = fieldNorm(doc=2635)
        0.24 = coord(6/25)