Towards closed world reasoning in dynamic open worlds (Q3585167): Difference between revisions

@@ Property / cites work @@
+Semantic forgetting in answer set programming
@@ Property / cites work: Semantic forgetting in answer set programming / rank @@
+Normal rank
@@ Property / cites work @@
+Q4406531
@@ Property / cites work: Q4406531 / rank @@
+Normal rank
@@ Property / cites work @@
+Dynamic updates of non-monotonic knowledge bases
@@ Property / cites work: Dynamic updates of non-monotonic knowledge bases / rank @@
+Normal rank
@@ Property / cites work @@
+The refinement extension principle for semantics of dynamic logic programming
+Normal rank
@@ Property / cites work @@
+On the logic of theory change: Partial meet contraction and revision functions
+Normal rank
@@ Property / cites work @@
+Revision programming
@@ Property / cites work: Revision programming / rank @@
+Normal rank
@@ Property / cites work @@
+Strongly equivalent logic programs
@@ Property / cites work: Strongly equivalent logic programs / rank @@
+Normal rank
@@ Property / cites work @@
+Propositional belief base update and minimal change
+Normal rank