Stable classes and operator pairs for disjunctive programs (Q5101462): Difference between revisions

@@ Property / cites work @@
+Dualities between alternative semantics for logic programming and nonmonotonic reasoning
+Normal rank
@@ Property / cites work @@
+Stable and extension class theory for logic programs and default logics
+Normal rank
@@ Property / cites work @@
+The family of stable models
@@ Property / cites work: The family of stable models / rank @@
+Normal rank
@@ Property / cites work @@
+Q3983043
@@ Property / cites work: Q3983043 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4016556
@@ Property / cites work: Q4016556 / rank @@
+Normal rank
@@ Property / cites work @@
+Autoepistemic logic
@@ Property / cites work: Autoepistemic logic / rank @@
+Normal rank
@@ Property / cites work @@
+A fixpoint semantics for disjunctive logic programs
+Normal rank
@@ Property / cites work @@
+Semantical considerations on nonmonotonic logic
@@ Property / cites work: Semantical considerations on nonmonotonic logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q3983045
@@ Property / cites work: Q3983045 / rank @@
+Normal rank
@@ Property / cites work @@
+Inferring negative information from disjunctive databases
+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