Interactive error correction in implicative theories
From MaRDI portal
Publication:899138
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
Related Items (2)
Concept lattices with negative information: a characterization theorem ⋮ A new kind of implication to reason with unknown information
Uses Software
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