AGM contraction and revision of rules (Q1698336): Difference between revisions

@@ Property / cites work @@
+Input/output logics
@@ Property / cites work: Input/output logics / rank @@
+Normal rank
@@ Property / cites work @@
+Q3968905
@@ Property / cites work: Q3968905 / rank @@
+Normal rank
@@ Property / cites work @@
+On the logic of theory change: Partial meet contraction and revision functions
+Normal rank
@@ Property / cites work @@
+Q4494325
@@ Property / cites work: Q4494325 / rank @@
+Normal rank
@@ Property / cites work @@
+Normative design using inductive learning
@@ Property / cites work: Normative design using inductive learning / rank @@
+Normal rank
@@ Property / cites work @@
+A program-level approach to revising logic programs under the answer set semantics
+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 @@
+Q4200041
@@ Property / cites work: Q4200041 / rank @@
+Normal rank
@@ Property / cites work @@
+Changing legal systems: legal abrogations and annulments in Defeasible Logic
+Normal rank
@@ Property / cites work @@
+Constraints for input/output logics
@@ Property / cites work: Constraints for input/output logics / rank @@
+Normal rank
@@ Property / cites work @@
+Two modellings for theory change
@@ Property / cites work: Two modellings for theory change / rank @@
+Normal rank
@@ Property / cites work @@
+Reversing the Levi identity
@@ Property / cites work: Reversing the Levi identity / rank @@
+Normal rank
@@ Property / cites work @@
+Permission from an input/output perspective
@@ Property / cites work: Permission from an input/output perspective / rank @@
+Normal rank
@@ Property / cites work @@
+Q4343988
@@ Property / cites work: Q4343988 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5271383
@@ Property / cites work: Q5271383 / rank @@
+Normal rank