Interactive error correction in implicative theories

DOI10.1016/j.ijar.2015.06.004zbMath1346.68192arXiv1410.5215OpenAlexW1689482446MaRDI QIDQ899138

Artem Revenko, Sergei O. Kuznetsov

Publication date: 21 December 2015

Published in: International Journal of Approximate Reasoning (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1410.5215

zbMATH Keywords

formal concept analysiserror correctionclosure systemimplicative theory

Mathematics Subject Classification ID

Knowledge representation (68T30)

Related Items (2)

Concept lattices with negative information: a characterization theorem ⋮ A new kind of implication to reason with unknown information

Uses Software

• UCI-ml
• fca

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• On the complexity of enumerating pseudo-intents
• Some decision and counting problems of the Duquenne-Guigues basis of implications
• Computing premises of a minimal cover of functional dependencies is intractable
• Attribute-incremental construction of the canonical implication basis
• Mathematical classification and clustering
• Two Basic Algorithms in Concept Analysis
• The Description Logic Handbook
• Usability Issues in Description Logic Knowledge Base Completion
• Automatized Construction of Implicative Theory of Algebraic Identities of Size Up to 5
• Concept Lattices

This page was built for publication: Interactive error correction in implicative theories