Search (28 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.05
    0.053714104 = product of:
      0.10742821 = sum of:
        0.10742821 = sum of:
          0.036046013 = weight(_text_:m in 3142) [ClassicSimilarity], result of:
            0.036046013 = score(doc=3142,freq=2.0), product of:
              0.13110629 = queryWeight, product of:
                2.4884486 = idf(docFreq=9980, maxDocs=44218)
                0.052685954 = 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.071382195 = weight(_text_:22 in 3142) [ClassicSimilarity], result of:
            0.071382195 = score(doc=3142,freq=2.0), product of:
              0.18449724 = queryWeight, product of:
                3.5018296 = idf(docFreq=3622, maxDocs=44218)
                0.052685954 = 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
    Type
    m
  2. 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.02
    0.01950644 = sum of:
      0.010585507 = product of:
        0.04234203 = sum of:
          0.04234203 = weight(_text_:authors in 5089) [ClassicSimilarity], result of:
            0.04234203 = score(doc=5089,freq=2.0), product of:
              0.24018547 = queryWeight, product of:
                4.558814 = idf(docFreq=1258, maxDocs=44218)
                0.052685954 = queryNorm
              0.17628889 = fieldWeight in 5089, product of:
                1.4142135 = tf(freq=2.0), with freq of:
                  2.0 = termFreq=2.0
                4.558814 = idf(docFreq=1258, maxDocs=44218)
                0.02734375 = fieldNorm(doc=5089)
        0.25 = coord(1/4)
      0.008920932 = product of:
        0.017841864 = sum of:
          0.017841864 = weight(_text_:m in 5089) [ClassicSimilarity], result of:
            0.017841864 = score(doc=5089,freq=4.0), product of:
              0.13110629 = queryWeight, product of:
                2.4884486 = idf(docFreq=9980, maxDocs=44218)
                0.052685954 = queryNorm
              0.13608703 = fieldWeight in 5089, product of:
                2.0 = tf(freq=4.0), with freq of:
                  4.0 = termFreq=4.0
                2.4884486 = idf(docFreq=9980, maxDocs=44218)
                0.02734375 = fieldNorm(doc=5089)
        0.5 = coord(1/2)
    
    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
    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)
    Type
    m
  3. Zickwolff, M.: Zur Rolle der Formalen Begriffsanalyse in der Wissensakquisition (1994) 0.02
    0.017841864 = product of:
      0.03568373 = sum of:
        0.03568373 = product of:
          0.07136746 = sum of:
            0.07136746 = weight(_text_:m in 8938) [ClassicSimilarity], result of:
              0.07136746 = score(doc=8938,freq=4.0), product of:
                0.13110629 = queryWeight, product of:
                  2.4884486 = idf(docFreq=9980, maxDocs=44218)
                  0.052685954 = 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.5 = coord(1/2)
      0.5 = coord(1/2)
    
    Source
    Begriffliche Wissensverarbeitung: Grundfragen und Aufgaben. Hrsg.: R. Wille u. M. Zickwolff
  4. Kollewe, W.; Skorsky, M.; Vogt, F.; Wille, R.: TOSCANA - ein Werkzeug zur begrifflichen Analyse und Erkundung von Daten (1994) 0.02
    0.015293028 = product of:
      0.030586056 = sum of:
        0.030586056 = product of:
          0.061172113 = sum of:
            0.061172113 = weight(_text_:m in 8942) [ClassicSimilarity], result of:
              0.061172113 = score(doc=8942,freq=4.0), product of:
                0.13110629 = queryWeight, product of:
                  2.4884486 = idf(docFreq=9980, maxDocs=44218)
                  0.052685954 = 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.5 = coord(1/2)
      0.5 = coord(1/2)
    
    Source
    Begriffliche Wissensverarbeitung: Grundfragen und Aufgaben. Hrsg.: R. Wille u. M. Zickwolff
  5. Skorsky, M.: Graphische Darstellung eines Thesaurus (1997) 0.02
    0.015293028 = product of:
      0.030586056 = sum of:
        0.030586056 = product of:
          0.061172113 = sum of:
            0.061172113 = weight(_text_:m in 1051) [ClassicSimilarity], result of:
              0.061172113 = score(doc=1051,freq=4.0), product of:
                0.13110629 = queryWeight, product of:
                  2.4884486 = idf(docFreq=9980, maxDocs=44218)
                  0.052685954 = 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.5 = coord(1/2)
      0.5 = coord(1/2)
    
    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. Vogt, F.; Wille, R.: TOSCANA - a graphical tool for analyzing and exploring data (1995) 0.01
    0.014276439 = product of:
      0.028552879 = sum of:
        0.028552879 = product of:
          0.057105757 = sum of:
            0.057105757 = weight(_text_:22 in 1901) [ClassicSimilarity], result of:
              0.057105757 = score(doc=1901,freq=2.0), product of:
                0.18449724 = queryWeight, product of:
                  3.5018296 = idf(docFreq=3622, maxDocs=44218)
                  0.052685954 = 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.5 = coord(1/2)
    
    Source
    Knowledge organization. 22(1995) no.2, S.78-81
  7. Ganter, B.; Stahl, J.; Wille, R.: Conceptual measurement and many-valued contexts (1986) 0.01
    0.012616104 = product of:
      0.025232209 = sum of:
        0.025232209 = product of:
          0.050464418 = sum of:
            0.050464418 = weight(_text_:m in 3137) [ClassicSimilarity], result of:
              0.050464418 = score(doc=3137,freq=2.0), product of:
                0.13110629 = queryWeight, product of:
                  2.4884486 = idf(docFreq=9980, maxDocs=44218)
                  0.052685954 = 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.5 = coord(1/2)
      0.5 = coord(1/2)
    
    Source
    Classification as a tool of research. Ed.: W. Gaul u. M. Schader
  8. Scheich, P.; Skorsky, M.; Vogt, F.; Wachter, C.; Wille, R.: Conceptual data systems (1992) 0.01
    0.012616104 = product of:
      0.025232209 = sum of:
        0.025232209 = product of:
          0.050464418 = sum of:
            0.050464418 = weight(_text_:m in 3147) [ClassicSimilarity], result of:
              0.050464418 = score(doc=3147,freq=2.0), product of:
                0.13110629 = queryWeight, product of:
                  2.4884486 = idf(docFreq=9980, maxDocs=44218)
                  0.052685954 = 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.5 = coord(1/2)
      0.5 = coord(1/2)
    
  9. Sowa, J.F.: Knowledge representation : logical, philosophical, and computational foundations (2000) 0.01
    0.012616104 = product of:
      0.025232209 = sum of:
        0.025232209 = product of:
          0.050464418 = sum of:
            0.050464418 = weight(_text_:m in 4360) [ClassicSimilarity], result of:
              0.050464418 = score(doc=4360,freq=2.0), product of:
                0.13110629 = queryWeight, product of:
                  2.4884486 = idf(docFreq=9980, maxDocs=44218)
                  0.052685954 = 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.5 = coord(1/2)
      0.5 = coord(1/2)
    
    Type
    m
  10. Wille, R.; Zickwolff, M.: Grundlagen einer Triadischen Begriffsanalyse (2000) 0.01
    0.012616104 = product of:
      0.025232209 = sum of:
        0.025232209 = product of:
          0.050464418 = sum of:
            0.050464418 = weight(_text_:m in 4198) [ClassicSimilarity], result of:
              0.050464418 = score(doc=4198,freq=2.0), product of:
                0.13110629 = queryWeight, product of:
                  2.4884486 = idf(docFreq=9980, maxDocs=44218)
                  0.052685954 = 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.5 = coord(1/2)
      0.5 = coord(1/2)
    
  11. Priss, U.: Faceted information representation (2000) 0.01
    0.012491884 = product of:
      0.024983767 = sum of:
        0.024983767 = product of:
          0.049967535 = sum of:
            0.049967535 = weight(_text_:22 in 5095) [ClassicSimilarity], result of:
              0.049967535 = score(doc=5095,freq=2.0), product of:
                0.18449724 = queryWeight, product of:
                  3.5018296 = idf(docFreq=3622, maxDocs=44218)
                  0.052685954 = 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.5 = coord(1/2)
    
    Date
    22. 1.2016 17:47:06
  12. Priss, U.: Faceted knowledge representation (1999) 0.01
    0.012491884 = product of:
      0.024983767 = sum of:
        0.024983767 = product of:
          0.049967535 = sum of:
            0.049967535 = weight(_text_:22 in 2654) [ClassicSimilarity], result of:
              0.049967535 = score(doc=2654,freq=2.0), product of:
                0.18449724 = queryWeight, product of:
                  3.5018296 = idf(docFreq=3622, maxDocs=44218)
                  0.052685954 = 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.5 = coord(1/2)
    
    Date
    22. 1.2016 17:30:31
  13. Skorsky, M.: How to draw a concept lattice with parallelograms (1989) 0.01
    0.010813803 = product of:
      0.021627607 = sum of:
        0.021627607 = product of:
          0.043255214 = sum of:
            0.043255214 = weight(_text_:m in 592) [ClassicSimilarity], result of:
              0.043255214 = score(doc=592,freq=2.0), product of:
                0.13110629 = queryWeight, product of:
                  2.4884486 = idf(docFreq=9980, maxDocs=44218)
                  0.052685954 = 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.5 = coord(1/2)
      0.5 = coord(1/2)
    
  14. Skorsky, M.: Dokumentensammlungen : Strukturiert und recherchiert mit TOSKANA (1996) 0.01
    0.010813803 = product of:
      0.021627607 = sum of:
        0.021627607 = product of:
          0.043255214 = sum of:
            0.043255214 = weight(_text_:m in 5261) [ClassicSimilarity], result of:
              0.043255214 = score(doc=5261,freq=2.0), product of:
                0.13110629 = queryWeight, product of:
                  2.4884486 = idf(docFreq=9980, maxDocs=44218)
                  0.052685954 = 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.5 = coord(1/2)
      0.5 = coord(1/2)
    
  15. Scheich, P.; Skorsky, M.; Vogt, F.; Wachter, C.; Wille, R.: Conceptual data systems (1993) 0.01
    0.010813803 = product of:
      0.021627607 = sum of:
        0.021627607 = product of:
          0.043255214 = sum of:
            0.043255214 = weight(_text_:m in 5262) [ClassicSimilarity], result of:
              0.043255214 = score(doc=5262,freq=2.0), product of:
                0.13110629 = queryWeight, product of:
                  2.4884486 = idf(docFreq=9980, maxDocs=44218)
                  0.052685954 = 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.5 = coord(1/2)
      0.5 = coord(1/2)
    
  16. Strack, H.; Skorsky, M.: Zugriffskontrolle bei Programmsystemen und im Datenschutz mittels Formaler Begriffsanalyse (2000) 0.01
    0.010813803 = product of:
      0.021627607 = sum of:
        0.021627607 = product of:
          0.043255214 = sum of:
            0.043255214 = weight(_text_:m in 4200) [ClassicSimilarity], result of:
              0.043255214 = score(doc=4200,freq=2.0), product of:
                0.13110629 = queryWeight, product of:
                  2.4884486 = idf(docFreq=9980, maxDocs=44218)
                  0.052685954 = 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.5 = coord(1/2)
      0.5 = coord(1/2)
    
  17. Eschenfelder, D.; Kollewe, W.; Skorsky, M.; Wille, R.: ¬Ein Erkundungssystem zum Baurecht : Methoden der Entwicklung eines TOSCANA-Systems (2000) 0.01
    0.010813803 = product of:
      0.021627607 = sum of:
        0.021627607 = product of:
          0.043255214 = sum of:
            0.043255214 = weight(_text_:m in 4203) [ClassicSimilarity], result of:
              0.043255214 = score(doc=4203,freq=2.0), product of:
                0.13110629 = queryWeight, product of:
                  2.4884486 = idf(docFreq=9980, maxDocs=44218)
                  0.052685954 = 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.5 = coord(1/2)
      0.5 = coord(1/2)
    
  18. Reinartz, T.P.; Zickwolff, M.: ¬Two conceptual approaches to acquire human expert knowledge in a complex real world domain (1996) 0.01
    0.009011503 = product of:
      0.018023007 = sum of:
        0.018023007 = product of:
          0.036046013 = sum of:
            0.036046013 = weight(_text_:m in 5908) [ClassicSimilarity], result of:
              0.036046013 = score(doc=5908,freq=2.0), product of:
                0.13110629 = queryWeight, product of:
                  2.4884486 = idf(docFreq=9980, maxDocs=44218)
                  0.052685954 = 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.5 = coord(1/2)
      0.5 = coord(1/2)
    
  19. Groh, B.; Strahringer, S.; Wille, R.: TOSCANA-systems based on thesauri (1998) 0.01
    0.009011503 = product of:
      0.018023007 = sum of:
        0.018023007 = product of:
          0.036046013 = sum of:
            0.036046013 = weight(_text_:m in 3084) [ClassicSimilarity], result of:
              0.036046013 = score(doc=3084,freq=2.0), product of:
                0.13110629 = queryWeight, product of:
                  2.4884486 = idf(docFreq=9980, maxDocs=44218)
                  0.052685954 = 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.5 = coord(1/2)
      0.5 = coord(1/2)
    
    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
  20. Ganter, B.; Wille, R.: Formale Begriffsanalyse : Mathematische Grundlagen (1996) 0.01
    0.0072092023 = product of:
      0.014418405 = sum of:
        0.014418405 = product of:
          0.02883681 = sum of:
            0.02883681 = weight(_text_:m in 4605) [ClassicSimilarity], result of:
              0.02883681 = score(doc=4605,freq=2.0), product of:
                0.13110629 = queryWeight, product of:
                  2.4884486 = idf(docFreq=9980, maxDocs=44218)
                  0.052685954 = 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.5 = coord(1/2)
      0.5 = coord(1/2)
    
    Type
    m