Formal Concept Analysis [electronic resource] : 4th International Conference, ICFCA 2006, Dresden, Germany, February 13-17, 2006. Proceedings / edited by Rokia Missaoui, Jürg Schmidt.
Material type: TextSeries: Lecture Notes in Computer Science ; 3874Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2006Description: X, 314 p. online resourceContent type:- text
- computer
- online resource
- 9783540322047
- Computer science
- Software engineering
- Computational complexity
- Information storage and retrieval systems
- Artificial intelligence
- Algebra
- Computer Science
- Artificial Intelligence (incl. Robotics)
- Discrete Mathematics in Computer Science
- Mathematical Logic and Formal Languages
- Software Engineering
- Information Storage and Retrieval
- Order, Lattices, Ordered Algebraic Structures
- 006.3 23
- Q334-342
- TJ210.2-211.495
Item type | Current library | Call number | Status | Date due | Barcode | |
---|---|---|---|---|---|---|
E-Book | Central Library | Available | E-43030 |
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.
There are no comments on this title.