Knowledgebase transformations (Q676426): Difference between revisions

@@ Property / cites work @@
+Procedural languages for database queries and updates
+Normal rank
@@ Property / cites work @@
+On the logic of theory change: Partial meet contraction and revision functions
+Normal rank
@@ Property / cites work @@
+Q3477931
@@ Property / cites work: Q3477931 / rank @@
+Normal rank
@@ Property / cites work @@
+Update semantics of relational views
@@ Property / cites work: Update semantics of relational views / rank @@
+Normal rank
@@ Property / cites work @@
+Structure and complexity of relational queries
@@ Property / cites work: Structure and complexity of relational queries / rank @@
+Normal rank
@@ Property / cites work @@
+On the complexity of propositional knowledge base revision, updates, and counterfactuals
+Normal rank
@@ Property / cites work @@
+The complexity of nested counterfactuals and iterated knowledge base revisions
+Normal rank
@@ Property / cites work @@
+The computational complexity of logical theories
@@ Property / cites work: The computational complexity of logical theories / rank @@
+Normal rank
@@ Property / cites work @@
+N-Prolog: An extension of prolog with hypothetical implication. II. Logical foundations, and negation as failure
+Normal rank
@@ Property / cites work @@
+Q3107917
@@ Property / cites work: Q3107917 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4198056
@@ Property / cites work: Q4198056 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4028799
@@ Property / cites work: Q4028799 / rank @@
+Normal rank
@@ Property / cites work @@
+Updates and subjunctive queries
@@ Property / cites work: Updates and subjunctive queries / rank @@
+Normal rank
@@ Property / cites work @@
+Q4028812
@@ Property / cites work: Q4028812 / rank @@
+Normal rank
@@ Property / cites work @@
+Propositional knowledge base revision and minimal change
+Normal rank
@@ Property / cites work @@
+Circumscription - a form of non-monotonic reasoning
+Normal rank
@@ Property / cites work @@
+Q4694699
@@ Property / cites work: Q4694699 / rank @@
+Normal rank
@@ Property / cites work @@
+On specifying database updates
@@ Property / cites work: On specifying database updates / rank @@
+Normal rank