Modality Argumentation Programming (Q3619462): Difference between revisions

@@ Property / cites work @@
+The well-founded semantics for general logic programs
+Normal rank
@@ Property / cites work @@
+Q3983043
@@ Property / cites work: Q3983043 / rank @@
+Normal rank
@@ Property / cites work @@
+Theory of partial-order programming
@@ Property / cites work: Theory of partial-order programming / rank @@
+Normal rank
@@ Property / cites work @@
+Applications of intuitionistic logic in Answer Set Programming
+Normal rank
@@ Property / cites work @@
+Q3372479
@@ Property / cites work: Q3372479 / rank @@
+Normal rank
@@ Property / cites work @@
+Stable inference as intuitionistic validity
@@ Property / cites work: Stable inference as intuitionistic validity / rank @@
+Normal rank
@@ Property / cites work @@
+Logic and structure.
@@ Property / cites work: Logic and structure. / rank @@
+Normal rank