Search (5 results, page 1 of 1)

  • × theme_ss:"Formale Begriffsanalyse"
  1. Prediger, S.: Kontextuelle Urteilslogik mit Begriffsgraphen : Ein Beitrag zur Restrukturierung der mathematischen Logik (1998) 0.03
    0.027847543 = product of:
      0.041771315 = sum of:
        0.011934661 = product of:
          0.059673306 = sum of:
            0.059673306 = weight(_text_:22 in 3142) [ClassicSimilarity], result of:
              0.059673306 = score(doc=3142,freq=2.0), product of:
                0.15423398 = queryWeight, product of:
                  3.5018296 = idf(docFreq=3622, maxDocs=44218)
                  0.044043828 = queryNorm
                0.38690117 = fieldWeight in 3142, product of:
                  1.4142135 = tf(freq=2.0), with freq of:
                    2.0 = termFreq=2.0
                  3.5018296 = idf(docFreq=3622, maxDocs=44218)
                  0.078125 = fieldNorm(doc=3142)
          0.2 = coord(1/5)
        0.029836653 = product of:
          0.059673306 = sum of:
            0.059673306 = weight(_text_:22 in 3142) [ClassicSimilarity], result of:
              0.059673306 = score(doc=3142,freq=2.0), product of:
                0.15423398 = queryWeight, product of:
                  3.5018296 = idf(docFreq=3622, maxDocs=44218)
                  0.044043828 = queryNorm
                0.38690117 = fieldWeight in 3142, product of:
                  1.4142135 = tf(freq=2.0), with freq of:
                    2.0 = termFreq=2.0
                  3.5018296 = idf(docFreq=3622, maxDocs=44218)
                  0.078125 = fieldNorm(doc=3142)
          0.5 = coord(1/2)
      0.6666667 = coord(2/3)
    
    Date
    26. 2.2008 15:58:22
  2. Vogt, F.; Wille, R.: TOSCANA - a graphical tool for analyzing and exploring data (1995) 0.02
    0.022278037 = product of:
      0.033417054 = sum of:
        0.009547729 = product of:
          0.047738645 = sum of:
            0.047738645 = weight(_text_:22 in 1901) [ClassicSimilarity], result of:
              0.047738645 = score(doc=1901,freq=2.0), product of:
                0.15423398 = queryWeight, product of:
                  3.5018296 = idf(docFreq=3622, maxDocs=44218)
                  0.044043828 = queryNorm
                0.30952093 = fieldWeight in 1901, product of:
                  1.4142135 = tf(freq=2.0), with freq of:
                    2.0 = termFreq=2.0
                  3.5018296 = idf(docFreq=3622, maxDocs=44218)
                  0.0625 = fieldNorm(doc=1901)
          0.2 = coord(1/5)
        0.023869323 = product of:
          0.047738645 = sum of:
            0.047738645 = weight(_text_:22 in 1901) [ClassicSimilarity], result of:
              0.047738645 = score(doc=1901,freq=2.0), product of:
                0.15423398 = queryWeight, product of:
                  3.5018296 = idf(docFreq=3622, maxDocs=44218)
                  0.044043828 = queryNorm
                0.30952093 = fieldWeight in 1901, product of:
                  1.4142135 = tf(freq=2.0), with freq of:
                    2.0 = termFreq=2.0
                  3.5018296 = idf(docFreq=3622, maxDocs=44218)
                  0.0625 = fieldNorm(doc=1901)
          0.5 = coord(1/2)
      0.6666667 = coord(2/3)
    
    Source
    Knowledge organization. 22(1995) no.2, S.78-81
  3. Priss, U.: Faceted information representation (2000) 0.02
    0.01949328 = product of:
      0.029239919 = sum of:
        0.008354262 = product of:
          0.04177131 = sum of:
            0.04177131 = weight(_text_:22 in 5095) [ClassicSimilarity], result of:
              0.04177131 = score(doc=5095,freq=2.0), product of:
                0.15423398 = queryWeight, product of:
                  3.5018296 = idf(docFreq=3622, maxDocs=44218)
                  0.044043828 = queryNorm
                0.2708308 = fieldWeight in 5095, product of:
                  1.4142135 = tf(freq=2.0), with freq of:
                    2.0 = termFreq=2.0
                  3.5018296 = idf(docFreq=3622, maxDocs=44218)
                  0.0546875 = fieldNorm(doc=5095)
          0.2 = coord(1/5)
        0.020885656 = product of:
          0.04177131 = sum of:
            0.04177131 = weight(_text_:22 in 5095) [ClassicSimilarity], result of:
              0.04177131 = score(doc=5095,freq=2.0), product of:
                0.15423398 = queryWeight, product of:
                  3.5018296 = idf(docFreq=3622, maxDocs=44218)
                  0.044043828 = queryNorm
                0.2708308 = fieldWeight in 5095, product of:
                  1.4142135 = tf(freq=2.0), with freq of:
                    2.0 = termFreq=2.0
                  3.5018296 = idf(docFreq=3622, maxDocs=44218)
                  0.0546875 = fieldNorm(doc=5095)
          0.5 = coord(1/2)
      0.6666667 = coord(2/3)
    
    Date
    22. 1.2016 17:47:06
  4. Priss, U.: Faceted knowledge representation (1999) 0.02
    0.01949328 = product of:
      0.029239919 = sum of:
        0.008354262 = product of:
          0.04177131 = sum of:
            0.04177131 = weight(_text_:22 in 2654) [ClassicSimilarity], result of:
              0.04177131 = score(doc=2654,freq=2.0), product of:
                0.15423398 = queryWeight, product of:
                  3.5018296 = idf(docFreq=3622, maxDocs=44218)
                  0.044043828 = queryNorm
                0.2708308 = fieldWeight in 2654, product of:
                  1.4142135 = tf(freq=2.0), with freq of:
                    2.0 = termFreq=2.0
                  3.5018296 = idf(docFreq=3622, maxDocs=44218)
                  0.0546875 = fieldNorm(doc=2654)
          0.2 = coord(1/5)
        0.020885656 = product of:
          0.04177131 = sum of:
            0.04177131 = weight(_text_:22 in 2654) [ClassicSimilarity], result of:
              0.04177131 = score(doc=2654,freq=2.0), product of:
                0.15423398 = queryWeight, product of:
                  3.5018296 = idf(docFreq=3622, maxDocs=44218)
                  0.044043828 = queryNorm
                0.2708308 = fieldWeight in 2654, product of:
                  1.4142135 = tf(freq=2.0), with freq of:
                    2.0 = termFreq=2.0
                  3.5018296 = idf(docFreq=3622, maxDocs=44218)
                  0.0546875 = fieldNorm(doc=2654)
          0.5 = coord(1/2)
      0.6666667 = coord(2/3)
    
    Date
    22. 1.2016 17:30:31
  5. Working with conceptual structures : contributions to ICCS 2000. 8th International Conference on Conceptual Structures: Logical, Linguistic, and Computational Issues. Darmstadt, August 14-18, 2000 (2000) 0.01
    0.012660882 = product of:
      0.037982646 = sum of:
        0.037982646 = weight(_text_:deutsche in 5089) [ClassicSimilarity], result of:
          0.037982646 = score(doc=5089,freq=2.0), product of:
            0.20799294 = queryWeight, product of:
              4.7224083 = idf(docFreq=1068, maxDocs=44218)
              0.044043828 = queryNorm
            0.18261507 = fieldWeight in 5089, product of:
              1.4142135 = tf(freq=2.0), with freq of:
                2.0 = termFreq=2.0
              4.7224083 = idf(docFreq=1068, maxDocs=44218)
              0.02734375 = fieldNorm(doc=5089)
      0.33333334 = coord(1/3)
    
    Abstract
    The 8th International Conference on Conceptual Structures - Logical, Linguistic, and Computational Issues (ICCS 2000) brings together a wide range of researchers and practitioners working with conceptual structures. During the last few years, the ICCS conference series has considerably widened its scope on different kinds of conceptual structures, stimulating research across domain boundaries. We hope that this stimulation is further enhanced by ICCS 2000 joining the long tradition of conferences in Darmstadt with extensive, lively discussions. This volume consists of contributions presented at ICCS 2000, complementing the volume "Conceptual Structures: Logical, Linguistic, and Computational Issues" (B. Ganter, G.W. Mineau (Eds.), LNAI 1867, Springer, Berlin-Heidelberg 2000). It contains submissions reviewed by the program committee, and position papers. We wish to express our appreciation to all the authors of submitted papers, to the general chair, the program chair, the editorial board, the program committee, and to the additional reviewers for making ICCS 2000 a valuable contribution in the knowledge processing research field. Special thanks go to the local organizers for making the conference an enjoyable and inspiring event. We are grateful to Darmstadt University of Technology, the Ernst Schröder Center for Conceptual Knowledge Processing, the Center for Interdisciplinary Studies in Technology, the Deutsche Forschungsgemeinschaft, Land Hessen, and NaviCon GmbH for their generous support