Systems of implications obtained using the Carve decomposition of a formal context

The Carve algorithm uses a divide-and-conquer strategy to compute the concept lattice of a formal context. The decomposition phase of the Carve algorithm discovers hierarchical structure in an amenable formal context, which the synthesis phase then exploits to construct the concept lattice from thos...

Celý popis

Podrobná bibliografie

Vydáno v:	Knowledge-based systems Ročník 318; s. 113475
Hlavní autoři:	López-Rodríguez, Domingo, Ojeda-Hernández, Manuel, Pattison, Tim
Médium:	Journal Article
Jazyk:	angličtina
Vydáno:	Elsevier B.V 07.06.2025
Témata:	Attribute implications Divide-and-conquer algorithms Formal concept analysis Implicational systems Knowledge representation Formal concept analysis 06A15 Divide-and-conquer algorithms 03B70 Attribute implications 06-04 Knowledge representation Implicational systems
ISSN:	0950-7051, 1872-7409
On-line přístup:	Získat plný text
Tagy:	Přidat tag Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!