-
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
-
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
-
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
-
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
-
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
-
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
-
Helmerich, M.: Liniendiagramme in der Wissenskommunikation : eine mathematisch-didaktische Untersuchung (2011)
0.01
0.0072498615 = product of:
0.021749584 = sum of:
0.021749584 = weight(_text_:m in 4390) [ClassicSimilarity], result of:
0.021749584 = score(doc=4390,freq=4.0), product of:
0.11187479 = queryWeight, product of:
2.4884486 = idf(docFreq=9980, maxDocs=44218)
0.044957645 = queryNorm
0.19441006 = fieldWeight in 4390, product of:
2.0 = tf(freq=4.0), with freq of:
4.0 = termFreq=4.0
2.4884486 = idf(docFreq=9980, maxDocs=44218)
0.0390625 = fieldNorm(doc=4390)
0.33333334 = coord(1/3)
- Type
- m
-
Ganter, B.; Wille, R.: Formal concept analysis : mathematical foundations (1998)
0.01
0.006151711 = product of:
0.018455133 = sum of:
0.018455133 = weight(_text_:m in 5061) [ClassicSimilarity], result of:
0.018455133 = score(doc=5061,freq=2.0), product of:
0.11187479 = queryWeight, product of:
2.4884486 = idf(docFreq=9980, maxDocs=44218)
0.044957645 = queryNorm
0.1649624 = fieldWeight in 5061, product of:
1.4142135 = tf(freq=2.0), with freq of:
2.0 = termFreq=2.0
2.4884486 = idf(docFreq=9980, maxDocs=44218)
0.046875 = fieldNorm(doc=5061)
0.33333334 = coord(1/3)
- Type
- m
-
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.01
0.005074903 = product of:
0.015224708 = sum of:
0.015224708 = weight(_text_:m in 5089) [ClassicSimilarity], result of:
0.015224708 = score(doc=5089,freq=4.0), product of:
0.11187479 = queryWeight, product of:
2.4884486 = idf(docFreq=9980, maxDocs=44218)
0.044957645 = 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.33333334 = coord(1/3)
- 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