Canonical dichotomous direct bases
From MaRDI portal
Publication:2282305
DOI10.1016/j.ins.2016.10.004zbMath1428.68291OpenAlexW2528316542MaRDI QIDQ2282305
Ángel Mora, Manuel Enciso, Pablo Cordero, Estrella Rodríguez-Lorenzo
Publication date: 7 January 2020
Published in: Information Sciences (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.ins.2016.10.004
Knowledge representation (68T30) Galois correspondences, closure operators (in relation to ordered sets) (06A15)
Related Items (4)
Formal Methods in FCA and Big Data ⋮ Unnamed Item ⋮ Quasi-closed elements in fuzzy posets ⋮ Knowledge implications in multi-adjoint concept lattices
Cites Work
- On minimal sets of graded attribute implications
- A logic of graded attributes
- On keys and functional dependencies as first-class citizens in description logics
- Some decision and counting problems of the Duquenne-Guigues basis of implications
- The multiple facets of the canonical direct unit implicational basis
- Ordered direct implicational basis of a finite closure system
- Some Notes on Managing Closure Operators
- Ideal non-deterministic operators as a formal framework to reduce the key finding problem
- A tableaux-like method to infer all minimal keys
- Identifying the Minimal Transversals of a Hypergraph and Related Problems
- Closure via functional dependence simplification
- About Keys of Formal Context and Conformal Hypergraph
- Galois Connexions
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
This page was built for publication: Canonical dichotomous direct bases