Document (#14467)

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.71

   5.7103243 = sum of:
     5.7103243 = weight(author_txt:graf in 3325) [ClassicSimilarity], result of:
       5.7103243 = fieldWeight in 3325, product of:
         1.0 = tf(freq=1.0), with freq of:
           1.0 = termFreq=1.0
         9.1365185 = idf(docFreq=12, maxDocs=44421)
         0.625 = fieldNorm(doc=3325)
   

2. Graf, K.: Großer Suchmaschinentest 2021 : Alternativen zu Google? (2021) 5.71

   5.7103243 = sum of:
     5.7103243 = weight(author_txt:graf in 3443) [ClassicSimilarity], result of:
       5.7103243 = fieldWeight in 3443, product of:
         1.0 = tf(freq=1.0), with freq of:
           1.0 = termFreq=1.0
         9.1365185 = idf(docFreq=12, maxDocs=44421)
         0.625 = fieldNorm(doc=3443)
   

3. Graf, K.: Abwechslungsreiche Gemüseküche : ein sehr kurzer Blick in die altbackene Welt deutscher öffentlicher Bibliotheken (2018) 5.71

   5.7103243 = sum of:
     5.7103243 = weight(author_txt:graf in 494) [ClassicSimilarity], result of:
       5.7103243 = fieldWeight in 494, product of:
         1.0 = tf(freq=1.0), with freq of:
           1.0 = termFreq=1.0
         9.1365185 = idf(docFreq=12, maxDocs=44421)
         0.625 = fieldNorm(doc=494)
   

4. Graf, A.M.: Describing an outsider art movement from within : the AAT and graffiti art (2016) 5.71

   5.7103243 = sum of:
     5.7103243 = weight(author_txt:graf in 894) [ClassicSimilarity], result of:
       5.7103243 = fieldWeight in 894, product of:
         1.0 = tf(freq=1.0), with freq of:
           1.0 = termFreq=1.0
         9.1365185 = idf(docFreq=12, maxDocs=44421)
         0.625 = fieldNorm(doc=894)
   

5. Graf, A.: Vorsicht Falle (2019) 5.71

   5.7103243 = sum of:
     5.7103243 = weight(author_txt:graf in 222) [ClassicSimilarity], result of:
       5.7103243 = fieldWeight in 222, product of:
         1.0 = tf(freq=1.0), with freq of:
           1.0 = termFreq=1.0
         9.1365185 = idf(docFreq=12, maxDocs=44421)
         0.625 = fieldNorm(doc=222)
   

Similar documents (content)

1. Voigt, M.; Mitschick, A.; Schulz, J.: Yet another triple store benchmark? : practical experiences with real-world data (2012) 0.10

   0.10474881 = sum of:
     0.10474881 = product of:
       0.43645337 = sum of:
         0.04728838 = weight(abstract_txt:importance in 1476) [ClassicSimilarity], result of:
           0.04728838 = score(doc=1476,freq=1.0), product of:
             0.11889971 = queryWeight, product of:
               1.0577358 = boost
               5.0907717 = idf(docFreq=742, maxDocs=44421)
               0.022081064 = queryNorm
             0.39771652 = fieldWeight in 1476, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               5.0907717 = idf(docFreq=742, maxDocs=44421)
               0.078125 = fieldNorm(doc=1476)
         0.053298287 = weight(abstract_txt:finally in 1476) [ClassicSimilarity], result of:
           0.053298287 = score(doc=1476,freq=1.0), product of:
             0.12877157 = queryWeight, product of:
               1.1007706 = boost
               5.2978935 = idf(docFreq=603, maxDocs=44421)
               0.022081064 = queryNorm
             0.41389793 = fieldWeight in 1476, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               5.2978935 = idf(docFreq=603, maxDocs=44421)
               0.078125 = fieldNorm(doc=1476)
         0.055503204 = weight(abstract_txt:demonstrate in 1476) [ClassicSimilarity], result of:
           0.055503204 = score(doc=1476,freq=1.0), product of:
             0.13229899 = queryWeight, product of:
               1.1157453 = boost
               5.3699656 = idf(docFreq=561, maxDocs=44421)
               0.022081064 = queryNorm
             0.41952854 = fieldWeight in 1476, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               5.3699656 = idf(docFreq=561, maxDocs=44421)
               0.078125 = fieldNorm(doc=1476)
         0.05927211 = weight(abstract_txt:comprehensive in 1476) [ClassicSimilarity], result of:
           0.05927211 = score(doc=1476,freq=1.0), product of:
             0.13822229 = queryWeight, product of:
               1.1404489 = boost
               5.4888616 = idf(docFreq=498, maxDocs=44421)
               0.022081064 = queryNorm
             0.4288173 = fieldWeight in 1476, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               5.4888616 = idf(docFreq=498, maxDocs=44421)
               0.078125 = fieldNorm(doc=1476)
         0.091349766 = weight(abstract_txt:reasoning in 1476) [ClassicSimilarity], result of:
           0.091349766 = score(doc=1476,freq=1.0), product of:
             0.18442345 = queryWeight, product of:
               1.3173308 = boost
               6.3401756 = idf(docFreq=212, maxDocs=44421)
               0.022081064 = queryNorm
             0.49532622 = fieldWeight in 1476, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               6.3401756 = idf(docFreq=212, maxDocs=44421)
               0.078125 = fieldNorm(doc=1476)
         0.12974164 = weight(abstract_txt:implementations in 1476) [ClassicSimilarity], result of:
           0.12974164 = score(doc=1476,freq=1.0), product of:
             0.23302227 = queryWeight, product of:
               1.4807628 = boost
               7.1267567 = idf(docFreq=96, maxDocs=44421)
               0.022081064 = queryNorm
             0.55677783 = fieldWeight in 1476, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               7.1267567 = idf(docFreq=96, maxDocs=44421)
               0.078125 = fieldNorm(doc=1476)
       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.077173844 = sum of:
     0.077173844 = product of:
       0.3858692 = sum of:
         0.0373088 = weight(abstract_txt:finally in 933) [ClassicSimilarity], result of:
           0.0373088 = score(doc=933,freq=1.0), product of:
             0.12877157 = queryWeight, product of:
               1.1007706 = boost
               5.2978935 = idf(docFreq=603, maxDocs=44421)
               0.022081064 = queryNorm
             0.28972855 = fieldWeight in 933, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               5.2978935 = idf(docFreq=603, maxDocs=44421)
               0.0546875 = fieldNorm(doc=933)
         0.04149048 = weight(abstract_txt:comprehensive in 933) [ClassicSimilarity], result of:
           0.04149048 = score(doc=933,freq=1.0), product of:
             0.13822229 = queryWeight, product of:
               1.1404489 = boost
               5.4888616 = idf(docFreq=498, maxDocs=44421)
               0.022081064 = queryNorm
             0.30017212 = fieldWeight in 933, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               5.4888616 = idf(docFreq=498, maxDocs=44421)
               0.0546875 = fieldNorm(doc=933)
         0.04622579 = weight(abstract_txt:resulting in 933) [ClassicSimilarity], result of:
           0.04622579 = score(doc=933,freq=1.0), product of:
             0.14854865 = queryWeight, product of:
               1.1822822 = boost
               5.6902003 = idf(docFreq=407, maxDocs=44421)
               0.022081064 = queryNorm
             0.31118283 = fieldWeight in 933, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               5.6902003 = idf(docFreq=407, maxDocs=44421)
               0.0546875 = fieldNorm(doc=933)
         0.055312023 = weight(abstract_txt:term in 933) [ClassicSimilarity], result of:
           0.055312023 = score(doc=933,freq=1.0), product of:
             0.2109448 = queryWeight, product of:
               1.9924444 = boost
               4.794713 = idf(docFreq=998, maxDocs=44421)
               0.022081064 = queryNorm
             0.26221088 = fieldWeight in 933, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               4.794713 = idf(docFreq=998, maxDocs=44421)
               0.0546875 = fieldNorm(doc=933)
         0.20553213 = weight(abstract_txt:indexing in 933) [ClassicSimilarity], result of:
           0.20553213 = score(doc=933,freq=11.0), product of:
             0.26048046 = queryWeight, product of:
               2.7116585 = boost
               4.3503094 = idf(docFreq=1557, maxDocs=44421)
               0.022081064 = queryNorm
             0.7890501 = fieldWeight in 933, product of:
               3.3166249 = tf(freq=11.0), with freq of:
                 11.0 = termFreq=11.0
               4.3503094 = idf(docFreq=1557, maxDocs=44421)
               0.0546875 = fieldNorm(doc=933)
       0.2 = coord(5/25)
   

3. Information science in transition (2009) 0.08

   0.07500311 = sum of:
     0.07500311 = product of:
       0.37501556 = sum of:
         0.033301923 = weight(abstract_txt:demonstrate in 1634) [ClassicSimilarity], result of:
           0.033301923 = score(doc=1634,freq=1.0), product of:
             0.13229899 = queryWeight, product of:
               1.1157453 = boost
               5.3699656 = idf(docFreq=561, maxDocs=44421)
               0.022081064 = queryNorm
             0.25171715 = fieldWeight in 1634, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               5.3699656 = idf(docFreq=561, maxDocs=44421)
               0.046875 = fieldNorm(doc=1634)
         0.041525356 = weight(abstract_txt:written in 1634) [ClassicSimilarity], result of:
           0.041525356 = score(doc=1634,freq=1.0), product of:
             0.15326838 = queryWeight, product of:
               1.2009172 = boost
               5.779889 = idf(docFreq=372, maxDocs=44421)
               0.022081064 = queryNorm
             0.27093232 = fieldWeight in 1634, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               5.779889 = idf(docFreq=372, maxDocs=44421)
               0.046875 = fieldNorm(doc=1634)
         0.06292713 = weight(abstract_txt:foundations in 1634) [ClassicSimilarity], result of:
           0.06292713 = score(doc=1634,freq=1.0), product of:
             0.20220983 = queryWeight, product of:
               1.3793927 = boost
               6.6388726 = idf(docFreq=157, maxDocs=44421)
               0.022081064 = queryNorm
             0.31119716 = fieldWeight in 1634, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               6.6388726 = idf(docFreq=157, maxDocs=44421)
               0.046875 = fieldNorm(doc=1634)
         0.18985085 = weight(abstract_txt:monograph in 1634) [ClassicSimilarity], result of:
           0.18985085 = score(doc=1634,freq=3.0), product of:
             0.29273745 = queryWeight, product of:
               1.6596861 = boost
               7.9878955 = idf(docFreq=40, maxDocs=44421)
               0.022081064 = queryNorm
             0.64853626 = fieldWeight in 1634, product of:
               1.7320508 = tf(freq=3.0), with freq of:
                 3.0 = termFreq=3.0
               7.9878955 = idf(docFreq=40, maxDocs=44421)
               0.046875 = fieldNorm(doc=1634)
         0.047410302 = weight(abstract_txt:term in 1634) [ClassicSimilarity], result of:
           0.047410302 = score(doc=1634,freq=1.0), product of:
             0.2109448 = queryWeight, product of:
               1.9924444 = boost
               4.794713 = idf(docFreq=998, maxDocs=44421)
               0.022081064 = queryNorm
             0.22475217 = fieldWeight in 1634, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               4.794713 = idf(docFreq=998, maxDocs=44421)
               0.046875 = fieldNorm(doc=1634)
       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.06478516 = sum of:
     0.06478516 = product of:
       0.3239258 = sum of:
         0.031967808 = weight(abstract_txt:help in 282) [ClassicSimilarity], result of:
           0.031967808 = score(doc=282,freq=1.0), product of:
             0.10627385 = queryWeight, product of:
               4.8128953 = idf(docFreq=980, maxDocs=44421)
               0.022081064 = queryNorm
             0.30080596 = fieldWeight in 282, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               4.8128953 = idf(docFreq=980, maxDocs=44421)
               0.0625 = fieldNorm(doc=282)
         0.03495968 = weight(abstract_txt:survey in 282) [ClassicSimilarity], result of:
           0.03495968 = score(doc=282,freq=1.0), product of:
             0.1128053 = queryWeight, product of:
               1.0302712 = boost
               4.958587 = idf(docFreq=847, maxDocs=44421)
               0.022081064 = queryNorm
             0.3099117 = fieldWeight in 282, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               4.958587 = idf(docFreq=847, maxDocs=44421)
               0.0625 = fieldNorm(doc=282)
         0.06279471 = weight(abstract_txt:demonstrate in 282) [ClassicSimilarity], result of:
           0.06279471 = score(doc=282,freq=2.0), product of:
             0.13229899 = queryWeight, product of:
               1.1157453 = boost
               5.3699656 = idf(docFreq=561, maxDocs=44421)
               0.022081064 = queryNorm
             0.47464237 = fieldWeight in 282, product of:
               1.4142135 = tf(freq=2.0), with freq of:
                 2.0 = termFreq=2.0
               5.3699656 = idf(docFreq=561, maxDocs=44421)
               0.0625 = fieldNorm(doc=282)
         0.04741769 = weight(abstract_txt:comprehensive in 282) [ClassicSimilarity], result of:
           0.04741769 = score(doc=282,freq=1.0), product of:
             0.13822229 = queryWeight, product of:
               1.1404489 = boost
               5.4888616 = idf(docFreq=498, maxDocs=44421)
               0.022081064 = queryNorm
             0.34305385 = fieldWeight in 282, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               5.4888616 = idf(docFreq=498, maxDocs=44421)
               0.0625 = fieldNorm(doc=282)
         0.1467859 = weight(abstract_txt:implementations in 282) [ClassicSimilarity], result of:
           0.1467859 = score(doc=282,freq=2.0), product of:
             0.23302227 = queryWeight, product of:
               1.4807628 = boost
               7.1267567 = idf(docFreq=96, maxDocs=44421)
               0.022081064 = queryNorm
             0.6299222 = fieldWeight in 282, product of:
               1.4142135 = tf(freq=2.0), with freq of:
                 2.0 = termFreq=2.0
               7.1267567 = idf(docFreq=96, maxDocs=44421)
               0.0625 = fieldNorm(doc=282)
       0.2 = coord(5/25)
   

5. Batley, S.: Classification in theory and practice (2005) 0.06

   0.06341427 = sum of:
     0.06341427 = product of:
       0.26422614 = sum of:
         0.01997988 = weight(abstract_txt:help in 2170) [ClassicSimilarity], result of:
           0.01997988 = score(doc=2170,freq=1.0), product of:
             0.10627385 = queryWeight, product of:
               4.8128953 = idf(docFreq=980, maxDocs=44421)
               0.022081064 = queryNorm
             0.18800372 = fieldWeight in 2170, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               4.8128953 = idf(docFreq=980, maxDocs=44421)
               0.0390625 = fieldNorm(doc=2170)
         0.028675731 = weight(abstract_txt:theoretical in 2170) [ClassicSimilarity], result of:
           0.028675731 = score(doc=2170,freq=2.0), product of:
             0.10732417 = queryWeight, product of:
               1.0049294 = boost
               4.83662 = idf(docFreq=957, maxDocs=44421)
               0.022081064 = queryNorm
             0.267188 = fieldWeight in 2170, product of:
               1.4142135 = tf(freq=2.0), with freq of:
                 2.0 = termFreq=2.0
               4.83662 = idf(docFreq=957, maxDocs=44421)
               0.0390625 = fieldNorm(doc=2170)
         0.06392701 = weight(abstract_txt:detail in 2170) [ClassicSimilarity], result of:
           0.06392701 = score(doc=2170,freq=3.0), product of:
             0.15999769 = queryWeight, product of:
               1.2269974 = boost
               5.90541 = idf(docFreq=328, maxDocs=44421)
               0.022081064 = queryNorm
             0.3995496 = fieldWeight in 2170, product of:
               1.7320508 = tf(freq=3.0), with freq of:
                 3.0 = termFreq=3.0
               5.90541 = idf(docFreq=328, maxDocs=44421)
               0.0390625 = fieldNorm(doc=2170)
         0.047271356 = weight(abstract_txt:parallel in 2170) [ClassicSimilarity], result of:
           0.047271356 = score(doc=2170,freq=1.0), product of:
             0.18869622 = queryWeight, product of:
               1.3325036 = boost
               6.4132004 = idf(docFreq=197, maxDocs=44421)
               0.022081064 = queryNorm
             0.25051564 = fieldWeight in 2170, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               6.4132004 = idf(docFreq=197, maxDocs=44421)
               0.0390625 = fieldNorm(doc=2170)
         0.060107697 = weight(abstract_txt:treated in 2170) [ClassicSimilarity], result of:
           0.060107697 = score(doc=2170,freq=1.0), product of:
             0.22147153 = queryWeight, product of:
               1.4435962 = boost
               6.9478774 = idf(docFreq=115, maxDocs=44421)
               0.022081064 = queryNorm
             0.27140146 = fieldWeight in 2170, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               6.9478774 = idf(docFreq=115, maxDocs=44421)
               0.0390625 = fieldNorm(doc=2170)
         0.044264477 = weight(abstract_txt:indexing in 2170) [ClassicSimilarity], result of:
           0.044264477 = score(doc=2170,freq=1.0), product of:
             0.26048046 = queryWeight, product of:
               2.7116585 = boost
               4.3503094 = idf(docFreq=1557, maxDocs=44421)
               0.022081064 = queryNorm
             0.16993396 = fieldWeight in 2170, product of:
               1.0 = tf(freq=1.0), with freq of:
                 1.0 = termFreq=1.0
               4.3503094 = idf(docFreq=1557, maxDocs=44421)
               0.0390625 = fieldNorm(doc=2170)
       0.24 = coord(6/25)