Search (29 results, page 1 of 2)

  • × theme_ss:"Formale Begriffsanalyse"
  1. Prediger, S.: Kontextuelle Urteilslogik mit Begriffsgraphen : Ein Beitrag zur Restrukturierung der mathematischen Logik (1998) 0.04
    0.04080951 = product of:
      0.06121426 = sum of:
        0.030758556 = weight(_text_:m in 3142) [ClassicSimilarity], result of:
          0.030758556 = score(doc=3142,freq=2.0), product of:
            0.11187479 = queryWeight, product of:
              2.4884486 = idf(docFreq=9980, maxDocs=44218)
              0.044957645 = queryNorm
            0.27493733 = fieldWeight in 3142, product of:
              1.4142135 = tf(freq=2.0), with freq of:
                2.0 = termFreq=2.0
              2.4884486 = idf(docFreq=9980, maxDocs=44218)
              0.078125 = fieldNorm(doc=3142)
        0.030455703 = product of:
          0.060911406 = sum of:
            0.060911406 = weight(_text_:22 in 3142) [ClassicSimilarity], result of:
              0.060911406 = score(doc=3142,freq=2.0), product of:
                0.15743402 = queryWeight, product of:
                  3.5018296 = idf(docFreq=3622, maxDocs=44218)
                  0.044957645 = 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
    Type
    m
  2. Zickwolff, M.: Zur Rolle der Formalen Begriffsanalyse in der Wissensakquisition (1994) 0.02
    0.020299612 = product of:
      0.060898833 = sum of:
        0.060898833 = weight(_text_:m in 8938) [ClassicSimilarity], result of:
          0.060898833 = score(doc=8938,freq=4.0), product of:
            0.11187479 = queryWeight, product of:
              2.4884486 = idf(docFreq=9980, maxDocs=44218)
              0.044957645 = queryNorm
            0.5443481 = fieldWeight in 8938, product of:
              2.0 = tf(freq=4.0), with freq of:
                4.0 = termFreq=4.0
              2.4884486 = idf(docFreq=9980, maxDocs=44218)
              0.109375 = fieldNorm(doc=8938)
      0.33333334 = coord(1/3)
    
    Source
    Begriffliche Wissensverarbeitung: Grundfragen und Aufgaben. Hrsg.: R. Wille u. M. Zickwolff
  3. Conceptual structures : logical, linguistic, and computational issues. 8th International Conference on Conceptual Structures, ICCS 2000, Darmstadt, Germany, August 14-18, 2000 (2000) 0.02
    0.019125093 = product of:
      0.028687637 = sum of:
        0.009227566 = weight(_text_:m in 691) [ClassicSimilarity], result of:
          0.009227566 = score(doc=691,freq=2.0), product of:
            0.11187479 = queryWeight, product of:
              2.4884486 = idf(docFreq=9980, maxDocs=44218)
              0.044957645 = queryNorm
            0.0824812 = fieldWeight in 691, product of:
              1.4142135 = tf(freq=2.0), with freq of:
                2.0 = termFreq=2.0
              2.4884486 = idf(docFreq=9980, maxDocs=44218)
              0.0234375 = fieldNorm(doc=691)
        0.01946007 = product of:
          0.03892014 = sum of:
            0.03892014 = weight(_text_:de in 691) [ClassicSimilarity], result of:
              0.03892014 = score(doc=691,freq=4.0), product of:
                0.193205 = queryWeight, product of:
                  4.297489 = idf(docFreq=1634, maxDocs=44218)
                  0.044957645 = queryNorm
                0.2014448 = fieldWeight in 691, product of:
                  2.0 = tf(freq=4.0), with freq of:
                    4.0 = termFreq=4.0
                  4.297489 = idf(docFreq=1634, maxDocs=44218)
                  0.0234375 = fieldNorm(doc=691)
          0.5 = coord(1/2)
      0.6666667 = coord(2/3)
    
    Content
    Concepts and Language: The Role of Conceptual Structure in Human Evolution (Keith Devlin) - Concepts in Linguistics - Concepts in Natural Language (Gisela Harras) - Patterns, Schemata, and Types: Author Support through Formalized Experience (Felix H. Gatzemeier) - Conventions and Notations for Knowledge Representation and Retrieval (Philippe Martin) - Conceptual Ontology: Ontology, Metadata, and Semiotics (John F. Sowa) - Pragmatically Yours (Mary Keeler) - Conceptual Modeling for Distributed Ontology Environments (Deborah L. McGuinness) - Discovery of Class Relations in Exception Structured Knowledge Bases (Hendra Suryanto, Paul Compton) - Conceptual Graphs: Perspectives: CGs Applications: Where Are We 7 Years after the First ICCS ? (Michel Chein, David Genest) - The Engineering of a CC-Based System: Fundamental Issues (Guy W. Mineau) - Conceptual Graphs, Metamodeling, and Notation of Concepts (Olivier Gerbé, Guy W. Mineau, Rudolf K. Keller) - Knowledge Representation and Reasonings: Based on Graph Homomorphism (Marie-Laure Mugnier) - User Modeling Using Conceptual Graphs for Intelligent Agents (James F. Baldwin, Trevor P. Martin, Aimilia Tzanavari) - Towards a Unified Querying System of Both Structured and Semi-structured Imprecise Data Using Fuzzy View (Patrice Buche, Ollivier Haemmerlé) - Formal Semantics of Conceptual Structures: The Extensional Semantics of the Conceptual Graph Formalism (Guy W. Mineau) - Semantics of Attribute Relations in Conceptual Graphs (Pavel Kocura) - Nested Concept Graphs and Triadic Power Context Families (Susanne Prediger) - Negations in Simple Concept Graphs (Frithjof Dau) - Extending the CG Model by Simulations (Jean-François Baget) - Contextual Logic and Formal Concept Analysis: Building and Structuring Description Logic Knowledge Bases: Using Least Common Subsumers and Concept Analysis (Franz Baader, Ralf Molitor) - On the Contextual Logic of Ordinal Data (Silke Pollandt, Rudolf Wille) - Boolean Concept Logic (Rudolf Wille) - Lattices of Triadic Concept Graphs (Bernd Groh, Rudolf Wille) - Formalizing Hypotheses with Concepts (Bernhard Ganter, Sergei 0. Kuznetsov) - Generalized Formal Concept Analysis (Laurent Chaudron, Nicolas Maille) - A Logical Generalization of Formal Concept Analysis (Sébastien Ferré, Olivier Ridoux) - On the Treatment of Incomplete Knowledge in Formal Concept Analysis (Peter Burmeister, Richard Holzer) - Conceptual Structures in Practice: Logic-Based Networks: Concept Graphs and Conceptual Structures (Peter W. Eklund) - Conceptual Knowledge Discovery and Data Analysis (Joachim Hereth, Gerd Stumme, Rudolf Wille, Uta Wille) - CEM - A Conceptual Email Manager (Richard Cole, Gerd Stumme) - A Contextual-Logic Extension of TOSCANA (Peter Eklund, Bernd Groh, Gerd Stumme, Rudolf Wille) - A Conceptual Graph Model for W3C Resource Description Framework (Olivier Corby, Rose Dieng, Cédric Hébert) - Computational Aspects of Conceptual Structures: Computing with Conceptual Structures (Bernhard Ganter) - Symmetry and the Computation of Conceptual Structures (Robert Levinson) An Introduction to SNePS 3 (Stuart C. Shapiro) - Composition Norm Dynamics Calculation with Conceptual Graphs (Aldo de Moor) - From PROLOG++ to PROLOG+CG: A CG Object-Oriented Logic Programming Language (Adil Kabbaj, Martin Janta-Polczynski) - A Cost-Bounded Algorithm to Control Events Generalization (Gaël de Chalendar, Brigitte Grau, Olivier Ferret)
    Type
    m
  4. Kollewe, W.; Skorsky, M.; Vogt, F.; Wille, R.: TOSCANA - ein Werkzeug zur begrifflichen Analyse und Erkundung von Daten (1994) 0.02
    0.017399667 = product of:
      0.052199 = sum of:
        0.052199 = weight(_text_:m in 8942) [ClassicSimilarity], result of:
          0.052199 = score(doc=8942,freq=4.0), product of:
            0.11187479 = queryWeight, product of:
              2.4884486 = idf(docFreq=9980, maxDocs=44218)
              0.044957645 = queryNorm
            0.46658412 = fieldWeight in 8942, product of:
              2.0 = tf(freq=4.0), with freq of:
                4.0 = termFreq=4.0
              2.4884486 = idf(docFreq=9980, maxDocs=44218)
              0.09375 = fieldNorm(doc=8942)
      0.33333334 = coord(1/3)
    
    Source
    Begriffliche Wissensverarbeitung: Grundfragen und Aufgaben. Hrsg.: R. Wille u. M. Zickwolff
  5. Skorsky, M.: Graphische Darstellung eines Thesaurus (1997) 0.02
    0.017399667 = product of:
      0.052199 = sum of:
        0.052199 = weight(_text_:m in 1051) [ClassicSimilarity], result of:
          0.052199 = score(doc=1051,freq=4.0), product of:
            0.11187479 = queryWeight, product of:
              2.4884486 = idf(docFreq=9980, maxDocs=44218)
              0.044957645 = queryNorm
            0.46658412 = fieldWeight in 1051, product of:
              2.0 = tf(freq=4.0), with freq of:
                4.0 = termFreq=4.0
              2.4884486 = idf(docFreq=9980, maxDocs=44218)
              0.09375 = fieldNorm(doc=1051)
      0.33333334 = coord(1/3)
    
    Source
    Information und Dokumentation: Qualität und Qualifikation. Deutscher Dokumentartag 1997, Universität Regensburg, 24.-26.9.1997. Hrsg.: M. Ockenfeld u. G.J. Mantwill
  6. Ganter, B.; Stahl, J.; Wille, R.: Conceptual measurement and many-valued contexts (1986) 0.01
    0.014353992 = product of:
      0.043061975 = sum of:
        0.043061975 = weight(_text_:m in 3137) [ClassicSimilarity], result of:
          0.043061975 = score(doc=3137,freq=2.0), product of:
            0.11187479 = queryWeight, product of:
              2.4884486 = idf(docFreq=9980, maxDocs=44218)
              0.044957645 = queryNorm
            0.38491225 = fieldWeight in 3137, product of:
              1.4142135 = tf(freq=2.0), with freq of:
                2.0 = termFreq=2.0
              2.4884486 = idf(docFreq=9980, maxDocs=44218)
              0.109375 = fieldNorm(doc=3137)
      0.33333334 = coord(1/3)
    
    Source
    Classification as a tool of research. Ed.: W. Gaul u. M. Schader
  7. Scheich, P.; Skorsky, M.; Vogt, F.; Wachter, C.; Wille, R.: Conceptual data systems (1992) 0.01
    0.014353992 = product of:
      0.043061975 = sum of:
        0.043061975 = weight(_text_:m in 3147) [ClassicSimilarity], result of:
          0.043061975 = score(doc=3147,freq=2.0), product of:
            0.11187479 = queryWeight, product of:
              2.4884486 = idf(docFreq=9980, maxDocs=44218)
              0.044957645 = queryNorm
            0.38491225 = fieldWeight in 3147, product of:
              1.4142135 = tf(freq=2.0), with freq of:
                2.0 = termFreq=2.0
              2.4884486 = idf(docFreq=9980, maxDocs=44218)
              0.109375 = fieldNorm(doc=3147)
      0.33333334 = coord(1/3)
    
  8. Sowa, J.F.: Knowledge representation : logical, philosophical, and computational foundations (2000) 0.01
    0.014353992 = product of:
      0.043061975 = sum of:
        0.043061975 = weight(_text_:m in 4360) [ClassicSimilarity], result of:
          0.043061975 = score(doc=4360,freq=2.0), product of:
            0.11187479 = queryWeight, product of:
              2.4884486 = idf(docFreq=9980, maxDocs=44218)
              0.044957645 = queryNorm
            0.38491225 = fieldWeight in 4360, product of:
              1.4142135 = tf(freq=2.0), with freq of:
                2.0 = termFreq=2.0
              2.4884486 = idf(docFreq=9980, maxDocs=44218)
              0.109375 = fieldNorm(doc=4360)
      0.33333334 = coord(1/3)
    
    Type
    m
  9. Wille, R.; Zickwolff, M.: Grundlagen einer Triadischen Begriffsanalyse (2000) 0.01
    0.014353992 = product of:
      0.043061975 = sum of:
        0.043061975 = weight(_text_:m in 4198) [ClassicSimilarity], result of:
          0.043061975 = score(doc=4198,freq=2.0), product of:
            0.11187479 = queryWeight, product of:
              2.4884486 = idf(docFreq=9980, maxDocs=44218)
              0.044957645 = queryNorm
            0.38491225 = fieldWeight in 4198, product of:
              1.4142135 = tf(freq=2.0), with freq of:
                2.0 = termFreq=2.0
              2.4884486 = idf(docFreq=9980, maxDocs=44218)
              0.109375 = fieldNorm(doc=4198)
      0.33333334 = coord(1/3)
    
  10. Skorsky, M.: How to draw a concept lattice with parallelograms (1989) 0.01
    0.012303422 = product of:
      0.036910266 = sum of:
        0.036910266 = weight(_text_:m in 592) [ClassicSimilarity], result of:
          0.036910266 = score(doc=592,freq=2.0), product of:
            0.11187479 = queryWeight, product of:
              2.4884486 = idf(docFreq=9980, maxDocs=44218)
              0.044957645 = queryNorm
            0.3299248 = fieldWeight in 592, product of:
              1.4142135 = tf(freq=2.0), with freq of:
                2.0 = termFreq=2.0
              2.4884486 = idf(docFreq=9980, maxDocs=44218)
              0.09375 = fieldNorm(doc=592)
      0.33333334 = coord(1/3)
    
  11. Skorsky, M.: Dokumentensammlungen : Strukturiert und recherchiert mit TOSKANA (1996) 0.01
    0.012303422 = product of:
      0.036910266 = sum of:
        0.036910266 = weight(_text_:m in 5261) [ClassicSimilarity], result of:
          0.036910266 = score(doc=5261,freq=2.0), product of:
            0.11187479 = queryWeight, product of:
              2.4884486 = idf(docFreq=9980, maxDocs=44218)
              0.044957645 = queryNorm
            0.3299248 = fieldWeight in 5261, product of:
              1.4142135 = tf(freq=2.0), with freq of:
                2.0 = termFreq=2.0
              2.4884486 = idf(docFreq=9980, maxDocs=44218)
              0.09375 = fieldNorm(doc=5261)
      0.33333334 = coord(1/3)
    
  12. Scheich, P.; Skorsky, M.; Vogt, F.; Wachter, C.; Wille, R.: Conceptual data systems (1993) 0.01
    0.012303422 = product of:
      0.036910266 = sum of:
        0.036910266 = weight(_text_:m in 5262) [ClassicSimilarity], result of:
          0.036910266 = score(doc=5262,freq=2.0), product of:
            0.11187479 = queryWeight, product of:
              2.4884486 = idf(docFreq=9980, maxDocs=44218)
              0.044957645 = queryNorm
            0.3299248 = fieldWeight in 5262, product of:
              1.4142135 = tf(freq=2.0), with freq of:
                2.0 = termFreq=2.0
              2.4884486 = idf(docFreq=9980, maxDocs=44218)
              0.09375 = fieldNorm(doc=5262)
      0.33333334 = coord(1/3)
    
  13. Strack, H.; Skorsky, M.: Zugriffskontrolle bei Programmsystemen und im Datenschutz mittels Formaler Begriffsanalyse (2000) 0.01
    0.012303422 = product of:
      0.036910266 = sum of:
        0.036910266 = weight(_text_:m in 4200) [ClassicSimilarity], result of:
          0.036910266 = score(doc=4200,freq=2.0), product of:
            0.11187479 = queryWeight, product of:
              2.4884486 = idf(docFreq=9980, maxDocs=44218)
              0.044957645 = queryNorm
            0.3299248 = fieldWeight in 4200, product of:
              1.4142135 = tf(freq=2.0), with freq of:
                2.0 = termFreq=2.0
              2.4884486 = idf(docFreq=9980, maxDocs=44218)
              0.09375 = fieldNorm(doc=4200)
      0.33333334 = coord(1/3)
    
  14. Eschenfelder, D.; Kollewe, W.; Skorsky, M.; Wille, R.: ¬Ein Erkundungssystem zum Baurecht : Methoden der Entwicklung eines TOSCANA-Systems (2000) 0.01
    0.012303422 = product of:
      0.036910266 = sum of:
        0.036910266 = weight(_text_:m in 4203) [ClassicSimilarity], result of:
          0.036910266 = score(doc=4203,freq=2.0), product of:
            0.11187479 = queryWeight, product of:
              2.4884486 = idf(docFreq=9980, maxDocs=44218)
              0.044957645 = queryNorm
            0.3299248 = fieldWeight in 4203, product of:
              1.4142135 = tf(freq=2.0), with freq of:
                2.0 = termFreq=2.0
              2.4884486 = idf(docFreq=9980, maxDocs=44218)
              0.09375 = fieldNorm(doc=4203)
      0.33333334 = coord(1/3)
    
  15. Reinartz, T.P.; Zickwolff, M.: ¬Two conceptual approaches to acquire human expert knowledge in a complex real world domain (1996) 0.01
    0.010252852 = product of:
      0.030758556 = sum of:
        0.030758556 = weight(_text_:m in 5908) [ClassicSimilarity], result of:
          0.030758556 = score(doc=5908,freq=2.0), product of:
            0.11187479 = queryWeight, product of:
              2.4884486 = idf(docFreq=9980, maxDocs=44218)
              0.044957645 = queryNorm
            0.27493733 = fieldWeight in 5908, product of:
              1.4142135 = tf(freq=2.0), with freq of:
                2.0 = termFreq=2.0
              2.4884486 = idf(docFreq=9980, maxDocs=44218)
              0.078125 = fieldNorm(doc=5908)
      0.33333334 = coord(1/3)
    
  16. Groh, B.; Strahringer, S.; Wille, R.: TOSCANA-systems based on thesauri (1998) 0.01
    0.010252852 = product of:
      0.030758556 = sum of:
        0.030758556 = weight(_text_:m in 3084) [ClassicSimilarity], result of:
          0.030758556 = score(doc=3084,freq=2.0), product of:
            0.11187479 = queryWeight, product of:
              2.4884486 = idf(docFreq=9980, maxDocs=44218)
              0.044957645 = queryNorm
            0.27493733 = fieldWeight in 3084, product of:
              1.4142135 = tf(freq=2.0), with freq of:
                2.0 = termFreq=2.0
              2.4884486 = idf(docFreq=9980, maxDocs=44218)
              0.078125 = fieldNorm(doc=3084)
      0.33333334 = coord(1/3)
    
    Source
    Conceptual structures: theory, tools and applications. 6th International Conference on conceptual Structures, ICCS'98, Montpellier, France, August, 10-12, 1998, Proceedings. Ed.: M.L. Mugnier u. M. Chein
  17. De Maio, C.; Fenza, G.; Loia, V.; Senatore, S.: Hierarchical web resources retrieval by exploiting Fuzzy Formal Concept Analysis (2012) 0.01
    0.0091735665 = product of:
      0.027520698 = sum of:
        0.027520698 = product of:
          0.055041395 = sum of:
            0.055041395 = weight(_text_:de in 2737) [ClassicSimilarity], result of:
              0.055041395 = score(doc=2737,freq=2.0), product of:
                0.193205 = queryWeight, product of:
                  4.297489 = idf(docFreq=1634, maxDocs=44218)
                  0.044957645 = queryNorm
                0.28488597 = fieldWeight in 2737, product of:
                  1.4142135 = tf(freq=2.0), with freq of:
                    2.0 = termFreq=2.0
                  4.297489 = idf(docFreq=1634, maxDocs=44218)
                  0.046875 = fieldNorm(doc=2737)
          0.5 = coord(1/2)
      0.33333334 = coord(1/3)
    
  18. Ganter, B.; Wille, R.: Formale Begriffsanalyse : Mathematische Grundlagen (1996) 0.01
    0.008202282 = product of:
      0.024606844 = sum of:
        0.024606844 = weight(_text_:m in 4605) [ClassicSimilarity], result of:
          0.024606844 = score(doc=4605,freq=2.0), product of:
            0.11187479 = queryWeight, product of:
              2.4884486 = idf(docFreq=9980, maxDocs=44218)
              0.044957645 = queryNorm
            0.21994986 = fieldWeight in 4605, product of:
              1.4142135 = tf(freq=2.0), with freq of:
                2.0 = termFreq=2.0
              2.4884486 = idf(docFreq=9980, maxDocs=44218)
              0.0625 = fieldNorm(doc=4605)
      0.33333334 = coord(1/3)
    
    Type
    m
  19. Vogt, F.: Formale Begriffsanalyse mit C++ : Datenstrukturen und Algorithmen (1996) 0.01
    0.008202282 = product of:
      0.024606844 = sum of:
        0.024606844 = weight(_text_:m in 2037) [ClassicSimilarity], result of:
          0.024606844 = score(doc=2037,freq=2.0), product of:
            0.11187479 = queryWeight, product of:
              2.4884486 = idf(docFreq=9980, maxDocs=44218)
              0.044957645 = queryNorm
            0.21994986 = fieldWeight in 2037, product of:
              1.4142135 = tf(freq=2.0), with freq of:
                2.0 = termFreq=2.0
              2.4884486 = idf(docFreq=9980, maxDocs=44218)
              0.0625 = fieldNorm(doc=2037)
      0.33333334 = coord(1/3)
    
    Type
    m
  20. Pollandt, S.: Fuzzy-Begriffe : Formale Begriffsanalyse unscharfer Daten (1997) 0.01
    0.008202282 = product of:
      0.024606844 = sum of:
        0.024606844 = weight(_text_:m in 2086) [ClassicSimilarity], result of:
          0.024606844 = score(doc=2086,freq=2.0), product of:
            0.11187479 = queryWeight, product of:
              2.4884486 = idf(docFreq=9980, maxDocs=44218)
              0.044957645 = queryNorm
            0.21994986 = fieldWeight in 2086, product of:
              1.4142135 = tf(freq=2.0), with freq of:
                2.0 = termFreq=2.0
              2.4884486 = idf(docFreq=9980, maxDocs=44218)
              0.0625 = fieldNorm(doc=2086)
      0.33333334 = coord(1/3)
    
    Type
    m