Characterizations and algorithms of extensions for CADL and QDL (Q1288432): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / 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 @@
+Cumulative default logic: In defense of nonmonotonic inference rules
+Normal rank
@@ Property / cites work @@
+Q4028783
@@ Property / cites work: Q4028783 / rank @@
+Normal rank
@@ Property / cites work @@
+On cumulative default logics
@@ Property / cites work: On cumulative default logics / rank @@
+Normal rank
@@ Property / cites work @@
+A new research into default logic
@@ Property / cites work: A new research into default logic / rank @@
+Normal rank
@@ Property / cites work @@
+Cumulative default logic: Finite characterization, algorithms, and complexity
+Normal rank
@@ Property / cites work @@
+Some results on default logic
@@ Property / cites work: Some results on default logic / rank @@
+Normal rank