Declarative Semantics for Active Integrity Constraints (Q5504661): Difference between revisions

@@ Property / cites work @@
+Q3995235
@@ Property / cites work: Q3995235 / rank @@
+Normal rank
@@ Property / cites work @@
+Declarative Semantics of Production Rules for Integrity Maintenance
+Normal rank
@@ Property / cites work @@
+Revision programming
@@ Property / cites work: Revision programming / rank @@
+Normal rank
@@ Property / cites work @@
+Declarative Semantics for Revision Programming and Connections to Active Integrity Constraints
+Normal rank
@@ Property / cites work @@
+Autoepistemic logic
@@ Property / cites work: Autoepistemic logic / rank @@
+Normal rank
@@ Property / cites work @@
+On the computational cost of disjunctive logic programming: Propositional case
+Normal rank
@@ Property / cites work @@
+Q3983043
@@ Property / cites work: Q3983043 / rank @@
+Normal rank