03580nam 2200637 a 450 991048307940332120200520144314.03-540-32204-310.1007/11671404(CKB)1000000000232812(SSID)ssj0000317699(PQKBManifestationID)11248520(PQKBTitleCode)TC0000317699(PQKBWorkID)10294557(PQKB)10995801(DE-He213)978-3-540-32204-7(MiAaPQ)EBC3067607(PPN)123131375(EXLCZ)99100000000023281220060112d2006 uy 0engurnn#008mamaatxtccrFormal concept analysis 4th international conference, ICFCA 2006, Dresden, Germany, February 13-17, 2006 : proceedings /Rokia Missaoui, Jurg Schmid (eds.)1st ed. 2006.Berlin Springerc20061 online resource (X, 314 p.)Lecture notes in computer science. Lecture notes in artificial intelligence,0302-9743 ;3874Bibliographic Level Mode of Issuance: Monograph3-540-32203-5 Includes bibliographical references and index.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 Generalization 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.Lecture notes in computer science.Lecture notes in artificial intelligence ;3874.Lattice theoryCongressesComprehension (Theory of knowledge)Mathematical modelsCongressesInformation theoryCongressesArtificial intelligenceMathematical modelsCongressesLogic, Symbolic and mathematicalCongressesLattice theoryComprehension (Theory of knowledge)Mathematical modelsInformation theoryArtificial intelligenceMathematical modelsLogic, Symbolic and mathematical006.3Missaoui R1757040Schmid Jurg1944-1757041International Conference on Formal Concept AnalysisMiAaPQMiAaPQMiAaPQBOOK9910483079403321Formal concept analysis4194679UNINA