Succinctness and tractability of closure operator representations

DOI10.1016/J.TCS.2015.12.028MaRDI QIDQ507522zbMATH OpenOpenAlexWikidataFDO

Authors Sebastian Rudolph

Publication date 6 February 2017

Published in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.tcs.2015.12.028

zbMATH Keywords

tractabilitysuccinctnessclosure operatorscomputational propertiesformal contextsimplications

Mathematics Subject Classification ID

Knowledge representation (68T30) Galois correspondences, closure operators (in relation to ordered sets) (06A15)

Recommendations

• On the succinctness of closure operator representations
• Some Notes on Managing Closure Operators
• Bases of closure systems
• scientific article; zbMATH DE number 2159643
• The lattices of closure systems, closure operators, and implicational systems on a finite set: A survey

Cites work

• scientific article; zbMATH DE number 4201601 (Why is no real title available?)
• scientific article; zbMATH DE number 3823168 (Why is no real title available?)
• scientific article; zbMATH DE number 108405 (Why is no real title available?)
• scientific article; zbMATH DE number 7635224 (Why is no real title available?)
• A decomposition method for CNF minimality proofs
• Counting of Moore families for \(n=7\)
• Formal Concept Analysis
• Hardness of enumerating pseudo-intents in the lectic order
• Lattices of closure operators
• Linear-time algorithms for testing the satisfiability of propositional horn formulae
• Minimal Representation of Directed Hypergraphs
• Minimum Covers in Relational Database Model
• On the intractability of computing the Duquenne-Guigues base
• On the number of databases and closure operations
• On the succinctness of closure operator representations
• Reducibility among combinatorial problems
• Some Computational Problems Related to Pseudo-intents
• Some Notes on Managing Closure Operators
• Some Notes on Pseudo-closed Sets
• Some decision and counting problems of the Duquenne-Guigues basis of implications
• THE LATTICE THEORY OF FUNCTIONAL DEPENDENCIES AND NORMAL DECOMPOSITIONS
• The decision problem for some classes of sentences without quantifiers
• The lattices of closure systems, closure operators, and implicational systems on a finite set: A survey
• The number of Moore families on \(n=6\)

Cited in

(7)

• AC simplifications and closure redundancies in the superposition calculus
• On the succinctness of closure operator representations
• Translating between the representations of a ranked convex geometry
• Algorithms for computing the Shapley value of cooperative games on lattices
• On minimum matrix representation of closure operations
• The joy of implications, aka pure Horn formulas: mainly a survey
• Enhancing the conversational process by using a logical closure operator in phenotypes implications

This page was built for publication: Succinctness and tractability of closure operator representations

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q507522)