Search (9 results, page 1 of 1)

  • × type_ss:"m"
  • × theme_ss:"Formale Begriffsanalyse"
  1. Prediger, S.: Kontextuelle Urteilslogik mit Begriffsgraphen : Ein Beitrag zur Restrukturierung der mathematischen Logik (1998) 0.04 
    0.03641521 = product of:
  0.07283042 = sum of:
    0.07283042 = sum of:
      0.010420184 = weight(_text_:s in 3142) [ClassicSimilarity], result of:
        0.010420184 = score(doc=3142,freq=6.0), product of:
          0.05008241 = queryWeight, product of:
            1.0872376 = idf(docFreq=40523, maxDocs=44218)
            0.046063907 = queryNorm
          0.20806074 = fieldWeight in 3142, product of:
            2.4494898 = tf(freq=6.0), with freq of:
              6.0 = termFreq=6.0
            1.0872376 = idf(docFreq=40523, maxDocs=44218)
            0.078125 = fieldNorm(doc=3142)
      0.06241024 = weight(_text_:22 in 3142) [ClassicSimilarity], result of:
        0.06241024 = score(doc=3142,freq=2.0), product of:
          0.16130796 = queryWeight, product of:
            3.5018296 = idf(docFreq=3622, maxDocs=44218)
            0.046063907 = 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)
    Date
    26. 2.2008 15:58:22
    Footnote
    Rez. in: KO 26(1999) no.3, S.175-176 (R. Wille)
    Pages
    106 S
  2. Sowa, J.F.: Knowledge representation : logical, philosophical, and computational foundations (2000) 0.00 
    0.0021056333 = product of:
  0.0042112665 = sum of:
    0.0042112665 = product of:
      0.008422533 = sum of:
        0.008422533 = weight(_text_:s in 4360) [ClassicSimilarity], result of:
          0.008422533 = score(doc=4360,freq=2.0), product of:
            0.05008241 = queryWeight, product of:
              1.0872376 = idf(docFreq=40523, maxDocs=44218)
              0.046063907 = queryNorm
            0.16817348 = fieldWeight in 4360, product of:
              1.4142135 = tf(freq=2.0), with freq of:
                2.0 = termFreq=2.0
              1.0872376 = idf(docFreq=40523, maxDocs=44218)
              0.109375 = fieldNorm(doc=4360)
      0.5 = coord(1/2)
  0.5 = coord(1/2)
    Pages
    XIV,594 S
  3. Vogt, F.: Formale Begriffsanalyse mit C++ : Datenstrukturen und Algorithmen (1996) 0.00 
    0.0020840368 = product of:
  0.0041680736 = sum of:
    0.0041680736 = product of:
      0.008336147 = sum of:
        0.008336147 = weight(_text_:s in 2037) [ClassicSimilarity], result of:
          0.008336147 = score(doc=2037,freq=6.0), product of:
            0.05008241 = queryWeight, product of:
              1.0872376 = idf(docFreq=40523, maxDocs=44218)
              0.046063907 = queryNorm
            0.1664486 = fieldWeight in 2037, product of:
              2.4494898 = tf(freq=6.0), with freq of:
                6.0 = termFreq=6.0
              1.0872376 = idf(docFreq=40523, maxDocs=44218)
              0.0625 = fieldNorm(doc=2037)
      0.5 = coord(1/2)
  0.5 = coord(1/2)
    Footnote
    Rez. in: Knowledge organization 25(1998) nos.1/2, S.47 (S. Düwel u. W. Hesse)
    Pages
    X,323 S. + Diskette
  4. Pollandt, S.: Fuzzy-Begriffe : Formale Begriffsanalyse unscharfer Daten (1997) 0.00 
    0.0020840368 = product of:
  0.0041680736 = sum of:
    0.0041680736 = product of:
      0.008336147 = sum of:
        0.008336147 = weight(_text_:s in 2086) [ClassicSimilarity], result of:
          0.008336147 = score(doc=2086,freq=6.0), product of:
            0.05008241 = queryWeight, product of:
              1.0872376 = idf(docFreq=40523, maxDocs=44218)
              0.046063907 = queryNorm
            0.1664486 = fieldWeight in 2086, product of:
              2.4494898 = tf(freq=6.0), with freq of:
                6.0 = termFreq=6.0
              1.0872376 = idf(docFreq=40523, maxDocs=44218)
              0.0625 = fieldNorm(doc=2086)
      0.5 = coord(1/2)
  0.5 = coord(1/2)
    Footnote
    Rez. in: Knowledge organization 25(1998) no.3, S.123-124 (K.E. Wolff)
    Pages
    VII,146 S
  5. Ganter, B.; Wille, R.: Formal concept analysis : mathematical foundations (1998) 0.00 
    0.0012762066 = product of:
  0.0025524131 = sum of:
    0.0025524131 = product of:
      0.0051048263 = sum of:
        0.0051048263 = weight(_text_:s in 5061) [ClassicSimilarity], result of:
          0.0051048263 = score(doc=5061,freq=4.0), product of:
            0.05008241 = queryWeight, product of:
              1.0872376 = idf(docFreq=40523, maxDocs=44218)
              0.046063907 = queryNorm
            0.101928525 = fieldWeight in 5061, product of:
              2.0 = tf(freq=4.0), with freq of:
                4.0 = termFreq=4.0
              1.0872376 = idf(docFreq=40523, maxDocs=44218)
              0.046875 = fieldNorm(doc=5061)
      0.5 = coord(1/2)
  0.5 = coord(1/2)
    Footnote
    Rez. in: KO 26(1999) no.3, S.172-173 (U. Priss)
    Pages
    300 S
  6. Ganter, B.; Wille, R.: Formale Begriffsanalyse : Mathematische Grundlagen (1996) 0.00 
    0.001203219 = product of:
  0.002406438 = sum of:
    0.002406438 = product of:
      0.004812876 = sum of:
        0.004812876 = weight(_text_:s in 4605) [ClassicSimilarity], result of:
          0.004812876 = score(doc=4605,freq=2.0), product of:
            0.05008241 = queryWeight, product of:
              1.0872376 = idf(docFreq=40523, maxDocs=44218)
              0.046063907 = queryNorm
            0.09609913 = fieldWeight in 4605, product of:
              1.4142135 = tf(freq=2.0), with freq of:
                2.0 = termFreq=2.0
              1.0872376 = idf(docFreq=40523, maxDocs=44218)
              0.0625 = fieldNorm(doc=4605)
      0.5 = coord(1/2)
  0.5 = coord(1/2)
    Pages
    X,286 S
  7. 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.00 
    0.001177085 = product of:
  0.00235417 = sum of:
    0.00235417 = product of:
      0.00470834 = sum of:
        0.00470834 = weight(_text_:s in 5089) [ClassicSimilarity], result of:
          0.00470834 = score(doc=5089,freq=10.0), product of:
            0.05008241 = queryWeight, product of:
              1.0872376 = idf(docFreq=40523, maxDocs=44218)
              0.046063907 = queryNorm
            0.09401184 = fieldWeight in 5089, product of:
              3.1622777 = tf(freq=10.0), with freq of:
                10.0 = termFreq=10.0
              1.0872376 = idf(docFreq=40523, maxDocs=44218)
              0.02734375 = fieldNorm(doc=5089)
      0.5 = coord(1/2)
  0.5 = coord(1/2)
    Content
    Concepts & Language: Knowledge organization by procedures of natural language processing. A case study using the method GABEK (J. Zelger, J. Gadner) - Computer aided narrative analysis using conceptual graphs (H. Schärfe, P. 0hrstrom) - Pragmatic representation of argumentative text: a challenge for the conceptual graph approach (H. Irandoust, B. Moulin) - Conceptual graphs as a knowledge representation core in a complex language learning environment (G. Angelova, A. Nenkova, S. Boycheva, T. Nikolov) - Conceptual Modeling and Ontologies: Relationships and actions in conceptual categories (Ch. Landauer, K.L. Bellman) - Concept approximations for formal concept analysis (J. Saquer, J.S. Deogun) - Faceted information representation (U. Priß) - Simple concept graphs with universal quantifiers (J. Tappe) - A framework for comparing methods for using or reusing multiple ontologies in an application (J. van ZyI, D. Corbett) - Designing task/method knowledge-based systems with conceptual graphs (M. Leclère, F.Trichet, Ch. Choquet) - A logical ontology (J. Farkas, J. Sarbo) - Algorithms and Tools: Fast concept analysis (Ch. Lindig) - A framework for conceptual graph unification (D. Corbett) - Visual CP representation of knowledge (H.D. Pfeiffer, R.T. Hartley) - Maximal isojoin for representing software textual specifications and detecting semantic anomalies (Th. Charnois) - Troika: using grids, lattices and graphs in knowledge acquisition (H.S. Delugach, B.E. Lampkin) - Open world theorem prover for conceptual graphs (J.E. Heaton, P. Kocura) - NetCare: a practical conceptual graphs software tool (S. Polovina, D. Strang) - CGWorld - a web based workbench for conceptual graphs management and applications (P. Dobrev, K. Toutanova) - Position papers: The edition project: Peirce's existential graphs (R. Mülller) - Mining association rules using formal concept analysis (N. Pasquier) - Contextual logic summary (R Wille) - Information channels and conceptual scaling (K.E. Wolff) - Spatial concepts - a rule exploration (S. Rudolph) - The TEXT-TO-ONTO learning environment (A. Mädche, St. Staab) - Controlling the semantics of metadata on audio-visual documents using ontologies (Th. Dechilly, B. Bachimont) - Building the ontological foundations of a terminology from natural language to conceptual graphs with Ribosome, a knowledge extraction system (Ch. Jacquelinet, A. Burgun) - CharGer: some lessons learned and new directions (H.S. Delugach) - Knowledge management using conceptual graphs (W.K. Pun)
    Pages
    315 S
    Type
    s
  8. Helmerich, M.: Liniendiagramme in der Wissenskommunikation : eine mathematisch-didaktische Untersuchung (2011) 0.00 
    7.520119E-4 = product of:
  0.0015040238 = sum of:
    0.0015040238 = product of:
      0.0030080476 = sum of:
        0.0030080476 = weight(_text_:s in 4390) [ClassicSimilarity], result of:
          0.0030080476 = score(doc=4390,freq=2.0), product of:
            0.05008241 = queryWeight, product of:
              1.0872376 = idf(docFreq=40523, maxDocs=44218)
              0.046063907 = queryNorm
            0.060061958 = fieldWeight in 4390, product of:
              1.4142135 = tf(freq=2.0), with freq of:
                2.0 = termFreq=2.0
              1.0872376 = idf(docFreq=40523, maxDocs=44218)
              0.0390625 = fieldNorm(doc=4390)
      0.5 = coord(1/2)
  0.5 = coord(1/2)
    Pages
    180 S
  9. Conceptual structures : logical, linguistic, and computational issues. 8th International Conference on Conceptual Structures, ICCS 2000, Darmstadt, Germany, August 14-18, 2000 (2000) 0.00 
    6.381033E-4 = product of:
  0.0012762066 = sum of:
    0.0012762066 = product of:
      0.0025524131 = sum of:
        0.0025524131 = weight(_text_:s in 691) [ClassicSimilarity], result of:
          0.0025524131 = score(doc=691,freq=4.0), product of:
            0.05008241 = queryWeight, product of:
              1.0872376 = idf(docFreq=40523, maxDocs=44218)
              0.046063907 = queryNorm
            0.050964262 = fieldWeight in 691, product of:
              2.0 = tf(freq=4.0), with freq of:
                4.0 = termFreq=4.0
              1.0872376 = idf(docFreq=40523, maxDocs=44218)
              0.0234375 = fieldNorm(doc=691)
      0.5 = coord(1/2)
  0.5 = coord(1/2)
    Pages
    XI,568 S
    Type
    s

Authors

Years

Languages

Themes

Subjects

Classifications