A Unifying Perspective on Knowledge Updates (Q2915086): Difference between revisions

@@ Property / cites work @@
+On the logic of theory change: Partial meet contraction and revision functions
+Normal rank
@@ Property / cites work @@
+The refinement extension principle for semantics of dynamic logic programming
+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 Description Logic Handbook
@@ Property / cites work: The Description Logic Handbook / rank @@
+Normal rank
@@ Property / cites work @@
+Embedding nonground logic programs into autoepistemic logic for knowledge-base combination
+Normal rank
@@ Property / cites work @@
+Belief revision within fragments of propositional logic
+Normal rank
@@ Property / cites work @@
+On Instance-level Update and Erasure in Description Logic Ontologies
+Normal rank
@@ Property / cites work @@
+A Preference-Based Framework for Updating Logic Programs
+Normal rank
@@ Property / cites work @@
+On properties of update sequences  based on causal rejection
+Normal rank
@@ Property / cites work @@
+Q4863622
@@ Property / cites work: Q4863622 / rank @@
+Normal rank
@@ Property / cites work @@
+Reversing the Levi identity
@@ Property / cites work: Reversing the Levi identity / rank @@
+Normal rank
@@ Property / cites work @@
+Propositional belief base update and minimal change
+Normal rank
@@ Property / cites work @@
+Q4028812
@@ Property / cites work: Q4028812 / rank @@
+Normal rank
@@ Property / cites work @@
+Revision programming
@@ Property / cites work: Revision programming / rank @@
+Normal rank
@@ Property / cites work @@
+Reconciling description logics and rules
@@ Property / cites work: Reconciling description logics and rules / rank @@
+Normal rank
@@ Property / cites work @@
+An abductive framework for computing knowledge base updates
+Normal rank
@@ Property / cites work @@
+On Semantic Update Operators for Answer-Set Programs
+Normal rank
@@ Property / cites work @@
+Towards closed world reasoning in dynamic open worlds
+Normal rank
@@ Property / cites work @@
+Back and Forth between Rules and SE-Models
@@ Property / cites work: Back and Forth between Rules and SE-Models / rank @@
+Normal rank
@@ Property / cites work @@
+Splitting and updating hybrid knowledge bases
@@ Property / cites work: Splitting and updating hybrid knowledge bases / rank @@
+Normal rank
@@ Property / cites work @@
+Strong equivalence made easy: nested expressions and weight constraints
+Normal rank
@@ Property / cites work @@
+Q3995235
@@ Property / cites work: Q3995235 / rank @@
+Normal rank
@@ Property / cites work @@
+Logic program-based updates
@@ Property / cites work: Logic program-based updates / rank @@
+Normal rank