Document (#25692)

Editor
Ganter, B.
Mineau, G.W.
Title
Conceptual structures : logical, linguistic, and computational issues. 8th International Conference on Conceptual Structures, ICCS 2000, Darmstadt, Germany, August 14-18, 2000
Imprint
Berlin : Springer
Year
2000
Pages
XI,568 S
Isbn
3-540-67859-X
Series
Lecture notes in computer science; vol.1867: Lecture notes on artificial intelligence
Abstract
Computer scientists create models of a perceived reality. Through AI techniques, these models aim at providing the basic support for emulating cognitive behavior such as reasoning and learning, which is one of the main goals of the Al research effort. Such computer models are formed through the interaction of various acquisition and inference mechanisms: perception, concept learning, conceptual clustering, hypothesis testing, probabilistic inference, etc., and are represented using different paradigms tightly linked to the processes that use them. Among these paradigms let us cite: biological models (neural nets, genetic programming), logic-based models (first-order logic, modal logic, rule-based systems), virtual reality models (object systems, agent systems), probabilistic models (Bayesian nets, fuzzy logic), linguistic models (conceptual dependency graphs, language-based rep resentations), etc. One of the strengths of the Conceptual Graph (CG) theory is its versatility in terms of the representation paradigms under which it falls. It can be viewed and therefore used, under different representation paradigms, which makes it a popular choice for a wealth of applications. Its full coupling with different cognitive processes lead to the opening of the field toward related research communities such as the Description Logic, Formal Concept Analysis, and Computational Linguistic communities. We now see more and more research results from one community enrich the other, laying the foundations of common philosophical grounds from which a successful synergy can emerge. ICCS 2000 embodies this spirit of research collaboration. It presents a set of papers that we believe, by their exposure, will benefit the whole community. For instance, the technical program proposes tracks on Conceptual Ontologies, Language, Formal Concept Analysis, Computational Aspects of Conceptual Structures, and Formal Semantics, with some papers on pragmatism and human related aspects of computing. Never before was the program of ICCS formed by so heterogeneously rooted theories of knowledge representation and use. We hope that this swirl of ideas will benefit you as much as it already has benefited us while putting together this program
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)
Theme
Formale Begriffsanalyse
Begriffstheorie
Linguistik
Computerlinguistik
Field
Sprachwissenschaft
RSWK
Begriffsgraph / Kongress / Darmstadt <2000>

Similar documents (content)

  1. 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.81
    0.8093379 = sum of:
      0.8093379 = product of:
        1.8394043 = sum of:
          0.04183823 = weight(abstract_txt:papers in 5089) [ClassicSimilarity], result of:
            0.04183823 = score(doc=5089,freq=2.0), product of:
              0.08972924 = queryWeight, product of:
                5.2752647 = idf(docFreq=614, maxDocs=44218)
                0.01700943 = queryNorm
              0.46627194 = fieldWeight in 5089, product of:
                1.4142135 = tf(freq=2.0), with freq of:
                  2.0 = termFreq=2.0
                5.2752647 = idf(docFreq=614, maxDocs=44218)
                0.0625 = fieldNorm(doc=5089)
          0.01488734 = weight(abstract_txt:different in 5089) [ClassicSimilarity], result of:
            0.01488734 = score(doc=5089,freq=1.0), product of:
              0.064983584 = queryWeight, product of:
                1.0422705 = boost
                3.6655018 = idf(docFreq=3075, maxDocs=44218)
                0.01700943 = queryNorm
              0.22909386 = fieldWeight in 5089, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                3.6655018 = idf(docFreq=3075, maxDocs=44218)
                0.0625 = fieldNorm(doc=5089)
          0.018162983 = weight(abstract_txt:research in 5089) [ClassicSimilarity], result of:
            0.018162983 = score(doc=5089,freq=2.0), product of:
              0.064816654 = queryWeight, product of:
                1.2019635 = boost
                3.170338 = idf(docFreq=5046, maxDocs=44218)
                0.01700943 = queryNorm
              0.28022093 = fieldWeight in 5089, product of:
                1.4142135 = tf(freq=2.0), with freq of:
                  2.0 = termFreq=2.0
                3.170338 = idf(docFreq=5046, maxDocs=44218)
                0.0625 = fieldNorm(doc=5089)
          0.08103171 = weight(abstract_txt:structures in 5089) [ClassicSimilarity], result of:
            0.08103171 = score(doc=5089,freq=4.0), product of:
              0.12667052 = queryWeight, product of:
                1.455179 = boost
                5.117636 = idf(docFreq=719, maxDocs=44218)
                0.01700943 = queryNorm
              0.6397045 = fieldWeight in 5089, product of:
                2.0 = tf(freq=4.0), with freq of:
                  4.0 = termFreq=4.0
                5.117636 = idf(docFreq=719, maxDocs=44218)
                0.0625 = fieldNorm(doc=5089)
          0.13999374 = weight(abstract_txt:darmstadt in 5089) [ClassicSimilarity], result of:
            0.13999374 = score(doc=5089,freq=2.0), product of:
              0.20073552 = queryWeight, product of:
                1.4957021 = boost
                7.890225 = idf(docFreq=44, maxDocs=44218)
                0.01700943 = queryNorm
              0.6974039 = fieldWeight in 5089, product of:
                1.4142135 = tf(freq=2.0), with freq of:
                  2.0 = termFreq=2.0
                7.890225 = idf(docFreq=44, maxDocs=44218)
                0.0625 = fieldNorm(doc=5089)
          0.09660531 = weight(abstract_txt:program in 5089) [ClassicSimilarity], result of:
            0.09660531 = score(doc=5089,freq=3.0), product of:
              0.1567542 = queryWeight, product of:
                1.6187813 = boost
                5.6930003 = idf(docFreq=404, maxDocs=44218)
                0.01700943 = queryNorm
              0.6162853 = fieldWeight in 5089, product of:
                1.7320508 = tf(freq=3.0), with freq of:
                  3.0 = termFreq=3.0
                5.6930003 = idf(docFreq=404, maxDocs=44218)
                0.0625 = fieldNorm(doc=5089)
          0.08448274 = weight(abstract_txt:linguistic in 5089) [ClassicSimilarity], result of:
            0.08448274 = score(doc=5089,freq=2.0), product of:
              0.16409458 = queryWeight, product of:
                1.6562494 = boost
                5.8247695 = idf(docFreq=354, maxDocs=44218)
                0.01700943 = queryNorm
              0.51484174 = fieldWeight in 5089, product of:
                1.4142135 = tf(freq=2.0), with freq of:
                  2.0 = termFreq=2.0
                5.8247695 = idf(docFreq=354, maxDocs=44218)
                0.0625 = fieldNorm(doc=5089)
          0.10994357 = weight(abstract_txt:computational in 5089) [ClassicSimilarity], result of:
            0.10994357 = score(doc=5089,freq=2.0), product of:
              0.19559698 = queryWeight, product of:
                1.8082551 = boost
                6.3593493 = idf(docFreq=207, maxDocs=44218)
                0.01700943 = queryNorm
              0.56209236 = fieldWeight in 5089, product of:
                1.4142135 = tf(freq=2.0), with freq of:
                  2.0 = termFreq=2.0
                6.3593493 = idf(docFreq=207, maxDocs=44218)
                0.0625 = fieldNorm(doc=5089)
          0.18661937 = weight(abstract_txt:2000 in 5089) [ClassicSimilarity], result of:
            0.18661937 = score(doc=5089,freq=5.0), product of:
              0.22571112 = queryWeight, product of:
                2.2429752 = boost
                5.916144 = idf(docFreq=323, maxDocs=44218)
                0.01700943 = queryNorm
              0.82680625 = fieldWeight in 5089, product of:
                2.236068 = tf(freq=5.0), with freq of:
                  5.0 = termFreq=5.0
                5.916144 = idf(docFreq=323, maxDocs=44218)
                0.0625 = fieldNorm(doc=5089)
          0.88128877 = weight(title_txt:iccs in 5089) [ClassicSimilarity], result of:
            0.88128877 = score(doc=5089,freq=1.0), product of:
              0.4745226 = queryWeight, product of:
                2.8164825 = boost
                9.905128 = idf(docFreq=5, maxDocs=44218)
                0.01700943 = queryNorm
              1.8572114 = fieldWeight in 5089, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                9.905128 = idf(docFreq=5, maxDocs=44218)
                0.1875 = fieldNorm(doc=5089)
          0.18455058 = weight(abstract_txt:conceptual in 5089) [ClassicSimilarity], result of:
            0.18455058 = score(doc=5089,freq=5.0), product of:
              0.26998404 = queryWeight, product of:
                3.2451596 = boost
                4.891165 = idf(docFreq=902, maxDocs=44218)
                0.01700943 = queryNorm
              0.6835611 = fieldWeight in 5089, product of:
                2.236068 = tf(freq=5.0), with freq of:
                  5.0 = termFreq=5.0
                4.891165 = idf(docFreq=902, maxDocs=44218)
                0.0625 = fieldNorm(doc=5089)
        0.44 = coord(11/25)
    
  2. Conceptual graphs for knowledge representation : 1st International Conference on Conceptual Structures, ICCS'93, Quebec, Canada, August 4-7, 1993 (1993) 0.48
    0.4811364 = sum of:
      0.4811364 = product of:
        1.5035514 = sum of:
          0.052297782 = weight(abstract_txt:papers in 1384) [ClassicSimilarity], result of:
            0.052297782 = score(doc=1384,freq=2.0), product of:
              0.08972924 = queryWeight, product of:
                5.2752647 = idf(docFreq=614, maxDocs=44218)
                0.01700943 = queryNorm
              0.5828399 = fieldWeight in 1384, product of:
                1.4142135 = tf(freq=2.0), with freq of:
                  2.0 = termFreq=2.0
                5.2752647 = idf(docFreq=614, maxDocs=44218)
                0.078125 = fieldNorm(doc=1384)
          0.012501075 = weight(abstract_txt:which in 1384) [ClassicSimilarity], result of:
            0.012501075 = score(doc=1384,freq=1.0), product of:
              0.054860957 = queryWeight, product of:
                1.1058079 = boost
                2.9167147 = idf(docFreq=6503, maxDocs=44218)
                0.01700943 = queryNorm
              0.22786833 = fieldWeight in 1384, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                2.9167147 = idf(docFreq=6503, maxDocs=44218)
                0.078125 = fieldNorm(doc=1384)
          0.01605396 = weight(abstract_txt:research in 1384) [ClassicSimilarity], result of:
            0.01605396 = score(doc=1384,freq=1.0), product of:
              0.064816654 = queryWeight, product of:
                1.2019635 = boost
                3.170338 = idf(docFreq=5046, maxDocs=44218)
                0.01700943 = queryNorm
              0.24768265 = fieldWeight in 1384, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                3.170338 = idf(docFreq=5046, maxDocs=44218)
                0.078125 = fieldNorm(doc=1384)
          0.045168523 = weight(abstract_txt:representation in 1384) [ClassicSimilarity], result of:
            0.045168523 = score(doc=1384,freq=1.0), product of:
              0.117366135 = queryWeight, product of:
                1.4007158 = boost
                4.926098 = idf(docFreq=871, maxDocs=44218)
                0.01700943 = queryNorm
              0.3848514 = fieldWeight in 1384, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                4.926098 = idf(docFreq=871, maxDocs=44218)
                0.078125 = fieldNorm(doc=1384)
          0.050644815 = weight(abstract_txt:structures in 1384) [ClassicSimilarity], result of:
            0.050644815 = score(doc=1384,freq=1.0), product of:
              0.12667052 = queryWeight, product of:
                1.455179 = boost
                5.117636 = idf(docFreq=719, maxDocs=44218)
                0.01700943 = queryNorm
              0.39981532 = fieldWeight in 1384, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                5.117636 = idf(docFreq=719, maxDocs=44218)
                0.078125 = fieldNorm(doc=1384)
          1.0281702 = weight(title_txt:iccs in 1384) [ClassicSimilarity], result of:
            1.0281702 = score(doc=1384,freq=1.0), product of:
              0.4745226 = queryWeight, product of:
                2.8164825 = boost
                9.905128 = idf(docFreq=5, maxDocs=44218)
                0.01700943 = queryNorm
              2.1667466 = fieldWeight in 1384, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                9.905128 = idf(docFreq=5, maxDocs=44218)
                0.21875 = fieldNorm(doc=1384)
          0.15281494 = weight(abstract_txt:logic in 1384) [ClassicSimilarity], result of:
            0.15281494 = score(doc=1384,freq=1.0), product of:
              0.31360215 = queryWeight, product of:
                2.9559188 = boost
                6.237302 = idf(docFreq=234, maxDocs=44218)
                0.01700943 = queryNorm
              0.4872892 = fieldWeight in 1384, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                6.237302 = idf(docFreq=234, maxDocs=44218)
                0.078125 = fieldNorm(doc=1384)
          0.14590004 = weight(abstract_txt:conceptual in 1384) [ClassicSimilarity], result of:
            0.14590004 = score(doc=1384,freq=2.0), product of:
              0.26998404 = queryWeight, product of:
                3.2451596 = boost
                4.891165 = idf(docFreq=902, maxDocs=44218)
                0.01700943 = queryNorm
              0.5404025 = fieldWeight in 1384, product of:
                1.4142135 = tf(freq=2.0), with freq of:
                  2.0 = termFreq=2.0
                4.891165 = idf(docFreq=902, maxDocs=44218)
                0.078125 = fieldNorm(doc=1384)
        0.32 = coord(8/25)
    
  3. Conceptual structures : theory, tools and applications. 6th International Conference on Conceptual Structures, ICCS'98, Montpellier, France, August, 10-12, 1998, Proceedings (1998) 0.40
    0.40180013 = sum of:
      0.40180013 = product of:
        1.4350004 = sum of:
          0.051772166 = weight(abstract_txt:papers in 1378) [ClassicSimilarity], result of:
            0.051772166 = score(doc=1378,freq=1.0), product of:
              0.08972924 = queryWeight, product of:
                5.2752647 = idf(docFreq=614, maxDocs=44218)
                0.01700943 = queryNorm
              0.5769821 = fieldWeight in 1378, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                5.2752647 = idf(docFreq=614, maxDocs=44218)
                0.109375 = fieldNorm(doc=1378)
          0.022475544 = weight(abstract_txt:research in 1378) [ClassicSimilarity], result of:
            0.022475544 = score(doc=1378,freq=1.0), product of:
              0.064816654 = queryWeight, product of:
                1.2019635 = boost
                3.170338 = idf(docFreq=5046, maxDocs=44218)
                0.01700943 = queryNorm
              0.3467557 = fieldWeight in 1378, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                3.170338 = idf(docFreq=5046, maxDocs=44218)
                0.109375 = fieldNorm(doc=1378)
          0.06323593 = weight(abstract_txt:representation in 1378) [ClassicSimilarity], result of:
            0.06323593 = score(doc=1378,freq=1.0), product of:
              0.117366135 = queryWeight, product of:
                1.4007158 = boost
                4.926098 = idf(docFreq=871, maxDocs=44218)
                0.01700943 = queryNorm
              0.53879195 = fieldWeight in 1378, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                4.926098 = idf(docFreq=871, maxDocs=44218)
                0.109375 = fieldNorm(doc=1378)
          0.07090274 = weight(abstract_txt:structures in 1378) [ClassicSimilarity], result of:
            0.07090274 = score(doc=1378,freq=1.0), product of:
              0.12667052 = queryWeight, product of:
                1.455179 = boost
                5.117636 = idf(docFreq=719, maxDocs=44218)
                0.01700943 = queryNorm
              0.55974144 = fieldWeight in 1378, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                5.117636 = idf(docFreq=719, maxDocs=44218)
                0.109375 = fieldNorm(doc=1378)
          0.88128877 = weight(title_txt:iccs in 1378) [ClassicSimilarity], result of:
            0.88128877 = score(doc=1378,freq=1.0), product of:
              0.4745226 = queryWeight, product of:
                2.8164825 = boost
                9.905128 = idf(docFreq=5, maxDocs=44218)
                0.01700943 = queryNorm
              1.8572114 = fieldWeight in 1378, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                9.905128 = idf(docFreq=5, maxDocs=44218)
                0.1875 = fieldNorm(doc=1378)
          0.20426005 = weight(abstract_txt:conceptual in 1378) [ClassicSimilarity], result of:
            0.20426005 = score(doc=1378,freq=2.0), product of:
              0.26998404 = queryWeight, product of:
                3.2451596 = boost
                4.891165 = idf(docFreq=902, maxDocs=44218)
                0.01700943 = queryNorm
              0.7565634 = fieldWeight in 1378, product of:
                1.4142135 = tf(freq=2.0), with freq of:
                  2.0 = termFreq=2.0
                4.891165 = idf(docFreq=902, maxDocs=44218)
                0.109375 = fieldNorm(doc=1378)
          0.14106509 = weight(abstract_txt:models in 1378) [ClassicSimilarity], result of:
            0.14106509 = score(doc=1378,freq=1.0), product of:
              0.27786648 = queryWeight, product of:
                3.5195007 = boost
                4.6415744 = idf(docFreq=1158, maxDocs=44218)
                0.01700943 = queryNorm
              0.5076722 = fieldWeight in 1378, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                4.6415744 = idf(docFreq=1158, maxDocs=44218)
                0.109375 = fieldNorm(doc=1378)
        0.28 = coord(7/25)
    
  4. Chein, M.; Genest, D.: CGs applications : where are we 7 years after the first ICCS? (2000) 0.24
    0.23501821 = sum of:
      0.23501821 = product of:
        1.4688638 = sum of:
          0.051772166 = weight(abstract_txt:papers in 5075) [ClassicSimilarity], result of:
            0.051772166 = score(doc=5075,freq=1.0), product of:
              0.08972924 = queryWeight, product of:
                5.2752647 = idf(docFreq=614, maxDocs=44218)
                0.01700943 = queryNorm
              0.5769821 = fieldWeight in 5075, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                5.2752647 = idf(docFreq=614, maxDocs=44218)
                0.109375 = fieldNorm(doc=5075)
          0.097606435 = weight(abstract_txt:program in 5075) [ClassicSimilarity], result of:
            0.097606435 = score(doc=5075,freq=1.0), product of:
              0.1567542 = queryWeight, product of:
                1.6187813 = boost
                5.6930003 = idf(docFreq=404, maxDocs=44218)
                0.01700943 = queryNorm
              0.6226719 = fieldWeight in 5075, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                5.6930003 = idf(docFreq=404, maxDocs=44218)
                0.109375 = fieldNorm(doc=5075)
          1.1750517 = weight(title_txt:iccs in 5075) [ClassicSimilarity], result of:
            1.1750517 = score(doc=5075,freq=1.0), product of:
              0.4745226 = queryWeight, product of:
                2.8164825 = boost
                9.905128 = idf(docFreq=5, maxDocs=44218)
                0.01700943 = queryNorm
              2.476282 = fieldWeight in 5075, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                9.905128 = idf(docFreq=5, maxDocs=44218)
                0.25 = fieldNorm(doc=5075)
          0.14443366 = weight(abstract_txt:conceptual in 5075) [ClassicSimilarity], result of:
            0.14443366 = score(doc=5075,freq=1.0), product of:
              0.26998404 = queryWeight, product of:
                3.2451596 = boost
                4.891165 = idf(docFreq=902, maxDocs=44218)
                0.01700943 = queryNorm
              0.5349711 = fieldWeight in 5075, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                4.891165 = idf(docFreq=902, maxDocs=44218)
                0.109375 = fieldNorm(doc=5075)
        0.16 = coord(4/25)
    
  5. Song, D.; Bruza, P.D.: Towards context sensitive information inference (2003) 0.21
    0.21343996 = sum of:
      0.21343996 = product of:
        0.6669999 = sum of:
          0.01000086 = weight(abstract_txt:which in 1428) [ClassicSimilarity], result of:
            0.01000086 = score(doc=1428,freq=1.0), product of:
              0.054860957 = queryWeight, product of:
                1.1058079 = boost
                2.9167147 = idf(docFreq=6503, maxDocs=44218)
                0.01700943 = queryNorm
              0.18229467 = fieldWeight in 1428, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                2.9167147 = idf(docFreq=6503, maxDocs=44218)
                0.0625 = fieldNorm(doc=1428)
          0.055292163 = weight(abstract_txt:concept in 1428) [ClassicSimilarity], result of:
            0.055292163 = score(doc=1428,freq=4.0), product of:
              0.0981781 = queryWeight, product of:
                1.2811086 = boost
                4.505458 = idf(docFreq=1327, maxDocs=44218)
                0.01700943 = queryNorm
              0.56318223 = fieldWeight in 1428, product of:
                2.0 = tf(freq=4.0), with freq of:
                  4.0 = termFreq=4.0
                4.505458 = idf(docFreq=1327, maxDocs=44218)
                0.0625 = fieldNorm(doc=1428)
          0.06272201 = weight(abstract_txt:probabilistic in 1428) [ClassicSimilarity], result of:
            0.06272201 = score(doc=1428,freq=1.0), product of:
              0.14808412 = queryWeight, product of:
                1.2846571 = boost
                6.7769065 = idf(docFreq=136, maxDocs=44218)
                0.01700943 = queryNorm
              0.42355666 = fieldWeight in 1428, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                6.7769065 = idf(docFreq=136, maxDocs=44218)
                0.0625 = fieldNorm(doc=1428)
          0.13491265 = weight(abstract_txt:inference in 1428) [ClassicSimilarity], result of:
            0.13491265 = score(doc=1428,freq=4.0), product of:
              0.15544507 = queryWeight, product of:
                1.3161987 = boost
                6.943297 = idf(docFreq=115, maxDocs=44218)
                0.01700943 = queryNorm
              0.8679121 = fieldWeight in 1428, product of:
                2.0 = tf(freq=4.0), with freq of:
                  4.0 = termFreq=4.0
                6.943297 = idf(docFreq=115, maxDocs=44218)
                0.0625 = fieldNorm(doc=1428)
          0.051102348 = weight(abstract_txt:representation in 1428) [ClassicSimilarity], result of:
            0.051102348 = score(doc=1428,freq=2.0), product of:
              0.117366135 = queryWeight, product of:
                1.4007158 = boost
                4.926098 = idf(docFreq=871, maxDocs=44218)
                0.01700943 = queryNorm
              0.43540964 = fieldWeight in 1428, product of:
                1.4142135 = tf(freq=2.0), with freq of:
                  2.0 = termFreq=2.0
                4.926098 = idf(docFreq=871, maxDocs=44218)
                0.0625 = fieldNorm(doc=1428)
          0.12225195 = weight(abstract_txt:logic in 1428) [ClassicSimilarity], result of:
            0.12225195 = score(doc=1428,freq=1.0), product of:
              0.31360215 = queryWeight, product of:
                2.9559188 = boost
                6.237302 = idf(docFreq=234, maxDocs=44218)
                0.01700943 = queryNorm
              0.38983136 = fieldWeight in 1428, product of:
                1.0 = tf(freq=1.0), with freq of:
                  1.0 = termFreq=1.0
                6.237302 = idf(docFreq=234, maxDocs=44218)
                0.0625 = fieldNorm(doc=1428)
          0.11672003 = weight(abstract_txt:conceptual in 1428) [ClassicSimilarity], result of:
            0.11672003 = score(doc=1428,freq=2.0), product of:
              0.26998404 = queryWeight, product of:
                3.2451596 = boost
                4.891165 = idf(docFreq=902, maxDocs=44218)
                0.01700943 = queryNorm
              0.43232197 = fieldWeight in 1428, product of:
                1.4142135 = tf(freq=2.0), with freq of:
                  2.0 = termFreq=2.0
                4.891165 = idf(docFreq=902, maxDocs=44218)
                0.0625 = fieldNorm(doc=1428)
          0.11399781 = weight(abstract_txt:models in 1428) [ClassicSimilarity], result of:
            0.11399781 = score(doc=1428,freq=2.0), product of:
              0.27786648 = queryWeight, product of:
                3.5195007 = boost
                4.6415744 = idf(docFreq=1158, maxDocs=44218)
                0.01700943 = queryNorm
              0.4102611 = fieldWeight in 1428, product of:
                1.4142135 = tf(freq=2.0), with freq of:
                  2.0 = termFreq=2.0
                4.6415744 = idf(docFreq=1158, maxDocs=44218)
                0.0625 = fieldNorm(doc=1428)
        0.32 = coord(8/25)