Solving logic program conflict through strong and weak forgettings (Q2457621): Difference between revisions

@@ Property / cites work @@
+Knowledge Representation, Reasoning and Declarative Problem Solving
+Normal rank
@@ Property / cites work @@
+On properties of update sequences  based on causal rejection
+Normal rank
@@ Property / cites work @@
+Reasoning about evolving nonmonotonic knowledge bases
+Normal rank
@@ Property / cites work @@
+Q2767098
@@ Property / cites work: Q2767098 / rank @@
+Normal rank
@@ Property / cites work @@
+Logics in Artificial Intelligence
@@ Property / cites work: Logics in Artificial Intelligence / rank @@
+Normal rank
@@ Property / cites work @@
+Propositional belief base merging or how to merge beliefs/goals coming from several sources and some links with social choice theory
+Normal rank
@@ Property / cites work @@
+Q4411161
@@ Property / cites work: Q4411161 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4797777
@@ Property / cites work: Q4797777 / rank @@
+Normal rank
@@ Property / cites work @@
+Strongly equivalent logic programs
@@ Property / cites work: Strongly equivalent logic programs / rank @@
+Normal rank
@@ Property / cites work @@
+On strongest necessary and weakest sufficient conditions
+Normal rank
@@ Property / cites work @@
+Q3624060
@@ Property / cites work: Q3624060 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3221403
@@ Property / cites work: Q3221403 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4955335
@@ Property / cites work: Q4955335 / rank @@
+Normal rank
@@ Property / cites work @@
+Partial deduction in disjunctive logic programming
+Normal rank
@@ Property / cites work @@
+A three-valued semantics for deductive databases and logic programs
+Normal rank
@@ Property / cites work @@
+Two results for prioritized logic programming
@@ Property / cites work: Two results for prioritized logic programming / rank @@
+Normal rank
@@ Property / cites work @@
+Logic program-based updates
@@ Property / cites work: Logic program-based updates / rank @@
+Normal rank