On the difference of Horn theories (Q5929916): Difference between revisions

@@ Property / cites work @@
+Linear-time algorithms for testing the satisfiability of propositional horn formulae
+Normal rank
@@ Property / cites work @@
+Computing intersections of Horn theories for reasoning with models
+Normal rank
@@ Property / cites work @@
+Q4249522
@@ Property / cites work: Q4249522 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4251064
@@ Property / cites work: Q4251064 / rank @@
+Normal rank
@@ Property / cites work @@
+Double Horn functions
@@ Property / cites work: Double Horn functions / rank @@
+Normal rank
@@ Property / cites work @@
+Q4386975
@@ Property / cites work: Q4386975 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4296747
@@ Property / cites work: Q4296747 / rank @@
+Normal rank
@@ Property / cites work @@
+On generating all maximal independent sets
@@ Property / cites work: On generating all maximal independent sets / rank @@
+Normal rank
@@ Property / cites work @@
+Propositional knowledge base revision and minimal change
+Normal rank
@@ Property / cites work @@
+Horn approximations of empirical data
@@ Property / cites work: Horn approximations of empirical data / rank @@
+Normal rank
@@ Property / cites work @@
+Knowledge compilation and theory approximation
@@ Property / cites work: Knowledge compilation and theory approximation / rank @@
+Normal rank
@@ Property / cites work @@
+Q4268444
@@ Property / cites work: Q4268444 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4871262
@@ Property / cites work: Q4871262 / rank @@
+Normal rank
@@ Property / cites work @@
+Reasoning with models
@@ Property / cites work: Reasoning with models / rank @@
+Normal rank
@@ Property / cites work @@
+Q3221403
@@ Property / cites work: Q3221403 / rank @@
+Normal rank