Default logic generalized and simplified (Q1028638): Difference between revisions

@@ Property / cites work @@
+Biconsequence relations: A four-valued formalism of reasoning with inconsistency and incompleteness
+Normal rank
@@ Property / cites work @@
+Q2727768
@@ Property / cites work: Q2727768 / rank @@
+Normal rank
@@ Property / cites work @@
+Collective Argumentation and Disjunctive Logic Programming
+Normal rank
@@ Property / cites work @@
+A causal approach to nonmonotonic reasoning
@@ Property / cites work: A causal approach to nonmonotonic reasoning / rank @@
+Normal rank
@@ Property / cites work @@
+Explanatory Nonmonotonic Reasoning
@@ Property / cites work: Explanatory Nonmonotonic Reasoning / rank @@
+Normal rank
@@ Property / cites work @@
+An abstract, argumentation-theoretic approach to default reasoning
+Normal rank
@@ Property / cites work @@
+Semantical investigations in Heyting's intuitionistic logic
+Normal rank
@@ Property / cites work @@
+Q3983043
@@ Property / cites work: Q3983043 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4028795
@@ Property / cites work: Q4028795 / rank @@
+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 @@
+On the intertranslatability of non-monotonic logics
+Normal rank
@@ Property / cites work @@
+Q4798001
@@ Property / cites work: Q4798001 / rank @@
+Normal rank
@@ Property / cites work @@
+Strongly equivalent logic programs
@@ Property / cites work: Strongly equivalent logic programs / rank @@
+Normal rank
@@ Property / cites work @@
+Minimal belief and negation as failure
@@ Property / cites work: Minimal belief and negation as failure / rank @@
+Normal rank
@@ Property / cites work @@
+Q3493310
@@ Property / cites work: Q3493310 / rank @@
+Normal rank
@@ Property / cites work @@
+A logic of knowledge and justified assumption
@@ Property / cites work: A logic of knowledge and justified assumption / rank @@
+Normal rank
@@ Property / cites work @@
+Q3486549
@@ Property / cites work: Q3486549 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4273952
@@ Property / cites work: Q4273952 / rank @@
+Normal rank
@@ Property / cites work @@
+A theory of nonmonotonic rule systems I
@@ Property / cites work: A theory of nonmonotonic rule systems I / rank @@
+Normal rank
@@ Property / cites work @@
+Modal nonmonotonic logics
@@ Property / cites work: Modal nonmonotonic logics / rank @@
+Normal rank
@@ Property / cites work @@
+Non-monotonic logic. I
@@ Property / cites work: Non-monotonic logic. I / rank @@
+Normal rank
@@ Property / cites work @@
+Nonmonotonic Logic II
@@ Property / cites work: Nonmonotonic Logic II / rank @@
+Normal rank
@@ Property / cites work @@
+Semantical considerations on nonmonotonic logic
@@ Property / cites work: Semantical considerations on nonmonotonic logic / rank @@
+Normal rank
@@ Property / cites work @@
+A logical framework for default reasoning
@@ Property / cites work: A logical framework for default reasoning / rank @@
+Normal rank
@@ Property / cites work @@
+A logic for default reasoning
@@ Property / cites work: A logic for default reasoning / rank @@
+Normal rank
@@ Property / cites work @@
+Q4079581
@@ Property / cites work: Q4079581 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3952081
@@ Property / cites work: Q3952081 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4159022
@@ Property / cites work: Q4159022 / rank @@
+Normal rank
@@ Property / cites work @@
+A logic of universal causation
@@ Property / cites work: A logic of universal causation / rank @@
+Normal rank
@@ Property / cites work @@
+Logic Programming and Nonmonotonic Reasoning
@@ Property / cites work: Logic Programming and Nonmonotonic Reasoning / rank @@
+Normal rank