Draft and proof of an algorithm computing incremental changes within a labeled layouted concept lattice upon insertion or removal of an attribute column in the underlying formal context. Furthermore some implementational details and mathematical background knowledge are presented. / Entwurf und Beweis eines Algorithmus zur Berechnung inkrementeller Änderungen in einem beschrifteten dargestellten Begriffsverband beim Einfügen oder Entfernen einer Merkmalsspalte im zugrundeliegenden formalen Kontext. Weiterhin sind einige Details zur Implementation sowie zum mathematischen Hintergrundwissen dargestellt.
Identifer | oai:union.ndltd.org:DRESDEN/oai:qucosa.de:bsz:14-qucosa-125309 |
Date | 18 October 2013 |
Creators | Kriegel, Francesco |
Contributors | Technische Universität Dresden, Fakultät Mathematik und Naturwissenschaften, Prof. Dr. Bernhard Ganter, Dr. Frithjof Dau, Prof. Dr. Bernhard Ganter, Dr. Frithjof Dau |
Publisher | Saechsische Landesbibliothek- Staats- und Universitaetsbibliothek Dresden |
Source Sets | Hochschulschriftenserver (HSSS) der SLUB Dresden |
Language | English |
Detected Language | German |
Type | doc-type:masterThesis |
Format | application/pdf, application/pdf, application/pdf, application/zip |
Page generated in 0.0026 seconds