Horn representation of a concept lattice (Q3631392): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W2006790757
@@ Property / OpenAlex ID: W2006790757 / rank @@
+Normal rank
@@ Property / cites work @@
+Generalized domination in closure systems
@@ Property / cites work: Generalized domination in closure systems / rank @@
+Normal rank
@@ Property / cites work @@
+The lattices of closure systems, closure operators, and implicational systems on a finite set: A survey
+Normal rank
@@ Property / cites work @@
+Complexity of generalized satisfiability counting problems
+Normal rank
@@ Property / cites work @@
+Q4230685
@@ Property / cites work: Q4230685 / rank @@
+Normal rank
@@ Property / cites work @@
+Horn functions and their DNFs
@@ Property / cites work: Horn functions and their DNFs / rank @@
+Normal rank
@@ Property / cites work @@
+An efficient algorithm for Horn description
@@ Property / cites work: An efficient algorithm for Horn description / rank @@
+Normal rank
@@ Property / cites work @@
+Q4523706
@@ Property / cites work: Q4523706 / rank @@
+Normal rank
@@ Property / cites work @@
+On sentences which are true of direct unions of algebras
+Normal rank
@@ Property / cites work @@
+Horn approximations of empirical data
@@ Property / cites work: Horn approximations of empirical data / rank @@
+Normal rank
@@ Property / cites work @@
+On computing the size of a lattice and related decision problems
+Normal rank
@@ Property / cites work @@
+The decision problem for some classes of sentences without quantifiers
+Normal rank
@@ Property / cites work @@
+Q4298260
@@ Property / cites work: Q4298260 / rank @@
+Normal rank
@@ Property / cites work @@
+The Complexity of Counting Cuts and of Computing the Probability that a Graph is Connected
+Normal rank
@@ Property / cites work @@
+Knowledge compilation and theory approximation
@@ Property / cites work: Knowledge compilation and theory approximation / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:3631392