Merging Logic Programs under Answer Set Semantics (Q4649730): Difference between revisions

@@ Property / cites work @@
+Knowledge Representation, Reasoning and Declarative Problem Solving
+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 @@
+Q4797777
@@ Property / cites work: Q4797777 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4955335
@@ Property / cites work: Q4955335 / rank @@
+Normal rank
@@ Property / cites work @@
+On properties of update sequences  based on causal rejection
+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 @@
+Strong equivalence made easy: nested expressions and weight constraints
+Normal rank
@@ Property / cites work @@
+Strongly equivalent logic programs
@@ Property / cites work: Strongly equivalent logic programs / rank @@
+Normal rank
@@ Property / cites work @@
+Q3107917
@@ Property / cites work: Q3107917 / rank @@
+Normal rank
@@ Property / cites work @@
+Merging Information Under Constraints: A Logical Framework
+Normal rank
@@ Property / cites work @@
+Propositional theories are strongly equivalent to logic programs
+Normal rank
@@ Property / cites work @@
+Q4707751
@@ Property / cites work: Q4707751 / rank @@
+Normal rank
@@ Property / cites work @@
+Coordination in answer set programming
@@ Property / cites work: Coordination in answer set programming / rank @@
+Normal rank
@@ Property / cites work @@
+Q4246802
@@ Property / cites work: Q4246802 / rank @@
+Normal rank
@@ Property / cites work @@
+On the semantics of combination operations
@@ Property / cites work: On the semantics of combination operations / rank @@
+Normal rank
@@ Property / cites work @@
+Possibilistic merging and distance-based fusion of propositional information
+Normal rank