Stable and extension class theory for logic programs and default logics (Q1197387): Difference between revisions

@@ Property / cites work @@
+The relationship between stable, supported, default and autoepistemic semantics for general logic programs
+Normal rank
@@ Property / cites work @@
+Q3972030
@@ Property / cites work: Q3972030 / rank @@
+Normal rank
@@ Property / cites work @@
+General logical databases and programs: Default logic semantics and stratification
+Normal rank
@@ Property / cites work @@
+Q3975143
@@ Property / cites work: Q3975143 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3992908
@@ Property / cites work: Q3992908 / rank @@
+Normal rank
@@ Property / cites work @@
+The consistency of negation as failure
@@ Property / cites work: The consistency of negation as failure / rank @@
+Normal rank
@@ Property / cites work @@
+Q3493303
@@ Property / cites work: Q3493303 / rank @@
+Normal rank
@@ Property / cites work @@
+Generalized disjunctive well-founded semantics for logic programs.
+Normal rank
@@ Property / cites work @@
+Q3826524
@@ Property / cites work: Q3826524 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3486858
@@ Property / cites work: Q3486858 / 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 @@
+On the relation between default and autoepistemic logic
+Normal rank
@@ Property / cites work @@
+Q3486549
@@ Property / cites work: Q3486549 / rank @@
+Normal rank
@@ Property / cites work @@
+Autoepistemic logic
@@ Property / cites work: Autoepistemic logic / rank @@
+Normal rank