Semantics of structured normal logic programs (Q444364): Difference between revisions

@@ Property / cites work @@
+Contributions to the Theory of Logic Programming
@@ Property / cites work: Contributions to the Theory of Logic Programming / rank @@
+Normal rank
@@ Property / cites work @@
+Q4260700
@@ Property / cites work: Q4260700 / 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 @@
+What is failure? An approach to constructive negation
+Normal rank
@@ Property / cites work @@
+Constructive negation by pruning
@@ Property / cites work: Constructive negation by pruning / rank @@
+Normal rank
@@ Property / cites work @@
+N-Prolog: An extension of prolog with hypothetical implication. II. Logical foundations, and negation as failure
+Normal rank
@@ Property / cites work @@
+N-Prolog: An extension of Prolog with hypothetical implications. I.
+Normal rank
@@ Property / cites work @@
+The well-founded semantics for general logic programs
+Normal rank
@@ Property / cites work @@
+Structuring logic programs: a modal approach
@@ Property / cites work: Structuring logic programs: a modal approach / rank @@
+Normal rank
@@ Property / cites work @@
+Extending Horn clause logic with implication goals
+Normal rank
@@ Property / cites work @@
+Combining negation as failure and embedded implications in logic programs
+Normal rank
@@ Property / cites work @@
+Negation in logic programming
@@ Property / cites work: Negation in logic programming / rank @@
+Normal rank
@@ Property / cites work @@
+Q3992908
@@ Property / cites work: Q3992908 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4518866
@@ Property / cites work: Q4518866 / rank @@
+Normal rank
@@ Property / cites work @@
+An algebraic framework for the definition of compositional semantics of normal logic programs
+Normal rank
@@ Property / cites work @@
+Clausal intuitionistic logic I. fixed-point semantics
+Normal rank
@@ Property / cites work @@
+Clausal intuitionistic logic II. tableau proof procedures
+Normal rank
@@ Property / cites work @@
+A logical analysis of modules in logic programming
+Normal rank
@@ Property / cites work @@
+Q4391451
@@ Property / cites work: Q4391451 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4736517
@@ Property / cites work: Q4736517 / rank @@
+Normal rank
@@ Property / cites work @@
+A Transformational Semantics of Static Embedded Implications of Normal Logic Programs
+Normal rank
@@ Property / cites work @@
+Q3348437
@@ Property / cites work: Q3348437 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5750391
@@ Property / cites work: Q5750391 / rank @@
+Normal rank
@@ Property / cites work @@
+Negation and constraint logic programming
@@ Property / cites work: Negation and constraint logic programming / rank @@
+Normal rank
@@ Property / cites work @@
+A lattice-theoretical fixpoint theorem and its applications
+Normal rank
@@ Property / cites work @@
+Handbook of philosophical logic. Vol. 8
@@ Property / cites work: Handbook of philosophical logic. Vol. 8 / rank @@
+Normal rank
@@ Property / cites work @@
+The Semantics of Predicate Logic as a Programming Language
+Normal rank