Characterization of logic program revision as an extension of propositional revision (Q4593020): Difference between revisions

@@ Property / cites work @@
+On the logic of theory change: Partial meet contraction and revision functions
+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 @@
+Propositional theories are strongly equivalent to logic programs
+Normal rank
@@ Property / cites work @@
+AGM-Style Belief Revision of Logic Programs under Answer Set Semantics
+Normal rank
@@ Property / cites work @@
+A Preference-Based Framework for Updating Logic Programs
+Normal rank
@@ Property / cites work @@
+Merging Logic Programs under Answer Set Semantics
@@ Property / cites work: Merging Logic Programs under Answer Set Semantics / rank @@
+Normal rank
@@ Property / cites work @@
+A Model-Theoretic Approach to Belief Change in Answer Set Programming
+Normal rank
@@ Property / cites work @@
+On properties of update sequences  based on causal rejection
+Normal rank
@@ Property / cites work @@
+Negation as failure in the head
@@ Property / cites work: Negation as failure in the head / rank @@
+Normal rank
@@ Property / cites work @@
+Q5751985
@@ Property / cites work: Q5751985 / 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 @@
+Merging Information Under Constraints: A Logical Framework
+Normal rank
@@ Property / cites work @@
+Belief revision and update: Complexity of model checking
+Normal rank
@@ Property / cites work @@
+Strongly equivalent logic programs
@@ Property / cites work: Strongly equivalent logic programs / rank @@
+Normal rank
@@ Property / cites work @@
+An abductive framework for computing knowledge base updates
+Normal rank
@@ Property / cites work @@
+Characterization Theorems for Revision of Logic Programs
+Normal rank
@@ Property / cites work @@
+On Semantic Update Operators for Answer-Set Programs
+Normal rank
@@ Property / cites work @@
+The rise and fall of semantic rule updates based on<tt>SE</tt>-models
+Normal rank
@@ Property / cites work @@
+Strong equivalence made easy: nested expressions and weight constraints
+Normal rank
@@ Property / cites work @@
+Logic program-based updates
@@ Property / cites work: Logic program-based updates / rank @@
+Normal rank