On embedding default logic into Moore's autoepistemic logic (Q2676564): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1016/0004-3702(95)00117-4
+Normal rank
@@ Property / OpenAlex ID @@
+W2069174070
@@ Property / OpenAlex ID: W2069174070 / rank @@
+Normal rank
@@ Property / Wikidata QID @@
+Q127359356
@@ Property / Wikidata QID: Q127359356 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4314597
@@ Property / cites work: Q4314597 / rank @@
+Normal rank
@@ Property / cites work @@
+Translating default logic into standard autoepistemic logic
+Normal rank
@@ Property / cites work @@
+On the relation between default and autoepistemic logic
+Normal rank
@@ Property / cites work @@
+All I know: A study in autoepistemic logic
@@ Property / cites work: All I know: A study in autoepistemic logic / 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 @@
+Nonmonotonic Logic II
@@ Property / cites work: Nonmonotonic Logic II / rank @@
+Normal rank
@@ Property / cites work @@
+Non-monotonic logic. I
@@ Property / cites work: Non-monotonic logic. I / 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 logic for default reasoning
@@ Property / cites work: A logic for default reasoning / rank @@
+Normal rank