-
Eklund, P.; Groh, B.; Stumme, G.; Wille, R.: ¬A conceptual-logic extension of TOSCANA (2000)
0.02
0.017529551 = product of:
0.035059102 = sum of:
0.01477307 = product of:
0.02954614 = sum of:
0.02954614 = weight(_text_:p in 5082) [ClassicSimilarity], result of:
0.02954614 = score(doc=5082,freq=2.0), product of:
0.1239606 = queryWeight, product of:
3.5955126 = idf(docFreq=3298, maxDocs=44218)
0.034476474 = queryNorm
0.23835106 = fieldWeight in 5082, product of:
1.4142135 = tf(freq=2.0), with freq of:
2.0 = termFreq=2.0
3.5955126 = idf(docFreq=3298, maxDocs=44218)
0.046875 = fieldNorm(doc=5082)
0.5 = coord(1/2)
0.020286033 = product of:
0.040572066 = sum of:
0.040572066 = weight(_text_:b in 5082) [ClassicSimilarity], result of:
0.040572066 = score(doc=5082,freq=4.0), product of:
0.12214884 = queryWeight, product of:
3.542962 = idf(docFreq=3476, maxDocs=44218)
0.034476474 = queryNorm
0.3321527 = fieldWeight in 5082, product of:
2.0 = tf(freq=4.0), with freq of:
4.0 = termFreq=4.0
3.542962 = idf(docFreq=3476, maxDocs=44218)
0.046875 = fieldNorm(doc=5082)
0.5 = coord(1/2)
0.5 = coord(2/4)
- Source
- Conceptual structures: logical, linguistic, and computational issues. 8th International Conference on Conceptual Structures, ICCS 2000, Darmstadt, Germany, August 14-18, 2000. Ed.: B. Ganter et al
-
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.014709603 = product of:
0.029419206 = sum of:
0.014926164 = product of:
0.029852329 = sum of:
0.029852329 = weight(_text_:p in 5089) [ClassicSimilarity], result of:
0.029852329 = score(doc=5089,freq=6.0), product of:
0.1239606 = queryWeight, product of:
3.5955126 = idf(docFreq=3298, maxDocs=44218)
0.034476474 = queryNorm
0.24082111 = fieldWeight in 5089, product of:
2.4494898 = tf(freq=6.0), with freq of:
6.0 = termFreq=6.0
3.5955126 = idf(docFreq=3298, maxDocs=44218)
0.02734375 = fieldNorm(doc=5089)
0.5 = coord(1/2)
0.014493043 = product of:
0.028986085 = sum of:
0.028986085 = weight(_text_:b in 5089) [ClassicSimilarity], result of:
0.028986085 = score(doc=5089,freq=6.0), product of:
0.12214884 = queryWeight, product of:
3.542962 = idf(docFreq=3476, maxDocs=44218)
0.034476474 = queryNorm
0.23730135 = fieldWeight in 5089, product of:
2.4494898 = tf(freq=6.0), with freq of:
6.0 = termFreq=6.0
3.542962 = idf(docFreq=3476, maxDocs=44218)
0.02734375 = fieldNorm(doc=5089)
0.5 = coord(1/2)
0.5 = coord(2/4)
- 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)
-
Begriffliche Wissensverarbeitung : Methoden und Anwendungen. Mit Beiträgen zahlreicher Fachwissenschaftler (2000)
0.01
0.014607959 = product of:
0.029215919 = sum of:
0.012310892 = product of:
0.024621785 = sum of:
0.024621785 = weight(_text_:p in 4193) [ClassicSimilarity], result of:
0.024621785 = score(doc=4193,freq=2.0), product of:
0.1239606 = queryWeight, product of:
3.5955126 = idf(docFreq=3298, maxDocs=44218)
0.034476474 = queryNorm
0.19862589 = fieldWeight in 4193, product of:
1.4142135 = tf(freq=2.0), with freq of:
2.0 = termFreq=2.0
3.5955126 = idf(docFreq=3298, maxDocs=44218)
0.0390625 = fieldNorm(doc=4193)
0.5 = coord(1/2)
0.016905027 = product of:
0.033810053 = sum of:
0.033810053 = weight(_text_:b in 4193) [ClassicSimilarity], result of:
0.033810053 = score(doc=4193,freq=4.0), product of:
0.12214884 = queryWeight, product of:
3.542962 = idf(docFreq=3476, maxDocs=44218)
0.034476474 = queryNorm
0.2767939 = fieldWeight in 4193, product of:
2.0 = tf(freq=4.0), with freq of:
4.0 = termFreq=4.0
3.542962 = idf(docFreq=3476, maxDocs=44218)
0.0390625 = fieldNorm(doc=4193)
0.5 = coord(1/2)
0.5 = coord(2/4)
- Content
- Enthält die Beiträge: GANTER, B.: Begriffe und Implikationen; BURMEISTER, P.: ConImp: Ein Programm zur Fromalen Begriffsanalyse; Lengnink, K.: Ähnlichkeit als Distanz in Begriffsverbänden; POLLANDT, S.: Datenanalyse mit Fuzzy-Begriffen; PREDIGER, S.: Terminologische Merkmalslogik in der Formalen Begriffsanalyse; WILLE, R. u. M. ZICKWOLFF: Grundlagen einer Triadischen Begriffsanalyse; LINDIG, C. u. G. SNELTING: Formale Begriffsanalyse im Software Engineering; STRACK, H. u. M. SKORSKY: Zugriffskontrolle bei Programmsystemen und im Datenschutz mittels Formaler Begriffsanalyse; ANDELFINGER, U.: Inhaltliche Erschließung des Bereichs 'Sozialorientierte Gestaltung von Informationstechnik': Ein begriffsanalytischer Ansatz; GÖDERT, W.: Wissensdarstellung in Informationssystemen, Fragetypen und Anforderungen an Retrievalkomponenten; ROCK, T. u. R. WILLE: Ein TOSCANA-Erkundungssystem zur Literatursuche; ESCHENFELDER, D. u.a.: Ein Erkundungssystem zum Baurecht: Methoden der Entwicklung eines TOSCANA-Systems; GROßKOPF, A. u. G. HARRAS: Begriffliche Erkundung semantischer Strukturen von Sprechaktverben; ZELGER, J.: Grundwerte, Ziele und Maßnahmen in einem regionalen Krankenhaus: Eine Anwendung des Verfahrens GABEK; KOHLER-KOCH, B. u. F. VOGT: Normen- und regelgeleitete internationale Kooperationen: Formale Begriffsanalyse in der Politikwissenschaft; HENNING, H.J. u. W. KEMMNITZ: Entwicklung eines kontextuellen Methodenkonzeptes mit Hilfer der Formalen Begriffsanalyse an Beispielen zum Risikoverständnis; BARTEL, H.-G.: Über Möglichkeiten der Formalen Begriffsanalyse in der Mathematischen Archäochemie
-
Burmeister, P.; Holzer, R.: On the treatment of incomplete knowledge in formal concept analysis (2000)
0.01
0.014558731 = product of:
0.029117461 = sum of:
0.01477307 = product of:
0.02954614 = sum of:
0.02954614 = weight(_text_:p in 5085) [ClassicSimilarity], result of:
0.02954614 = score(doc=5085,freq=2.0), product of:
0.1239606 = queryWeight, product of:
3.5955126 = idf(docFreq=3298, maxDocs=44218)
0.034476474 = queryNorm
0.23835106 = fieldWeight in 5085, product of:
1.4142135 = tf(freq=2.0), with freq of:
2.0 = termFreq=2.0
3.5955126 = idf(docFreq=3298, maxDocs=44218)
0.046875 = fieldNorm(doc=5085)
0.5 = coord(1/2)
0.014344391 = product of:
0.028688783 = sum of:
0.028688783 = weight(_text_:b in 5085) [ClassicSimilarity], result of:
0.028688783 = score(doc=5085,freq=2.0), product of:
0.12214884 = queryWeight, product of:
3.542962 = idf(docFreq=3476, maxDocs=44218)
0.034476474 = queryNorm
0.23486741 = fieldWeight in 5085, product of:
1.4142135 = tf(freq=2.0), with freq of:
2.0 = termFreq=2.0
3.542962 = idf(docFreq=3476, maxDocs=44218)
0.046875 = fieldNorm(doc=5085)
0.5 = coord(1/2)
0.5 = coord(2/4)
- Source
- Conceptual structures: logical, linguistic, and computational issues. 8th International Conference on Conceptual Structures, ICCS 2000, Darmstadt, Germany, August 14-18, 2000. Ed.: B. Ganter et al
-
Ganter, B.: Algorithmen zur formalen Begriffsanalyse (1991)
0.01
0.013524022 = product of:
0.054096088 = sum of:
0.054096088 = product of:
0.108192176 = sum of:
0.108192176 = weight(_text_:b in 3038) [ClassicSimilarity], result of:
0.108192176 = score(doc=3038,freq=4.0), product of:
0.12214884 = queryWeight, product of:
3.542962 = idf(docFreq=3476, maxDocs=44218)
0.034476474 = queryNorm
0.8857405 = fieldWeight in 3038, product of:
2.0 = tf(freq=4.0), with freq of:
4.0 = termFreq=4.0
3.542962 = idf(docFreq=3476, maxDocs=44218)
0.125 = fieldNorm(doc=3038)
0.5 = coord(1/2)
0.25 = coord(1/4)
- Source
- Beiträge zur Begriffsanalyse. Hrsg.: B. Ganter, R. Wille, K.E. Wolff
-
Scheich, P.; Skorsky, M.; Vogt, F.; Wachter, C.; Wille, R.: Conceptual data systems (1992)
0.01
0.0121871615 = product of:
0.048748646 = sum of:
0.048748646 = product of:
0.09749729 = sum of:
0.09749729 = weight(_text_:p in 3147) [ClassicSimilarity], result of:
0.09749729 = score(doc=3147,freq=4.0), product of:
0.1239606 = queryWeight, product of:
3.5955126 = idf(docFreq=3298, maxDocs=44218)
0.034476474 = queryNorm
0.7865184 = fieldWeight in 3147, product of:
2.0 = tf(freq=4.0), with freq of:
4.0 = termFreq=4.0
3.5955126 = idf(docFreq=3298, maxDocs=44218)
0.109375 = fieldNorm(doc=3147)
0.5 = coord(1/2)
0.25 = coord(1/4)
- Type
- p
-
Wachter, C.; Wille, R.: Formale Begriffsanalyse von Literaturdaten (1992)
0.01
0.009848714 = product of:
0.039394855 = sum of:
0.039394855 = product of:
0.07878971 = sum of:
0.07878971 = weight(_text_:p in 3141) [ClassicSimilarity], result of:
0.07878971 = score(doc=3141,freq=2.0), product of:
0.1239606 = queryWeight, product of:
3.5955126 = idf(docFreq=3298, maxDocs=44218)
0.034476474 = queryNorm
0.63560283 = fieldWeight in 3141, product of:
1.4142135 = tf(freq=2.0), with freq of:
2.0 = termFreq=2.0
3.5955126 = idf(docFreq=3298, maxDocs=44218)
0.125 = fieldNorm(doc=3141)
0.5 = coord(1/2)
0.25 = coord(1/4)
- Type
- p
-
Wille, R.: Bedeutungen von Begriffsverbänden (1987)
0.01
0.009562927 = product of:
0.03825171 = sum of:
0.03825171 = product of:
0.07650342 = sum of:
0.07650342 = weight(_text_:b in 3041) [ClassicSimilarity], result of:
0.07650342 = score(doc=3041,freq=2.0), product of:
0.12214884 = queryWeight, product of:
3.542962 = idf(docFreq=3476, maxDocs=44218)
0.034476474 = queryNorm
0.6263131 = fieldWeight in 3041, product of:
1.4142135 = tf(freq=2.0), with freq of:
2.0 = termFreq=2.0
3.542962 = idf(docFreq=3476, maxDocs=44218)
0.125 = fieldNorm(doc=3041)
0.5 = coord(1/2)
0.25 = coord(1/4)
- Source
- Beiträge zur Begriffsanalyse. Hrsg.: B. Ganter, R. Wille, K.E. Wolff
-
Vogt, F.; Wachter, C.; Wille, R.: Data analysis based on a conceptual file (1991)
0.01
0.008617624 = product of:
0.034470495 = sum of:
0.034470495 = product of:
0.06894099 = sum of:
0.06894099 = weight(_text_:p in 3140) [ClassicSimilarity], result of:
0.06894099 = score(doc=3140,freq=2.0), product of:
0.1239606 = queryWeight, product of:
3.5955126 = idf(docFreq=3298, maxDocs=44218)
0.034476474 = queryNorm
0.55615246 = fieldWeight in 3140, product of:
1.4142135 = tf(freq=2.0), with freq of:
2.0 = termFreq=2.0
3.5955126 = idf(docFreq=3298, maxDocs=44218)
0.109375 = fieldNorm(doc=3140)
0.5 = coord(1/2)
0.25 = coord(1/4)
- Source
- Classification, data analysis, and knowledge organization. Ed.: H.H. Bock u. P. Ihm
-
Burmeister, P.: ConImp - Ein Programm zur Formalen Begriffsanalyse (2000)
0.01
0.008617624 = product of:
0.034470495 = sum of:
0.034470495 = product of:
0.06894099 = sum of:
0.06894099 = weight(_text_:p in 2110) [ClassicSimilarity], result of:
0.06894099 = score(doc=2110,freq=2.0), product of:
0.1239606 = queryWeight, product of:
3.5955126 = idf(docFreq=3298, maxDocs=44218)
0.034476474 = queryNorm
0.55615246 = fieldWeight in 2110, product of:
1.4142135 = tf(freq=2.0), with freq of:
2.0 = termFreq=2.0
3.5955126 = idf(docFreq=3298, maxDocs=44218)
0.109375 = fieldNorm(doc=2110)
0.5 = coord(1/2)
0.25 = coord(1/4)
-
Ganter, B.; Stahl, J.; Wille, R.: Conceptual measurement and many-valued contexts (1986)
0.01
0.008367561 = product of:
0.033470243 = sum of:
0.033470243 = product of:
0.06694049 = sum of:
0.06694049 = weight(_text_:b in 3137) [ClassicSimilarity], result of:
0.06694049 = score(doc=3137,freq=2.0), product of:
0.12214884 = queryWeight, product of:
3.542962 = idf(docFreq=3476, maxDocs=44218)
0.034476474 = queryNorm
0.54802394 = fieldWeight in 3137, product of:
1.4142135 = tf(freq=2.0), with freq of:
2.0 = termFreq=2.0
3.542962 = idf(docFreq=3476, maxDocs=44218)
0.109375 = fieldNorm(doc=3137)
0.5 = coord(1/2)
0.25 = coord(1/4)
-
Ganter, B.; Wille, R.: Conceptual scaling (1989)
0.01
0.008367561 = product of:
0.033470243 = sum of:
0.033470243 = product of:
0.06694049 = sum of:
0.06694049 = weight(_text_:b in 3138) [ClassicSimilarity], result of:
0.06694049 = score(doc=3138,freq=2.0), product of:
0.12214884 = queryWeight, product of:
3.542962 = idf(docFreq=3476, maxDocs=44218)
0.034476474 = queryNorm
0.54802394 = fieldWeight in 3138, product of:
1.4142135 = tf(freq=2.0), with freq of:
2.0 = termFreq=2.0
3.542962 = idf(docFreq=3476, maxDocs=44218)
0.109375 = fieldNorm(doc=3138)
0.5 = coord(1/2)
0.25 = coord(1/4)
-
Ganter, B.: Begriffe und Implikationen (2000)
0.01
0.008367561 = product of:
0.033470243 = sum of:
0.033470243 = product of:
0.06694049 = sum of:
0.06694049 = weight(_text_:b in 4195) [ClassicSimilarity], result of:
0.06694049 = score(doc=4195,freq=2.0), product of:
0.12214884 = queryWeight, product of:
3.542962 = idf(docFreq=3476, maxDocs=44218)
0.034476474 = queryNorm
0.54802394 = fieldWeight in 4195, product of:
1.4142135 = tf(freq=2.0), with freq of:
2.0 = termFreq=2.0
3.542962 = idf(docFreq=3476, maxDocs=44218)
0.109375 = fieldNorm(doc=4195)
0.5 = coord(1/2)
0.25 = coord(1/4)
-
Scheich, P.; Skorsky, M.; Vogt, F.; Wachter, C.; Wille, R.: Conceptual data systems (1993)
0.01
0.007386535 = product of:
0.02954614 = sum of:
0.02954614 = product of:
0.05909228 = sum of:
0.05909228 = weight(_text_:p in 5262) [ClassicSimilarity], result of:
0.05909228 = score(doc=5262,freq=2.0), product of:
0.1239606 = queryWeight, product of:
3.5955126 = idf(docFreq=3298, maxDocs=44218)
0.034476474 = queryNorm
0.47670212 = fieldWeight in 5262, product of:
1.4142135 = tf(freq=2.0), with freq of:
2.0 = termFreq=2.0
3.5955126 = idf(docFreq=3298, maxDocs=44218)
0.09375 = fieldNorm(doc=5262)
0.5 = coord(1/2)
0.25 = coord(1/4)
-
Conceptual structures : logical, linguistic, and computational issues. 8th International Conference on Conceptual Structures, ICCS 2000, Darmstadt, Germany, August 14-18, 2000 (2000)
0.01
0.0072793653 = product of:
0.014558731 = sum of:
0.007386535 = product of:
0.01477307 = sum of:
0.01477307 = weight(_text_:p in 691) [ClassicSimilarity], result of:
0.01477307 = score(doc=691,freq=2.0), product of:
0.1239606 = queryWeight, product of:
3.5955126 = idf(docFreq=3298, maxDocs=44218)
0.034476474 = queryNorm
0.11917553 = fieldWeight in 691, product of:
1.4142135 = tf(freq=2.0), with freq of:
2.0 = termFreq=2.0
3.5955126 = idf(docFreq=3298, maxDocs=44218)
0.0234375 = fieldNorm(doc=691)
0.5 = coord(1/2)
0.0071721957 = product of:
0.014344391 = sum of:
0.014344391 = weight(_text_:b in 691) [ClassicSimilarity], result of:
0.014344391 = score(doc=691,freq=2.0), product of:
0.12214884 = queryWeight, product of:
3.542962 = idf(docFreq=3476, maxDocs=44218)
0.034476474 = queryNorm
0.117433704 = fieldWeight in 691, product of:
1.4142135 = tf(freq=2.0), with freq of:
2.0 = termFreq=2.0
3.542962 = idf(docFreq=3476, maxDocs=44218)
0.0234375 = fieldNorm(doc=691)
0.5 = coord(1/2)
0.5 = coord(2/4)
- 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)
- Editor
- Ganter, B.
-
Ganter, B.; Wille, R.: Implikationen und Abhängigkeiten zwischen Merkmalen (1986)
0.01
0.0071721957 = product of:
0.028688783 = sum of:
0.028688783 = product of:
0.057377566 = sum of:
0.057377566 = weight(_text_:b in 5448) [ClassicSimilarity], result of:
0.057377566 = score(doc=5448,freq=2.0), product of:
0.12214884 = queryWeight, product of:
3.542962 = idf(docFreq=3476, maxDocs=44218)
0.034476474 = queryNorm
0.46973482 = fieldWeight in 5448, product of:
1.4142135 = tf(freq=2.0), with freq of:
2.0 = termFreq=2.0
3.542962 = idf(docFreq=3476, maxDocs=44218)
0.09375 = fieldNorm(doc=5448)
0.5 = coord(1/2)
0.25 = coord(1/4)
-
Kohler-Koch, B.; Vogt, F.: Normen- und regelgeleitete internationale Kooperationen : Formale Begriffsanalyse in der Politikwissenschaft (2000)
0.01
0.0071721957 = product of:
0.028688783 = sum of:
0.028688783 = product of:
0.057377566 = sum of:
0.057377566 = weight(_text_:b in 4206) [ClassicSimilarity], result of:
0.057377566 = score(doc=4206,freq=2.0), product of:
0.12214884 = queryWeight, product of:
3.542962 = idf(docFreq=3476, maxDocs=44218)
0.034476474 = queryNorm
0.46973482 = fieldWeight in 4206, product of:
1.4142135 = tf(freq=2.0), with freq of:
2.0 = termFreq=2.0
3.542962 = idf(docFreq=3476, maxDocs=44218)
0.09375 = fieldNorm(doc=4206)
0.5 = coord(1/2)
0.25 = coord(1/4)
-
Luksch, P.; Wille, R.: ¬A mathematical model for conceptual knowledge systems (1991)
0.01
0.0060935807 = product of:
0.024374323 = sum of:
0.024374323 = product of:
0.048748646 = sum of:
0.048748646 = weight(_text_:p in 3033) [ClassicSimilarity], result of:
0.048748646 = score(doc=3033,freq=4.0), product of:
0.1239606 = queryWeight, product of:
3.5955126 = idf(docFreq=3298, maxDocs=44218)
0.034476474 = queryNorm
0.3932592 = fieldWeight in 3033, product of:
2.0 = tf(freq=4.0), with freq of:
4.0 = termFreq=4.0
3.5955126 = idf(docFreq=3298, maxDocs=44218)
0.0546875 = fieldNorm(doc=3033)
0.5 = coord(1/2)
0.25 = coord(1/4)
- Source
- Classification, data analysis, and knowledge organization: models and methods with applications. Proc. of the 14th annual conf. of the Gesellschaft für Klassifikation, Univ. of Marburg, 12.-14.3.1990. Ed.: H.-H. Bock u. P. Ihm
-
Groh, B.; Strahringer, S.; Wille, R.: TOSCANA-systems based on thesauri (1998)
0.01
0.0059768297 = product of:
0.023907319 = sum of:
0.023907319 = product of:
0.047814637 = sum of:
0.047814637 = weight(_text_:b in 3084) [ClassicSimilarity], result of:
0.047814637 = score(doc=3084,freq=2.0), product of:
0.12214884 = queryWeight, product of:
3.542962 = idf(docFreq=3476, maxDocs=44218)
0.034476474 = queryNorm
0.3914457 = fieldWeight in 3084, product of:
1.4142135 = tf(freq=2.0), with freq of:
2.0 = termFreq=2.0
3.542962 = idf(docFreq=3476, maxDocs=44218)
0.078125 = fieldNorm(doc=3084)
0.5 = coord(1/2)
0.25 = coord(1/4)
-
Prediger, S.: Kontextuelle Urteilslogik mit Begriffsgraphen : Ein Beitrag zur Restrukturierung der mathematischen Logik (1998)
0.01
0.005838858 = product of:
0.023355432 = sum of:
0.023355432 = product of:
0.046710864 = sum of:
0.046710864 = weight(_text_:22 in 3142) [ClassicSimilarity], result of:
0.046710864 = score(doc=3142,freq=2.0), product of:
0.120730735 = queryWeight, product of:
3.5018296 = idf(docFreq=3622, maxDocs=44218)
0.034476474 = 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.25 = coord(1/4)
- Date
- 26. 2.2008 15:58:22
