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

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1007/978-3-540-89982-2_28
+Normal rank
@@ Property / OpenAlex ID @@
+W1510317634
@@ Property / OpenAlex ID: W1510317634 / rank @@
+Normal rank
@@ 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
@@ links / mardi / name / links / mardi / name @@
+Publication:5504661