Dualities between alternative semantics for logic programming and nonmonotonic reasoning (Q1311405): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+General logical databases and programs: Default logic semantics and stratification
+Normal rank
@@ Property / cites work @@
+Stable and extension class theory for logic programs and default logics
+Normal rank
@@ Property / cites work @@
+Q3983043
@@ Property / cites work: Q3983043 / rank @@
+Normal rank
@@ Property / cites work @@
+On the relation between default and autoepistemic logic
+Normal rank
@@ Property / cites work @@
+Q3992908
@@ Property / cites work: Q3992908 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3826524
@@ Property / cites work: Q3826524 / 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 @@
+Q3972030
@@ Property / cites work: Q3972030 / 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 @@
+Power domains
@@ Property / cites work: Power domains / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1007/bf00881799
+Normal rank
@@ Property / OpenAlex ID @@
+W1998093438
@@ Property / OpenAlex ID: W1998093438 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:1311405