Search (86 results, page 1 of 5)

Priss, U.: Formal concept analysis in information science (2006) 0.02

0.020014118 = product of:
  0.18012707 = sum of:
    0.02408726 = product of:
      0.04817452 = sum of:
        0.04817452 = weight(_text_:29 in 4305) [ClassicSimilarity], result of:
          0.04817452 = score(doc=4305,freq=2.0), product of:
            0.07747029 = queryWeight, product of:
              3.5176873 = idf(docFreq=3565, maxDocs=44218)
              0.022023074 = queryNorm
            0.6218451 = fieldWeight in 4305, product of:
              1.4142135 = tf(freq=2.0), with freq of:
                2.0 = termFreq=2.0
              3.5176873 = idf(docFreq=3565, maxDocs=44218)
              0.125 = fieldNorm(doc=4305)
      0.5 = coord(1/2)
    0.1560398 = weight(_text_:formale in 4305) [ClassicSimilarity], result of:
      0.1560398 = score(doc=4305,freq=2.0), product of:
        0.13942613 = queryWeight, product of:
          6.330911 = idf(docFreq=213, maxDocs=44218)
          0.022023074 = queryNorm
        1.1191576 = fieldWeight in 4305, product of:
          1.4142135 = tf(freq=2.0), with freq of:
            2.0 = termFreq=2.0
          6.330911 = idf(docFreq=213, maxDocs=44218)
          0.125 = fieldNorm(doc=4305)
  0.11111111 = coord(2/18)

Date: 13. 7.2008 19:29:59
Theme: Formale Begriffsanalyse

Prediger, S.: Kontextuelle Urteilslogik mit Begriffsgraphen : Ein Beitrag zur Restrukturierung der mathematischen Logik (1998) 0.02

0.019873792 = product of:
  0.17886412 = sum of:
    0.16891804 = weight(_text_:formale in 3142) [ClassicSimilarity], result of:
      0.16891804 = score(doc=3142,freq=6.0), product of:
        0.13942613 = queryWeight, product of:
          6.330911 = idf(docFreq=213, maxDocs=44218)
          0.022023074 = queryNorm
        1.2115237 = fieldWeight in 3142, product of:
          2.4494898 = tf(freq=6.0), with freq of:
            6.0 = termFreq=6.0
          6.330911 = idf(docFreq=213, maxDocs=44218)
          0.078125 = fieldNorm(doc=3142)
    0.009946076 = product of:
      0.029838227 = sum of:
        0.029838227 = weight(_text_:22 in 3142) [ClassicSimilarity], result of:
          0.029838227 = score(doc=3142,freq=2.0), product of:
            0.07712106 = queryWeight, product of:
              3.5018296 = idf(docFreq=3622, maxDocs=44218)
              0.022023074 = 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.33333334 = coord(1/3)
  0.11111111 = coord(2/18)

Date: 26. 2.2008 15:58:22
RSWK: Begriffsgraph / Formale Begriffsanalyse
Subject: Begriffsgraph / Formale Begriffsanalyse
Theme: Formale Begriffsanalyse

Wachter, C.; Wille, R.: Formale Begriffsanalyse von Literaturdaten (1992) 0.01

0.012259644 = product of:
  0.2206736 = sum of:
    0.2206736 = weight(_text_:formale in 3141) [ClassicSimilarity], result of:
      0.2206736 = score(doc=3141,freq=4.0), product of:
        0.13942613 = queryWeight, product of:
          6.330911 = idf(docFreq=213, maxDocs=44218)
          0.022023074 = queryNorm
        1.5827278 = fieldWeight in 3141, product of:
          2.0 = tf(freq=4.0), with freq of:
            4.0 = termFreq=4.0
          6.330911 = idf(docFreq=213, maxDocs=44218)
          0.125 = fieldNorm(doc=3141)
  0.055555556 = coord(1/18)

Theme: Formale Begriffsanalyse

Kipke, U.; Wille, R.: Formale Begriffsanalyse erläutert an einem Wortfeld (1987) 0.01

0.012259644 = product of:
  0.2206736 = sum of:
    0.2206736 = weight(_text_:formale in 6233) [ClassicSimilarity], result of:
      0.2206736 = score(doc=6233,freq=4.0), product of:
        0.13942613 = queryWeight, product of:
          6.330911 = idf(docFreq=213, maxDocs=44218)
          0.022023074 = queryNorm
        1.5827278 = fieldWeight in 6233, product of:
          2.0 = tf(freq=4.0), with freq of:
            4.0 = termFreq=4.0
          6.330911 = idf(docFreq=213, maxDocs=44218)
          0.125 = fieldNorm(doc=6233)
  0.055555556 = coord(1/18)

Theme: Formale Begriffsanalyse

Viehmann, V.: Formale Begriffsanalyse in der bibliothekarischen Sacherschließung (1996) 0.01

0.012259644 = product of:
  0.2206736 = sum of:
    0.2206736 = weight(_text_:formale in 4570) [ClassicSimilarity], result of:
      0.2206736 = score(doc=4570,freq=4.0), product of:
        0.13942613 = queryWeight, product of:
          6.330911 = idf(docFreq=213, maxDocs=44218)
          0.022023074 = queryNorm
        1.5827278 = fieldWeight in 4570, product of:
          2.0 = tf(freq=4.0), with freq of:
            4.0 = termFreq=4.0
          6.330911 = idf(docFreq=213, maxDocs=44218)
          0.125 = fieldNorm(doc=4570)
  0.055555556 = coord(1/18)

Theme: Formale Begriffsanalyse

Neuss, C.; Kent, R.E.: Conceptual analysis of resource meta-information (1995) 0.01

0.01108828 = product of:
  0.09979452 = sum of:
    0.021774618 = product of:
      0.043549236 = sum of:
        0.043549236 = weight(_text_:networks in 2204) [ClassicSimilarity], result of:
          0.043549236 = score(doc=2204,freq=2.0), product of:
            0.10416738 = queryWeight, product of:
              4.72992 = idf(docFreq=1060, maxDocs=44218)
              0.022023074 = queryNorm
            0.4180698 = fieldWeight in 2204, product of:
              1.4142135 = tf(freq=2.0), with freq of:
                2.0 = termFreq=2.0
              4.72992 = idf(docFreq=1060, maxDocs=44218)
              0.0625 = fieldNorm(doc=2204)
      0.5 = coord(1/2)
    0.0780199 = weight(_text_:formale in 2204) [ClassicSimilarity], result of:
      0.0780199 = score(doc=2204,freq=2.0), product of:
        0.13942613 = queryWeight, product of:
          6.330911 = idf(docFreq=213, maxDocs=44218)
          0.022023074 = queryNorm
        0.5595788 = fieldWeight in 2204, product of:
          1.4142135 = tf(freq=2.0), with freq of:
            2.0 = termFreq=2.0
          6.330911 = idf(docFreq=213, maxDocs=44218)
          0.0625 = fieldNorm(doc=2204)
  0.11111111 = coord(2/18)

Source: Computer networks and ISDN systems. 27(1995) no.6, S.973-984
Theme: Formale Begriffsanalyse

Vogt, C.; Wille, R.: Formale Begriffsanalyse : Darstellung und Analyse von bibliographischen Daten (1994) 0.01

0.0107271895 = product of:
  0.19308941 = sum of:
    0.19308941 = weight(_text_:formale in 7603) [ClassicSimilarity], result of:
      0.19308941 = score(doc=7603,freq=4.0), product of:
        0.13942613 = queryWeight, product of:
          6.330911 = idf(docFreq=213, maxDocs=44218)
          0.022023074 = queryNorm
        1.3848869 = fieldWeight in 7603, product of:
          2.0 = tf(freq=4.0), with freq of:
            4.0 = termFreq=4.0
          6.330911 = idf(docFreq=213, maxDocs=44218)
          0.109375 = fieldNorm(doc=7603)
  0.055555556 = coord(1/18)

Theme: Formale Begriffsanalyse

Lindig, C.; Snelting, G.: Formale Begriffsnalyse im Software Engineering (2000) 0.01

0.0107271895 = product of:
  0.19308941 = sum of:
    0.19308941 = weight(_text_:formale in 4199) [ClassicSimilarity], result of:
      0.19308941 = score(doc=4199,freq=4.0), product of:
        0.13942613 = queryWeight, product of:
          6.330911 = idf(docFreq=213, maxDocs=44218)
          0.022023074 = queryNorm
        1.3848869 = fieldWeight in 4199, product of:
          2.0 = tf(freq=4.0), with freq of:
            4.0 = termFreq=4.0
          6.330911 = idf(docFreq=213, maxDocs=44218)
          0.109375 = fieldNorm(doc=4199)
  0.055555556 = coord(1/18)

Theme: Formale Begriffsanalyse

Eklund. P.W.: Logic-based networks : concept graphs and conceptual structures (2000) 0.01
```
0.010559118 = product of:
  0.095032066 = sum of:
    0.036517143 = product of:
      0.07303429 = sum of:
        0.07303429 = weight(_text_:networks in 5084) [ClassicSimilarity], result of:
          0.07303429 = score(doc=5084,freq=10.0), product of:
            0.10416738 = queryWeight, product of:
              4.72992 = idf(docFreq=1060, maxDocs=44218)
              0.022023074 = queryNorm
            0.70112437 = fieldWeight in 5084, product of:
              3.1622777 = tf(freq=10.0), with freq of:
                10.0 = termFreq=10.0
              4.72992 = idf(docFreq=1060, maxDocs=44218)
              0.046875 = fieldNorm(doc=5084)
      0.5 = coord(1/2)
    0.058514927 = weight(_text_:formale in 5084) [ClassicSimilarity], result of:
      0.058514927 = score(doc=5084,freq=2.0), product of:
        0.13942613 = queryWeight, product of:
          6.330911 = idf(docFreq=213, maxDocs=44218)
          0.022023074 = queryNorm
        0.41968408 = fieldWeight in 5084, product of:
          1.4142135 = tf(freq=2.0), with freq of:
            2.0 = termFreq=2.0
          6.330911 = idf(docFreq=213, maxDocs=44218)
          0.046875 = fieldNorm(doc=5084)
  0.11111111 = coord(2/18)
```
Abstract

Logic-based networks are semantic networks that support reasoning capabilities. In this paper, knowledge processing within logicbased networks is viewed as three stages. The first stage involves the formation of concepts and relations: the basic primitives with which we wish to formulate knowledge. The second stage involves the formation of wellformed formulas that express knowledge about the primitive concepts and relations once isolated. The final stage involves efficiently processing the wffs to the desired end. Our research involves each of these steps as they relate to Sowa's conceptual structures and Wille's concept lattices. Formal Concept Analysis gives us a capability to perform concept formation via symbolic machine learning. Concept(ual) Graphs provide a means to describe relational properties between primitive concept and relation types. Finally, techniques from other areas of computer science are required to compute logic-based networks efficiently. This paper illustrates the three stages of knowledge processing in practical terms using examples from our research

Theme

Formale Begriffsanalyse

Vogt, F.; Wille, R.: TOSCANA - a graphical tool for analyzing and exploring data (1995) 0.01

0.009552974 = product of:
  0.085976765 = sum of:
    0.0780199 = weight(_text_:formale in 1901) [ClassicSimilarity], result of:
      0.0780199 = score(doc=1901,freq=2.0), product of:
        0.13942613 = queryWeight, product of:
          6.330911 = idf(docFreq=213, maxDocs=44218)
          0.022023074 = queryNorm
        0.5595788 = fieldWeight in 1901, product of:
          1.4142135 = tf(freq=2.0), with freq of:
            2.0 = termFreq=2.0
          6.330911 = idf(docFreq=213, maxDocs=44218)
          0.0625 = fieldNorm(doc=1901)
    0.007956861 = product of:
      0.023870582 = sum of:
        0.023870582 = weight(_text_:22 in 1901) [ClassicSimilarity], result of:
          0.023870582 = score(doc=1901,freq=2.0), product of:
            0.07712106 = queryWeight, product of:
              3.5018296 = idf(docFreq=3622, maxDocs=44218)
              0.022023074 = 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.33333334 = coord(1/3)
  0.11111111 = coord(2/18)

Source: Knowledge organization. 22(1995) no.2, S.78-81
Theme: Formale Begriffsanalyse

Kohler-Koch, B.; Vogt, F.: Normen- und regelgeleitete internationale Kooperationen : Formale Begriffsanalyse in der Politikwissenschaft (2000) 0.01

0.009194734 = product of:
  0.1655052 = sum of:
    0.1655052 = weight(_text_:formale in 4206) [ClassicSimilarity], result of:
      0.1655052 = score(doc=4206,freq=4.0), product of:
        0.13942613 = queryWeight, product of:
          6.330911 = idf(docFreq=213, maxDocs=44218)
          0.022023074 = queryNorm
        1.1870458 = fieldWeight in 4206, product of:
          2.0 = tf(freq=4.0), with freq of:
            4.0 = termFreq=4.0
          6.330911 = idf(docFreq=213, maxDocs=44218)
          0.09375 = fieldNorm(doc=4206)
  0.055555556 = coord(1/18)

Theme: Formale Begriffsanalyse

Ganter, B.: Algorithmen zur formalen Begriffsanalyse (1991) 0.01

0.008668878 = product of:
  0.1560398 = sum of:
    0.1560398 = weight(_text_:formale in 3038) [ClassicSimilarity], result of:
      0.1560398 = score(doc=3038,freq=2.0), product of:
        0.13942613 = queryWeight, product of:
          6.330911 = idf(docFreq=213, maxDocs=44218)
          0.022023074 = queryNorm
        1.1191576 = fieldWeight in 3038, product of:
          1.4142135 = tf(freq=2.0), with freq of:
            2.0 = termFreq=2.0
          6.330911 = idf(docFreq=213, maxDocs=44218)
          0.125 = fieldNorm(doc=3038)
  0.055555556 = coord(1/18)

Theme: Formale Begriffsanalyse

Wille, R.: Line diagrams of hierarchical concept systems (1984) 0.01

0.008668878 = product of:
  0.1560398 = sum of:
    0.1560398 = weight(_text_:formale in 3040) [ClassicSimilarity], result of:
      0.1560398 = score(doc=3040,freq=2.0), product of:
        0.13942613 = queryWeight, product of:
          6.330911 = idf(docFreq=213, maxDocs=44218)
          0.022023074 = queryNorm
        1.1191576 = fieldWeight in 3040, product of:
          1.4142135 = tf(freq=2.0), with freq of:
            2.0 = termFreq=2.0
          6.330911 = idf(docFreq=213, maxDocs=44218)
          0.125 = fieldNorm(doc=3040)
  0.055555556 = coord(1/18)

Theme: Formale Begriffsanalyse

Wille, R.: Bedeutungen von Begriffsverbänden (1987) 0.01

0.008668878 = product of:
  0.1560398 = sum of:
    0.1560398 = weight(_text_:formale in 3041) [ClassicSimilarity], result of:
      0.1560398 = score(doc=3041,freq=2.0), product of:
        0.13942613 = queryWeight, product of:
          6.330911 = idf(docFreq=213, maxDocs=44218)
          0.022023074 = queryNorm
        1.1191576 = fieldWeight in 3041, product of:
          1.4142135 = tf(freq=2.0), with freq of:
            2.0 = termFreq=2.0
          6.330911 = idf(docFreq=213, maxDocs=44218)
          0.125 = fieldNorm(doc=3041)
  0.055555556 = coord(1/18)

Theme: Formale Begriffsanalyse

Wille, R.: Geometric representations of concept lattices (1989) 0.01

0.008668878 = product of:
  0.1560398 = sum of:
    0.1560398 = weight(_text_:formale in 3042) [ClassicSimilarity], result of:
      0.1560398 = score(doc=3042,freq=2.0), product of:
        0.13942613 = queryWeight, product of:
          6.330911 = idf(docFreq=213, maxDocs=44218)
          0.022023074 = queryNorm
        1.1191576 = fieldWeight in 3042, product of:
          1.4142135 = tf(freq=2.0), with freq of:
            2.0 = termFreq=2.0
          6.330911 = idf(docFreq=213, maxDocs=44218)
          0.125 = fieldNorm(doc=3042)
  0.055555556 = coord(1/18)

Theme: Formale Begriffsanalyse

Wille, R.: Lattices in data analysis : how to draw them with a computer (1989) 0.01

0.008668878 = product of:
  0.1560398 = sum of:
    0.1560398 = weight(_text_:formale in 3043) [ClassicSimilarity], result of:
      0.1560398 = score(doc=3043,freq=2.0), product of:
        0.13942613 = queryWeight, product of:
          6.330911 = idf(docFreq=213, maxDocs=44218)
          0.022023074 = queryNorm
        1.1191576 = fieldWeight in 3043, product of:
          1.4142135 = tf(freq=2.0), with freq of:
            2.0 = termFreq=2.0
          6.330911 = idf(docFreq=213, maxDocs=44218)
          0.125 = fieldNorm(doc=3043)
  0.055555556 = coord(1/18)

Theme: Formale Begriffsanalyse

Wille, R.: Concept lattices and conceptual knowledge systems (1992) 0.01

0.008668878 = product of:
  0.1560398 = sum of:
    0.1560398 = weight(_text_:formale in 3142) [ClassicSimilarity], result of:
      0.1560398 = score(doc=3142,freq=2.0), product of:
        0.13942613 = queryWeight, product of:
          6.330911 = idf(docFreq=213, maxDocs=44218)
          0.022023074 = queryNorm
        1.1191576 = fieldWeight in 3142, product of:
          1.4142135 = tf(freq=2.0), with freq of:
            2.0 = termFreq=2.0
          6.330911 = idf(docFreq=213, maxDocs=44218)
          0.125 = fieldNorm(doc=3142)
  0.055555556 = coord(1/18)

Theme: Formale Begriffsanalyse

Pollandt, S.: Fuzzy-Begriffe : Formale Begriffsanalyse unscharfer Daten (1997) 0.01

0.008668878 = product of:
  0.1560398 = sum of:
    0.1560398 = weight(_text_:formale in 2086) [ClassicSimilarity], result of:
      0.1560398 = score(doc=2086,freq=8.0), product of:
        0.13942613 = queryWeight, product of:
          6.330911 = idf(docFreq=213, maxDocs=44218)
          0.022023074 = queryNorm
        1.1191576 = fieldWeight in 2086, product of:
          2.828427 = tf(freq=8.0), with freq of:
            8.0 = termFreq=8.0
          6.330911 = idf(docFreq=213, maxDocs=44218)
          0.0625 = fieldNorm(doc=2086)
  0.055555556 = coord(1/18)

RSWK: Unscharfe Menge / Formale Begriffsanalyse (21)
Subject: Unscharfe Menge / Formale Begriffsanalyse (21)
Theme: Formale Begriffsanalyse

Priss, U.: Faceted information representation (2000) 0.01

0.008358852 = product of:
  0.07522967 = sum of:
    0.06826741 = weight(_text_:formale in 5095) [ClassicSimilarity], result of:
      0.06826741 = score(doc=5095,freq=2.0), product of:
        0.13942613 = queryWeight, product of:
          6.330911 = idf(docFreq=213, maxDocs=44218)
          0.022023074 = queryNorm
        0.4896314 = fieldWeight in 5095, product of:
          1.4142135 = tf(freq=2.0), with freq of:
            2.0 = termFreq=2.0
          6.330911 = idf(docFreq=213, maxDocs=44218)
          0.0546875 = fieldNorm(doc=5095)
    0.006962253 = product of:
      0.020886758 = sum of:
        0.020886758 = weight(_text_:22 in 5095) [ClassicSimilarity], result of:
          0.020886758 = score(doc=5095,freq=2.0), product of:
            0.07712106 = queryWeight, product of:
              3.5018296 = idf(docFreq=3622, maxDocs=44218)
              0.022023074 = 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.33333334 = coord(1/3)
  0.11111111 = coord(2/18)

Date: 22. 1.2016 17:47:06
Theme: Formale Begriffsanalyse

Priss, U.: Faceted knowledge representation (1999) 0.01

0.008358852 = product of:
  0.07522967 = sum of:
    0.06826741 = weight(_text_:formale in 2654) [ClassicSimilarity], result of:
      0.06826741 = score(doc=2654,freq=2.0), product of:
        0.13942613 = queryWeight, product of:
          6.330911 = idf(docFreq=213, maxDocs=44218)
          0.022023074 = queryNorm
        0.4896314 = fieldWeight in 2654, product of:
          1.4142135 = tf(freq=2.0), with freq of:
            2.0 = termFreq=2.0
          6.330911 = idf(docFreq=213, maxDocs=44218)
          0.0546875 = fieldNorm(doc=2654)
    0.006962253 = product of:
      0.020886758 = sum of:
        0.020886758 = weight(_text_:22 in 2654) [ClassicSimilarity], result of:
          0.020886758 = score(doc=2654,freq=2.0), product of:
            0.07712106 = queryWeight, product of:
              3.5018296 = idf(docFreq=3622, maxDocs=44218)
              0.022023074 = 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.33333334 = coord(1/3)
  0.11111111 = coord(2/18)

Date: 22. 1.2016 17:30:31
Theme: Formale Begriffsanalyse

Search (86 results, page 1 of 5)

Authors

Years

Languages

Types

Themes

Subjects

Classifications