Incremental Computation of Concept Diagrams
Publikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten › Beitrag in Konferenzband › Beigetragen › Begutachtung
Beitragende
Abstract
Suppose a formal context 𝕂=(G,M,I) is given, whose concept lattice 𝕭(𝕂) with an attribute-additive concept diagram is already known, and an attribute column ℂ=(G,{n},J) shall be inserted to or removed from it. This paper introduces and proves an incremental update algorithm for both tasks.
Details
Originalsprache | Englisch |
---|---|
Titel | Supplemental proceedings of the 12th International Conference on Formal Concept Analysis (ICFCA 2014), Cluj-Napoca, Romania |
Seiten | 45-61 |
Seitenumfang | 17 |
Publikationsstatus | Veröffentlicht - 10 Juni 2014 |
Peer-Review-Status | Ja |
Externe IDs
ORCID | /0000-0003-0219-0330/work/153109409 |
---|