Fibrational Semantics for Many-Valued Logic Programs: Grounds for Non-Groundness (Q3532471): Difference between revisions

@@ Property / author @@
-Q175559
@@ Property / author: Q175559 / rank @@
-Normal rank
@@ Property / author @@
+A. John Power
@@ Property / author: A. John Power / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W1525805777
@@ Property / OpenAlex ID: W1525805777 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2751372
@@ Property / cites work: Q2751372 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3997112
@@ Property / cites work: Q3997112 / rank @@
+Normal rank
@@ Property / cites work @@
+A kripke-kleene semantics for logic programs*
@@ Property / cites work: A kripke-kleene semantics for logic programs* / rank @@
+Normal rank
@@ Property / cites work @@
+Fixpoint semantics for logic programming a survey
@@ Property / cites work: Fixpoint semantics for logic programming a survey / rank @@
+Normal rank
@@ Property / cites work @@
+Fibrational Semantics for Many-Valued Logic Programs: Grounds for Non-Groundness
+Normal rank
@@ Property / cites work @@
+Q3727946
@@ Property / cites work: Q3727946 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3992908
@@ Property / cites work: Q3992908 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5692880
@@ Property / cites work: Q5692880 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5639839
@@ Property / cites work: Q5639839 / rank @@
+Normal rank
@@ Property / cites work @@
+A Top-Down Query Answering Procedure for Normal Logic Programs Under the Any-World Assumption
+Normal rank
@@ Property / cites work @@
+Quantitative deduction and its fixpoint theory
@@ Property / cites work: Quantitative deduction and its fixpoint theory / rank @@
+Normal rank