Oscillating Behavior of Logic Programs (Q2900531): Difference between revisions

@@ Property / full work available at URL @@
+https://doi.org/10.1007/978-3-642-30743-0_23
+Normal rank
@@ Property / OpenAlex ID @@
+W119385640
@@ Property / OpenAlex ID: W119385640 / rank @@
+Normal rank
@@ Property / cites work @@
+Singleton and 2-periodic attractors of sign-definite Boolean networks
+Normal rank
@@ Property / cites work @@
+On the correctness of unfold/fold transformation of normal and extended logic programs
+Normal rank
@@ Property / cites work @@
+Stable and extension class theory for logic programs and default logics
+Normal rank
@@ Property / cites work @@
+Dualities between alternative semantics for logic programming and nonmonotonic reasoning
+Normal rank
@@ Property / cites work @@
+Q4385538
@@ Property / cites work: Q4385538 / rank @@
+Normal rank
@@ Property / cites work @@
+A fixpoint characterization of abductive logic programs
+Normal rank
@@ Property / cites work @@
+Short note preferred extensions are partial stable models
+Normal rank
@@ Property / cites work @@
+Logic programs with monotone abstract constraint atoms
+Normal rank
@@ Property / cites work @@
+The relationship between stable, supported, default and autoepistemic semantics for general logic programs
+Normal rank
@@ Property / cites work @@
+Autoepistemic logic
@@ Property / cites work: Autoepistemic logic / rank @@
+Normal rank
@@ Property / cites work @@
+The Semantics of Predicate Logic as a Programming Language
+Normal rank
@@ Property / cites work @@
+The well-founded semantics for general logic programs
+Normal rank
@@ Property / cites work @@
+A three-valued semantics for deductive databases and logic programs
+Normal rank
@@ Property / cites work @@
+On the equivalence of semantics for normal logic programs
+Normal rank