Pages that link to "Item:Q507516"
From MaRDI portal
The following pages link to The joy of implications, aka pure Horn formulas: mainly a survey (Q507516):
Displayed 19 items.
- Directed hypergraphs: introduction and fundamental algorithms -- a survey (Q507517) (← links)
- Algorithms for \(k\)-meet-semidistributive lattices (Q507534) (← links)
- Compressed representation of learning spaces (Q1679036) (← links)
- Representation of convex geometries by circles on the plane (Q1712517) (← links)
- Algorithms for computing the Shapley value of cooperative games on lattices (Q1800390) (← links)
- Direct-optimal basis computation by means of the fusion of simplification rules (Q1800392) (← links)
- A compact representation for modular semilattices and its applications (Q2006979) (← links)
- Translating between the representations of a ranked convex geometry (Q2032718) (← links)
- Quasi-closed elements in fuzzy posets (Q2059596) (← links)
- Enumerating maximal consistent closed sets in closure systems (Q2117117) (← links)
- Description of closure operators in convex geometries of segments on the line (Q2330861) (← links)
- A representation of antimatroids by Horn rules and its application to educational systems (Q2403022) (← links)
- On the preferred extensions of argumentation frameworks: bijections with naive sets (Q2681398) (← links)
- Scalable Visual Analytics in FCA (Q5054985) (← links)
- Decision systems in rough set theory: A set operatorial perspective (Q5376483) (← links)
- Dualization in lattices given by implicational bases (Q5919405) (← links)
- On Dualization over Distributive Lattices (Q6045449) (← links)
- Lattice point of view for argumentation framework (Q6059223) (← links)
- Hierarchical decompositions of implicational bases for the enumeration of meet-irreducible elements (Q6165553) (← links)