検索結果をRefWorksへエクスポートします。対象は1件です。
Export
RT Book, Whole SR Electronic DC OPAC T1 Formal Concept Analysis : 4th International Conference, ICFCA 2006, Dresden, Germany, Feburary 13-17, 2006, Proceedings / edited by Rokia Missaoui, Jürg Schmid T2 Lecture Notes in Artificial Intelligence. ISSN:29459141 A1 Missaoui, Rokia A1 Schmid, Jürg A1 SpringerLink (Online service) YR 2006 FD 2006 SP X, 314 p K1 Artificial intelligence K1 Computer science -- Mathematics K1 Discrete mathematics K1 Machine theory K1 Software engineering K1 Information storage and retrieval systems K1 Algebra K1 Artificial Intelligence K1 Discrete Mathematics in Computer Science K1 Formal Languages and Automata Theory K1 Software Engineering K1 Information Storage and Retrieval K1 Order, Lattices, Ordered Algebraic Structures ED 1st ed. 2006. PB Springer Berlin Heidelberg : Imprint: Springer PP Berlin, Heidelberg SN 9783540322047 LA English (英語) CL LCC:Q334-342 CL LCC:TA347.A78 CL DC23:006.3 NO Invited Lectures -- Methods of Conceptual Knowledge Processing -- An Enumeration Problem in Ordered Sets Leads to Possible Benchmarks for Run-Time Prediction Algorithms -- Attribute Implications in a Fuzzy Setting -- The Assessment of Knowledge, in Theory and in Practice -- Regular Papers -- The Basic Theorem on Preconcept Lattices -- The Tensor Product as a Lattice of Regular Galois Connections -- Two Instances of Peirce’s Reduction Thesis -- Very Fast Instances for Concept Generation -- Negation, Opposition, and Possibility in Logical Concept Analysis -- A Note on Negation: A PCS-Completion of Semilattices -- Towards a Generalisation of Formal Concept Analysis for Data Mining Purposes -- Interactive Association Rules Discovery -- About the Family of Closure Systems Preserving Non-unit Implications in the Guigues-Duquenne Base -- Spatial Indexing for Scalability in FCA -- Homograph Disambiguation Using Formal Concept Analysis -- Using Concept Lattices to Uncover Causal Dependencies in Software -- An FCA Interpretation of Relation Algebra -- Spring-Based Lattice Drawing Highlighting Conceptual Similarity -- Characterizing Planar Lattices Using Left-Relations -- Automated Layout of Small Lattices Using Layer Diagrams -- Counting Pseudo-intents and #P-completeness NO HTTP:URL=https://doi.org/10.1007/11671404 NO 書誌ID=EB00002572; LK [E Book]https://doi.org/10.1007/11671404 OL 30