Generalized metrics and uniquely determined logic programs. (Q1427780): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Reasoning about termination of pure Prolog programs
+Normal rank
@@ Property / cites work @@
+Q4204135
@@ Property / cites work: Q4204135 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4702570
@@ Property / cites work: Q4702570 / rank @@
+Normal rank
@@ Property / cites work @@
+The s-semantics approach: Theory and applications
@@ Property / cites work: The s-semantics approach: Theory and applications / rank @@
+Normal rank
@@ Property / cites work @@
+Acyclic logic programs and the completeness of SLDNF-resolution
+Normal rank
@@ Property / cites work @@
+A computational model for metric spaces
@@ Property / cites work: A computational model for metric spaces / rank @@
+Normal rank
@@ Property / cites work @@
+Q3983046
@@ Property / cites work: Q3983046 / 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 @@
+Metric Methods Three Examples and a Theorem
@@ Property / cites work: Metric Methods Three Examples and a Theorem / rank @@
+Normal rank
@@ Property / cites work @@
+The well-founded semantics for general logic programs
+Normal rank
@@ Property / cites work @@
+Q4955347
@@ Property / cites work: Q4955347 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3153396
@@ Property / cites work: Q3153396 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4499241
@@ Property / cites work: Q4499241 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2714731
@@ Property / cites work: Q2714731 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4470447
@@ Property / cites work: Q4470447 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3339245
@@ Property / cites work: Q3339245 / rank @@
+Normal rank
@@ Property / cites work @@
+Partial Metric Topology
@@ Property / cites work: Partial Metric Topology / rank @@
+Normal rank
@@ Property / cites work @@
+Ultrametric spaces and logic programming
@@ Property / cites work: Ultrametric spaces and logic programming / rank @@
+Normal rank
@@ Property / cites work @@
+Q3348437
@@ Property / cites work: Q3348437 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3477997
@@ Property / cites work: Q3477997 / 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 @@
+Clausal logic and logic programming in algebraic domains
+Normal rank
@@ Property / cites work @@
+Elements of generalized ultrametric domain theory
@@ Property / cites work: Elements of generalized ultrametric domain theory / rank @@
+Normal rank
@@ Property / cites work @@
+Q4853319
@@ Property / cites work: Q4853319 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3126163
@@ Property / cites work: Q3126163 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4500930
@@ Property / cites work: Q4500930 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3821265
@@ Property / cites work: Q3821265 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3359391
@@ Property / cites work: Q3359391 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4023580
@@ Property / cites work: Q4023580 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5605131
@@ Property / cites work: Q5605131 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4325268
@@ Property / cites work: Q4325268 / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1016/s0304-3975(02)00709-0
+Normal rank
@@ Property / OpenAlex ID @@
+W2025430189
@@ Property / OpenAlex ID: W2025430189 / rank @@
+Normal rank