New proofs in default logic theory (Q1924751): Difference between revisions

@@ Property / author @@
+Grigoris Antoniou
@@ Property / author: Grigoris Antoniou / rank @@
+Normal rank
@@ Property / author @@
+Elmar Langetepe
@@ Property / author: Elmar Langetepe / rank @@
+Normal rank
@@ Property / author @@
+Volker Sperschneider
@@ Property / author: Volker Sperschneider / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Q4333375
@@ Property / cites work: Q4333375 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4692931
@@ Property / cites work: Q4692931 / rank @@
+Normal rank
@@ Property / cites work @@
+Formalizing nonmonotonic reasoning systems
@@ Property / cites work: Formalizing nonmonotonic reasoning systems / rank @@
+Normal rank
@@ Property / cites work @@
+Q4202924
@@ Property / cites work: Q4202924 / 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 @@
+Q4003336
@@ Property / cites work: Q4003336 / rank @@
+Normal rank
@@ Property / DBLP publication ID @@
+journals/amai/AntoniouLS94
@@ Property / DBLP publication ID: journals/amai/AntoniouLS94 / rank @@
+Normal rank