Evaluating the effect of semi-normality on the expressiveness of defaults (Q814438): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Querying disjunctive databases through nonmonotonic logics
+Normal rank
@@ Property / cites work @@
+Q3995236
@@ Property / cites work: Q3995236 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4692605
@@ Property / cites work: Q4692605 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4296748
@@ Property / cites work: Q4296748 / rank @@
+Normal rank
@@ Property / cites work @@
+Translating default logic into standard autoepistemic logic
+Normal rank
@@ Property / cites work @@
+Results on translating defaults to circumscription
+Normal rank
@@ Property / cites work @@
+Q4216774
@@ Property / cites work: Q4216774 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4246971
@@ Property / cites work: Q4246971 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4955326
@@ Property / cites work: Q4955326 / rank @@
+Normal rank
@@ Property / cites work @@
+On the intertranslatability of non-monotonic logics
+Normal rank
@@ Property / cites work @@
+On the relation between default and autoepistemic logic
+Normal rank
@@ Property / cites work @@
+Q5750425
@@ Property / cites work: Q5750425 / rank @@
+Normal rank
@@ Property / cites work @@
+Modal nonmonotonic logics
@@ Property / cites work: Modal nonmonotonic logics / rank @@
+Normal rank
@@ Property / cites work @@
+Modal logic for default reasoning
@@ Property / cites work: Modal logic for default reasoning / rank @@
+Normal rank
@@ Property / cites work @@
+Q4273952
@@ Property / cites work: Q4273952 / rank @@
+Normal rank
@@ Property / cites work @@
+Circumscription - a form of non-monotonic reasoning
+Normal rank
@@ Property / cites work @@
+Semantical considerations on nonmonotonic logic
@@ Property / cites work: Semantical considerations on nonmonotonic logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q4278739
@@ Property / cites work: Q4278739 / 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 @@
+A theory of diagnosis from first principles
@@ Property / cites work: A theory of diagnosis from first principles / rank @@
+Normal rank
@@ Property / cites work @@
+Some representational issues in default reasoning
@@ Property / cites work: Some representational issues in default reasoning / rank @@
+Normal rank
@@ Property / cites work @@
+On embedding default logic into Moore's autoepistemic logic
+Normal rank
@@ Property / cites work @@
+Q4012232
@@ Property / cites work: Q4012232 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:814438