Correctness and Completeness of Logic Programs (Q5277919): Difference between revisions

@@ Property / arXiv ID @@
+.8739
@@ Property / arXiv ID: 1412.8739 / rank @@
+Normal rank
@@ Property / cites work @@
+Reasoning about termination of pure Prolog programs
+Normal rank
@@ Property / cites work @@
+Strong termination of logic programs
@@ Property / cites work: Strong termination of logic programs / rank @@
+Normal rank
@@ Property / cites work @@
+Q3919057
@@ Property / cites work: Q3919057 / rank @@
+Normal rank
@@ Property / cites work @@
+A semantic basis for the termination analysis of logic programs
+Normal rank
@@ Property / cites work @@
+Logic program synthesis
@@ Property / cites work: Logic program synthesis / rank @@
+Normal rank
@@ Property / cites work @@
+Q4318616
@@ Property / cites work: Q4318616 / rank @@
+Normal rank
@@ Property / cites work @@
+Logic + control: An example
@@ Property / cites work: Logic + control: An example / rank @@
+Normal rank
@@ Property / cites work @@
+On definite program answers and least Herbrand models
+Normal rank
@@ Property / cites work @@
+Inductive assertion method for logic pograms
@@ Property / cites work: Inductive assertion method for logic pograms / rank @@
+Normal rank
@@ Property / cites work @@
+Proving correctness and completeness of normal programs – a declarative approach
+Normal rank
@@ Property / cites work @@
+Inferring non-suspension conditions for logic programs with dynamic scheduling
+Normal rank
@@ Property / cites work @@
+Q3690195
@@ Property / cites work: Q3690195 / rank @@
+Normal rank
@@ Property / cites work @@
+A pearl on SAT and SMT solving in Prolog
@@ Property / cites work: A pearl on SAT and SMT solving in Prolog / rank @@
+Normal rank
@@ Property / cites work @@
+The relation between logic programming and logic specification
+Normal rank
@@ Property / cites work @@
+Negation in logic programming
@@ Property / cites work: Negation in logic programming / rank @@
+Normal rank
@@ Property / cites work @@
+cTI: a constraint-based termination inference tool for ISO-Prolog
+Normal rank
@@ Property / cites work @@
+A three-valued semantics for logic programmers
@@ Property / cites work: A three-valued semantics for logic programmers / rank @@
+Normal rank
@@ Property / cites work @@
+Truth versus information in logic programming
@@ Property / cites work: Truth versus information in logic programming / rank @@
+Normal rank
@@ Property / cites work @@
+<tt>Polytool</tt>: Polynomial interpretations as a basis for termination analysis of logic programs
+Normal rank
@@ Property / cites work @@
+The Transformational Approach to Program Development
+Normal rank
@@ Property / cites work @@
+Automated termination proofs for logic programs by term rewriting
+Normal rank
@@ Property / cites work @@
+Q3718124
@@ Property / cites work: Q3718124 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4268472
@@ Property / cites work: Q4268472 / rank @@
+Normal rank
@@ Property / cites work @@
+The theoretical foundations of LPTP (a logic program theorem prover)
+Normal rank
@@ Property / cites work @@
+Q4844167
@@ Property / cites work: Q4844167 / rank @@
+Normal rank
@@ Property / cites work @@
+XSB: Extending Prolog with Tabled Logic Programming
+Normal rank
@@ Property / cites work @@
+The well-founded semantics for general logic programs
+Normal rank