Pages that link to "Item:Q943835"
From MaRDI portal
The following pages link to Some decision and counting problems of the Duquenne-Guigues basis of implications (Q943835):
Displayed 15 items.
- The joy of implications, aka pure Horn formulas: mainly a survey (Q507516) (← links)
- Dualization in lattices given by ordered sets of irreducibles (Q507520) (← links)
- Succinctness and tractability of closure operator representations (Q507522) (← links)
- Parameterized ceteris paribus preferences over atomic conjunctions under conservative semantics (Q507531) (← links)
- On the complexity of enumerating pseudo-intents (Q628340) (← links)
- Decision implication canonical basis: a logical perspective (Q743121) (← links)
- Interactive error correction in implicative theories (Q899138) (← links)
- Quasi-closed elements in fuzzy posets (Q2059596) (← links)
- A general theory of concept lattice with tractable implication exploration (Q2193284) (← links)
- Optimizations in computing the Duquenne-Guigues basis of implications (Q2248528) (← links)
- Canonical dichotomous direct bases (Q2282305) (← links)
- On implication bases in \(n\)-lattices (Q2286379) (← links)
- Most specific consequences in the description logic \(\mathcal{E} \mathcal{L} \) (Q2286398) (← links)
- Computing the Duquenne–Guigues basis: an algorithm for choosing the order (Q2817077) (← links)
- Pruning techniques in lincbo for the computation of the duquenne-guigues basis (Q6125182) (← links)