Pages that link to "Item:Q1341147"

The following pages link to A theory of finite closure spaces based on implications (Q1341147):

Displaying 29 items.

• Construction and learnability of canonical Horn formulas (Q415621) (← links)
• The joy of implications, aka pure Horn formulas: mainly a survey (Q507516) (← links)
• Learning definite Horn formulas from closure queries (Q507524) (← links)
• On implicational bases of closure systems with unique critical sets. (Q741717) (← links)
• The multiple facets of the canonical direct unit implicational basis (Q974107) (← links)
• Incidence algebras that are uniquely determined by their zero-nonzero matrix pattern. (Q999784) (← links)
• Realization of abstract convex geometries by point configurations (Q1041213) (← links)
• Attribute exploration with background knowledge (Q1285777) (← links)
• Latticial structures in data analysis. (Q1285785) (← links)
• Axiomatizing simple binary matroids by their closed circuits (Q1324489) (← links)
• The presence of lattice theory in discrete problems of mathematical social sciences. Why. (Q1414820) (← links)
• Pseudo-models and propositional Horn inference (Q1766742) (← links)
• Closure spaces that are not uniquely generated (Q1766744) (← links)
• The lattices of closure systems, closure operators, and implicational systems on a finite set: A survey (Q1874537) (← links)
• A compact representation for modular semilattices and its applications (Q2006979) (← links)
• Translating between the representations of a ranked convex geometry (Q2032718) (← links)
• Attribute-incremental construction of the canonical implication basis (Q2385433) (← links)
• Optimum basis of finite convex geometry (Q2399285) (← links)
• A representation of antimatroids by Horn rules and its application to educational systems (Q2403022) (← links)
• Weakly submodular rank functions, supermatroids, and the flat lattice of a distributive super\-matroid (Q2469975) (← links)
• (Q2741273) (← links)
• Lattices of regular closed subsets of closure spaces (Q2941043) (← links)
• Going down in (semi)lattices of finite moore families and convex geometries (Q3070121) (← links)
• Canonical Horn Representations and Query Learning (Q3648750) (← links)
• (Q4625699) (← links)
• Decision systems in rough set theory: A set operatorial perspective (Q5376483) (← links)
• Lattice point of view for argumentation framework (Q6059223) (← links)
• Computations with finite closure systems and implications (Q6064021) (← links)
• Hierarchical decompositions of implicational bases for the enumeration of meet-irreducible elements (Q6165553) (← links)