The least fixpoint transformation for disjunctive logic programs (Q1389092): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Argumentation in disjunctive logic programming
@@ Property / cites work: Argumentation in disjunctive logic programming / rank @@
+Normal rank
@@ Property / cites work @@
+Argumentation-based abduction in disjunctive logic programming
+Normal rank
@@ Property / cites work @@
+Q3992908
@@ Property / cites work: Q3992908 / rank @@
+Normal rank
@@ Property / cites work @@
+A fixpoint semantics for disjunctive logic programs
+Normal rank
@@ Property / cites work @@
+Deduction in non-Horn databases
@@ Property / cites work: Deduction in non-Horn databases / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:1389092